C#—泛型类型参数

在泛型类型或泛型方法的定义中，类型参数是一个占位符（placeholder），通常为一个大写字母，如T。在客户代码声明、实例化该类型的变量时，把T替换为客户代码所指定的数据类型。泛型类，如泛型概述中给出的MyList类，不能用作as-is，原因在于它不是一个真正的类型，而更像是一个类型的蓝图。要使用MyList，客户代码必须在尖括号内指定一个类型参数，来声明并实例化一个已构造类型（constructed type）。这个特定类的类型参数可以是编译器识别的任何类型。可以创建任意数量的已构造类型实例，每个使用不同的类型参数，如下：

在这些MyList的实例中，类中出现的每个T都将在运行的时候被类型参数所取代。依靠这样的替换，我们仅用定义类的代码，就创建了三个独立的类型安全且高效的对象。有关CLR执行替换的详细信息，请参见运行时中的泛型。
1、类型参数的约束
若要检查表中的一个元素，以确定它是否合法或是否可以与其他元素相比较，那么编译器必须保证：客户代码中可能出现的所有类型参数，都要支持所需调用的操作或方法。这种保证是通过在泛型类的定义中，应用一个或多个约束而得到的。一个约束类型是一种基类约束，它通知编译器，只有这个类型的对象或从这个类型派生的对象，可被用作类型参数。一旦编译器得到这样的保证，它就允许在泛型类中调用这个类型的方法。上下文关键字where用以实现约束。下面的示例代码说明了应用基类约束，为MyList类增加功能。

约束使得泛型类能够使用Employee.Name属性，因为所有为类型T的元素，都是一个Employee对象或是一个继承自Employee的对象。

同一个类型参数可应用多个约束。约束自身也可以是泛型类，如下：
class MyList where T: Employee, IEmployee, IComparable, new()
{…}
下表列出了五类约束：

类型参数的约束，增加了可调用的操作和方法的数量。这些操作和方法受约束类型及其派生层次中的类型的支持。因此，设计泛型类或方法时，如果对泛型成员执行任何赋值以外的操作，或者是调用System.Object中所没有的方法，就需要在类型参数上使用约束。

无限制类型参数的一般用法
没有约束的类型参数,如公有类MyClass{…}中的T, 被称为无限制类型参数(unbounded type parameters)。无限制类型参数有以下规则:
l 不能使用运算符 != 和 == ，因为无法保证具体的类型参数能够支持这些运算符。
l 它们可以与System.Object相互转换，也可显式地转换成任何接口类型。
l 可以与null比较。如果一个无限制类型参数与null比较，当此类型参数为值类型时，比较的结果总为false。
2、无类型约束
当约束是一个泛型类型参数时，它就叫无类型约束(Naked type constraints)。当一个有类型参数成员方法，要把它的参数约束为其所在类的类型参数时，无类型约束很有用。如下例所示：

在上面的示例中， Add方法的上下文中的T，就是一个无类型约束；而List类的上下文中的T，则是一个无限制类型参数。
无类型约束也可以用在泛型类的定义中。注意，无类型约束一定也要和其它类型参数一起在尖括号中声明：

因为编译器只认为无类型约束是从System.Object继承而来，所以带有无类型约束的泛型类的用途十分有限。当你希望强制两个类型参数具有继承关系时，可对泛型类使用无类型约束。