【C#】C#关键字-where(泛型类型约束)

文章参考：http://blog.csdn.net/startwithdp/article/details/25636737
        http://www.cnblogs.com/soundcode/p/5798769.html
在定义泛型类时，可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。如果客户端代码尝试使用某个约束所不允许的类型来实例化类，则会产生编译时错误。这些限制称为约束。约束是使用 where 上下文关键字指定的。下表列出了六种类型的约束：

约束
说明

T：结构
类型参数必须是值类型。可以指定除 Nullable 以外的任何值类型。有关更多信息，请参见使用可以为 null 的类型（C# 编程指南）。

T：类
类型参数必须是引用类型；这一点也适用于任何类、接口、委托或数组类型。

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

T：<基类名>
类型参数必须是指定的基类或派生自指定的基类。

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

T：U
为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。这称为裸类型约束

2.基类约束：指出某个类型必须将指定的类作为基类（或者就是该类本身），才能用作该泛型类型的类型参数。
 这样的约束一经使用，就必须出现在该类型参数的所有其他约束之前。（也就是说：T必须是类。U必须是结构体，就是你传的第一个泛型变量是类，第二个泛型变量是结构体）
class MyClassy<T, U>
 where T : class
 where U : struct
{
}
 3.where 子句还可以包括构造函数约束。
 可以使用 new 运算符创建类型参数的实例；但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道：提供的任何类型参数都必须具有可访问的无参数（或默认）构造函数。例如：

public class MyGenericClass <T> where T: IComparable, new()
{
 // The following line is not possible without new() constraint:
 T item = new T();
}
new() 约束出现在 where 子句的最后。

 4.对于多个类型参数，每个类型参数都使用一个 where 子句，
 例如：

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

5.还可以将约束附加到泛型方法的类型参数，例如：


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

请注意，对于委托和方法两者来说，描述类型参数约束的语法是一样的：


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