C# Where泛型约束规则

一.where 约束作用：

在定义泛型的时候，我们可以使用 where 限制参数的范围
在使用泛型的时候，你必须尊守 where 限制参数的范围，否则编译不会通过。

二.约束类型

1. 类 约束
   类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型、字符串

       public static T[] ToNull<T>(this T[] arr) where T:class
       {
   	}
       T必须是 引用类型
   

2. 结构体 约束
   类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。

       public static T[] ToNull<T>(this T[] arr) where T:struct
       {
   	}
       T必须是 值类型
   

3. newI() 约束
   类型参数必须具有无参数的公共构造函数。当与其他约束一起使用时，new() 约束必须最后指定

   class EmployeeList<T> where T : Employee, IEmployee, System.IComparable<T>, new()
   {
   }
   

4. <基类名> 约束
   类型参数必须是指定的基类或派生自指定的基类

   public class Employee{}
   
   public class GenericList<T> where T : Employee
   

5. <接口名称> 约束
   类型参数必须是指定的接口或实现指定的接口。可以指定多个接口约束。约束接口也可以是泛型的

   interface IMyInterface
   {
   }
   
   class Dictionary<TKey, TVal>
       where TKey : IComparable, IEnumerable
       where TVal : IMyInterface
   {
       public void Add(TKey key, TVal val)
       {
       }
   }
   

6. U:T 约束
   U和T都是泛型 泛型U必须为T提供的参数或派生自为 U 提供的参数 也就是说T和U的参数必须一样

   class List<T>
   {
       void Add<U>(List<U> items) where U : T {/*...*/}
   }
   

三.应用场景

1. 可用于类：

   	public class MyGenericClass<T> where T : IComparable { }
   

2. 可用于方法：

   	public bool MyMethod<T>(T t) where T : IMyInterface { }
   

3. 可用于委托：

   	delegate T MyDelegate<T>() where T : new()