19、C泛型类型参数约束详解

C#泛型类型参数约束详解

1. 泛型类型参数数量与类型标识

泛型类型参数的数量是未绑定泛型类型标识的一部分。这使得在同一命名空间中可以定义多个同名类型，只要它们的类型参数数量不同（类型参数的数量在技术上称为“元数”）。例如，可以定义一个名为 Operation<T> 的泛型类，接着定义 Operation<T1, T2> 、 Operation<T1, T2, T3> 等等，使用时根据参数数量就能明确具体使用的是哪个类型，像 Operation<int> 显然使用的是第一个， Operation<string, double> 使用的是第二个。而且，非泛型的 Operation 类与同名的泛型类型也是不同的。

在一些泛型类中，如 NamedContainer<T> ，它只是将类型参数 T 的实例作为构造函数参数存储起来，不调用 T 的任何方法或使用其属性等成员。.NET 类库中的许多泛型集合类也是类似，只是存储数据供后续检索。这是因为泛型类可能会处理任何类型，所以对其类型参数的假设有限。不过，我们可以为类型参数指定约束。

2. C# 中的泛型约束

C# 允许为类型参数设置约束，即要求类型参数满足特定条件。下面详细介绍不同类型的约束。

2.1 new() 约束

示例代码如下： <