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。