可以对多个参数应用约束，并对一个参数应用多个约束，如下面的示例所示：

class Base { }
class Test<T, U>
where U : struct
where T : Base, new() { }

没有约束的类型参数（如公共类 SampleClass<T>{} 中的 T）称为未绑定的类型参数。未绑定的类型参数具有以下规则：

• 不能使用 != 和 == 运算符，因为无法保证具体类型参数能支持这些运算符。

• 可以在它们与 System.Object 之间来回转换，或将它们显式转换为任何接口类型。

• 可以将它们与  进行比较时，如果类型参数为值类型，则该比较将始终返回 false。

用作约束的泛型类型参数称为裸类型约束。当具有自己的类型参数的成员函数必须将该参数约束为包含类型的类型参数时，裸类型约束很有用，如下面的示例所示：

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

在上面的示例中，T 在 Add 方法的上下文中是一个裸类型约束，而在 List 类的上下文中是一个未绑定的类型参数。

裸类型约束还可以在泛型类定义中使用。注意，还必须已经和其他任何类型参数一起在尖括号中声明了裸类型约束：

//naked type constraint
public class SampleClass<T, U, V> where T : V { }

泛型类的裸类型约束的作用非常有限，因为编译器除了假设某个裸类型约束派生自 System.Object 以外，不会做其他任何假设。在希望强制两个类型参数之间的继承关系的情况下，可对泛型类使用裸类型约束。