编写高质量代码改善C#程序的157个建议——建议34：为泛型参数设定约束

建议34：为泛型参数设定约束

“约束”这个词可能会引起歧义，有些人肯能认为对泛型参数设定约束是限制参数的使用，实际情况正好相反。没有“约束”的泛型参数作用很有限，倒是“约束”让泛型参数具有了更多的行为和属性。

查看下面代码，我们会发现参数t1或参数t2仅仅具有object的属性和行为，所以几乎不能再方法中对它们进行任何操作：

    class SalaryComputer
    {
        public int Cpmpare<T>(T t1, T t2)
        {
            return 0;
        }
    }

    class Salary
    {
        public int BaseSalary { get; set; }
        public int Bonus { get; set; }
    }

但是，在添加了约束后，我们会发现参数t1和t2变成了一个有用的对象。由于为其指定了对应类型，t1和t2现在就是一个Salary了，在方法中它拥有了属性BaseSalary和Bonus，代码如下：

    class SalaryComputer
    {
        public int Cpmpare<T>(T t1, T t2) where T : Salary
        {
            if (t1.BaseSalary > t2.BaseSalary)
            {
                return 1;
            }
            if (t1.BaseSalary == t2.BaseSalary)
            {
                return 0;
            }
            return -1;
        }
    }

那么可以为泛型指定哪些约束呢？如下所示：

1）指定参数是值类型（除Nullable外）：

public void Method1<T>(T t) where T : struct
{   
}

2）指定参数是引用类型：

public void Method1<T>(T t) where T : class 
{ 
}
public void Method2<T>(T t) where T : Salary 
{ 
}

注意，object不能用来约束。

3）指定参数具有无参数的公共构造方法：

public void Method1<T>(T t) where T : new() 
{ 
}

注意，CLR目前只支持无参构造方法的约束。

4）指定参数必须是指定的基类，或者派生自指定的基类。

5）指定参数必须是指定接口，或者实现指定接口。

6）指定T提供的参数类型必须是为U提供的参数，或者派生自为U提供的参数：

    class Sample<U>
    {
        public void Method1<T>(T t) where T : U
        { 
        }
    }

7）可以对同一类型的参数应用多个约束，并且约束自身可以是泛型类型。

在编程过程中应该考虑为泛型参数设定约束，约束使泛型参数成为一个实实在在的“对象”,让它具有了我们想要的行为和属性，而不仅仅是一个object。

可参考MSDN：类型参数的约束（C# 编程指南）

转自：《编写高质量代码改善C#程序的157个建议》陆敏技