详解C#泛型的类型参数约束
常用约束
约束告知编译器类型参数必须具备的功能。在没有任何约束的情况下，类型参数可以是任何类型。编译器只能假定System.Object的成员，它是任何.NET类型的最终基类。如果客户端代码使用不满足约束的类型，编译器将发出错误。通过使用where上下文关键字指定约束。下表列出了七种类型的约束：
| 约束 | 描述 |
| whereT:struct | 类型参数必须是不可为null的值类型。有关可为null的值类型的信息，请参阅可为null的值类型。由于所有值类型都具有可访问的无参数构造函数，因此struct约束表示new()约束，并且不能与new()约束结合使用。struct约束也不能与unmanaged约束结合使用。 |
| whereT:class | 类型参数必须是引用类型。此约束还应用于任何类、接口、委托或数组类型。在C#8.0或更高版本中的可为null上下文中，T必须是不可为null的引用类型。 |
| whereT:class? | 类型参数必须是可为null或不可为null的引用类型。此约束还应用于任何类、接口、委托或数组类型。 |
| whereT:notnull | 类型参数必须是不可为null的类型。参数可以是C#8.0或更高版本中的不可为null的引用类型，也可以是不可为null的值类型。 |
| whereT:unmanaged | 类型参数必须是不可为null的非托管类型。unmanaged约束表示struct约束，且不能与struct约束或new()约束结合使用。 |
| whereT:new() | 类型参数必须具有公共无参数构造函数。与其他约束一起使用时，new()约束必须最后指定。new()约束不能与struct和unmanaged约束结合使用。 |
| whereT: |
类型参数必须是指定的基类或派生自指定的基类。在C#8.0及更高版本中的可为null上下文中，T必须是从指定基类派生的不可为null的引用类型。 |
| whereT: |
类型参数必须是指定的基类或派生自指定的基类。在C#8.0及更高版本中的可为null上下文中，T可以是从指定基类派生的可为null或不可为null的类型。 |
| whereT: |
类型参数必须是指定的接口或实现指定的接口。可指定多个接口约束。约束接口也可以是泛型。在C#8.0及更高版本中的可为null上下文中，T必须是实现指定接口的不可为null的类型。 |
| whereT: |
类型参数必须是指定的接口或实现指定的接口。可指定多个接口约束。约束接口也可以是泛型。在C#8.0中的可为null上下文中，T可以是可为null的引用类型、不可为null的引用类型或值类型。T不能是可为null的值类型。 |
| whereT:U | 为T提供的类型参数必须是为U提供的参数或派生自为U提供的参数。在可为null的上下文中，如果U是不可为null的引用类型，T必须是不可为null的引用类型。如果U是可为null的引用类型，则T可以是可为null的引用类型，也可以是不可为null的引用类型。 |
最常用的泛型约束为whereT:struct、whereT:class、whereT:new()。
约束多个参数
可以对多个参数应用多个约束，对一个参数应用多个约束，如下例所示：
classBase{}
classTest
whereU:struct
whereT:Base,new()
{}
对类型参数使用==和!=运算符
在应用whereT:class约束时，请避免对类型参数使用==和!=运算符。编译器只知道T在编译时是引用类型，并且必须使用对所有引用类型都有效的默认运算符。
如果必须测试值相等性，建议同时应用whereT:IEquatable或whereT:IComparable约束，并在用于构造泛型类的任何类中实现该接口。
参考文章
类型参数的约束（C#编程指南）——Microsoft
以上就是详解C#泛型的类型参数约束的详细内容，更多关于C#泛型的类型参数约束的资料请关注毛票票其它相关文章！