c# 泛型类型参数T的约束where用法

以下内容部分是我转载，部分是我添加：

在定义泛型类时，可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。如果客户端代码尝试使用某个约束所不允许的类型来实例化类，则会产生编译时错误。这些限制称为约束。约束是使用 where 上下文关键字指定的。下表列出了六种类型的约束：

约束	说明
T：struct	类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。有关更多信息，请参见使用可空类型（C# 编程指南）。
T：class	类型参数必须是引用类型，包括任何类、接口、委托或数组类型。
T：new()	类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时，new() 约束必须最后指定。
T：<基类名>	类型参数必须是指定的基类或派生自指定的基类。
T：<接口名称>	类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的。
T：U	为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束。// 目前好像没这种约束

使用约束的原因

如果要检查泛型列表中的某个项以确定它是否有效，或者将它与其他某个项进行比较，则编译器必须在一定程度上保证它需要调用的运算符或方法将受到客户端代码可能指定的任何类型参数的支持。这种保证是通过对泛型类定义应用一个或多个约束获得的。例如，基类约束告诉编译器：仅此类型的对象或从此类型派生的对象才可用作类型参数。一旦编译器有了这个保证，它就能够允许在泛型类中调用该类型的方法。约束是使用上下文关键字 where 应用的。

 

泛型约束基本上有五种：

• 值类型约束：要求泛型参数必须是值类型，例如int,short以及自定义的stuct等

    public class MyClass2<T>          where T : struct  // 这个泛型类只接受值类型的泛型参数

　　　{　　}

• 引用类型约束：要求泛型参数必须是引用类型，例如string,object,以及自定义的class

    public class MyClass<T>          where T:class  // 这个泛型类只接受引用类型的泛型参数

　　　{　　}

• 构造函数约束：要求泛型参数必须有构造函数

    public class MyClass3<T>          where T : new()

　　　{　　}

• 接口约束：要求泛型参数必须实现某个接口

    public class MyClass4<T>          where T : System.IComparable

　　　{　　}

• 基类约束：要求泛型参数必须继承某个基类

    public class MyClass5<T>          where T : Customer

　　　{　　}

　　注意：1、上面的泛型声明也可以在函数中直接声明，且约束形式和类中声明的形式一样。

　　2、如函数 void Sum<T,T2>(T a,T2 b) where T:struct where T2:class,new(){}   // 注意，这是当有两种泛型时分别约束的形式，有多少种泛型就用多少个where分开约束

　　3、如果调用有约束的泛型的函数，如果传入的参数不合约束规则，则编译不通过，提示错误，如果是dynamic变量不能作为有约束的泛型参数的传入值（编译出错，但是dynamic变量却可以作为其它固定类型参数的传入值，个人觉得不好）。