C#泛型C#泛型C#泛型

第二章　泛型

20．泛型

20.1 泛型类声明

泛型类声明是一个需要提供类型参数以形成实际类型的类的声明。

类声明可以有选择地定义类型参数。

class-declaration: （类声明）

attributesopt class-modifiersopt class identifieropt type-parameter-listopt class –baseopt type-

parameter-constraints-clauseopt class-body;opt (特性可选& 类修饰符可选& 类标识符可选& 类

class List<T>{}

这是构造类型的一些例子，List<T>，List<int>和 List<List<string>>。构造类型可以使用一

个或多个参数，例如 List<T>被称为开放构造类型（open constructed type）。不使用类型参

数的构造类型，例如 List<int>被称为封闭构造类型（closed constructed type）。



泛型类型不可以被“重载”；也就是说，和普通类型一样在一个作用域内，泛型类型必须被

唯一地命名。





class C{}

20.1.1 类型参数

相反，类型参数§20.5.1）只是在构造类型被引用时，实际类型的一个替代。



type-parameter-list：（类型参数列表：）

 <type-parameters> （<类型参数>）

type-parameters：（类型参数：）

 type-parameter（类型参数）

 type-parameters type-parameter（类型参数，类型参数）

type-parameter：（类型参数：）

 attributesopt identifier（特性可选 标识符）



 reference-type（引用类型）

 type-parameter（类型参数）

由于类型参数可以被许多不同的实际类型实参所实例化，类型参数与其他类型相比将略微

有一些不同的操作和限制。包括如下内容。

类型参数不能用于直接声明一个基类型或者接口

对于在类型参数上的成员查找规则，如果约束存在，则依赖于应用到该类型参数的约束。

更详细地说明参看§20.7.4。





类型参数可行的转换依赖于应用到该类型参数上的约束（如果有的话）。详细地说明参看

参数给定的类型的值可以使用“==”和“!=”（§20.8.4）与 null 进行比较。

类型参数不能用于成员访问，或者表示一个静态成员或者嵌套类型的类型名字

（§20.9.1、§20.9.4）。

在不安全代码中，类型参数不能被用作托管类型（§18.2）。

作为一种类型，类型参数纯粹只是一个编译时构件。在运行时，每个类型参数被绑定到运

行时类型，它是通过泛型类型声明所提供的类型实参所指定的。为此，在运行时，使用类

型参数声明的变量类型是一个封闭类型（closed type）（§20.5.2）。所有语句和表达式在

运行时执行所使用的类型参数，都是由那个参数作为类型实参而提供的实际类型。

20.1.2 实例类型

每个类声明都有与之关联的构造类型，即实例类型(instance type)。对于一个泛型类声明，

实例类型通过创建一个来自于类型声明的构造类型（§20.4）而形成，它使用对应于类型参

 class C<U>{} //实例类型：A<T>.C<U>

}

class D{} //实例类型：D



20.1.3 基类规范

在类声明中指定的基类可以是一个构造类型（§20.5）。一个基类其自身不能是一个类型参

数，但在其作用域内可以包含类型参数。





class Extend<V>: V{}//错误，类型参数被用作基类

泛型类声明不能使用 System.Attribute 作为直接或间接基类。

在一个类声明中指定的基接口可以是构造接口类型（§20.5）。基接口自身不能是类型参数，

从基类或接口重写或实现方法的类的方法，必须提供特定类型的合适方法。下面的代码演

示了方法如何被重写和实现。这将会在§20.1.10 中进一步解释。

class C<U,V>

{

 public virtual void M1(U x , List<V> y){…}

}

interface I1<V>

{

 V M2(V x);

}