C# 图解教程第5版 —— 第18章泛型

蔗理苦

已于 2023-12-11 16:34:13 修改

阅读量379

点赞数 1

分类专栏： C# 图解教程第5版文章标签： c# 开发语言职场和发展

于 2023-12-11 16:32:38 首次发布

本文链接：https://blog.csdn.net/zheliku/article/details/134930505

版权

C# 图解教程第5版专栏收录该内容

24 篇文章 33 订阅

订阅专栏

18.1 什么是泛型

泛型可以将重构代码并且额外添加一个抽象层，是专门为多段代码在不同的数据类型上执行相同指令而设计的。

18.2 C# 中的泛型

泛型不是类型，而是类型的模板。

图 18.1 泛型是类型的模板

C# 提供了以下 5 种泛型：

类
结构
接口
委托
方法

其中 1 ~ 4 是类型，5 是成员。

图 18.2 泛型和用户定义类型

18.3 泛型类

泛型类不是实际的类，而是类的模板，因此必须先从它们构建实际的类，然后创建类的引用和实例。

在某些类型上使用一个占位符来声明一个类。
为占位符提供真实类型（构造类型）。
创建构造类型的实例。

图 18.3 从泛型类创建实例

18.3.1 声明泛型类

在类名之后放置一组尖括号。
在尖括号中用逗号分隔占位符字符串，用于表示需要提供的类型（类型参数）。
在泛型类声明的主体中使用类型参数来表示替代类型。

18.3.2 创建构造类型

声明泛型类后，就可以告诉编译器使用哪些真实类型来替代占位符，编译器将获取这些真实类型并创建构造类型（用来创建真实类对象的模板）。

图 18.4 为泛型类的所有类型参数提供类型实参，让编译器产生一个可以用来创建真实类对象的构造类

泛型类声明上的类型参数用作类型的占位符。
在创建构造类型时提供的真实类型是类型实参。

图 18.5 类型参数与类型实参

18.3.3 创建变量和实例

和非泛型类一样，引用和实例可以分开创建。

图 18.6 使用构造类型来创建引用和实例

18.3.4 使用泛型的示例

图 18.7 从泛型类创建的两个构造类

18.3.5 比较泛型和非泛型栈

表 18.1 非泛型栈和泛型栈之间的区别

图 18.8 非泛型栈和泛型栈

18.4 类型参数的约束

要让泛型更加有用，需要提供额外的信息让编译器直到参数可以接受哪些类型，这些额外的信息称为约束。

18.4.1 Where 子句

每个有约束的类型参数都有自己的 where 子句。
如果形参有多个约束，则使用逗号分隔。

有关 where 子句的要点如下：

在类型参数列表的关闭尖括号后列出。
不使用分隔符。
可以随意次序列出。
where 是上下文关键字，可以在其他上下文使用。

18.4.2 约束类型和次序

表 18.2 约束类型

最多只能有一个主约束，必须放在第一位。
可以有任意个接口名称约束。
如果存在构造函数约束，必须放在最后。

图 18.9 如果类型参数有多个约束，则必须遵守的顺序

18.5 泛型方法

泛型方法可以在泛型 / 非泛型类、结构和接口中声明。

图 18.10 泛型方法可以声明在泛型类型和非泛型类型中

18.5.1 声明泛型方法

泛型方法有两个参数列表。
- 方法参数列表（圆括号内）。
- 类型参数列表（尖括号内）。
方法参数列表后放置可选的约束子句。

18.5.2 调用泛型方法

编译器使用每个构造函数实例产生方法的不同版本。

图 18.11 有两个实例的泛型方法

编译器有时可以从方法参数推断类型参数。例如，对于如下的方法声明：

编译器可以从 myInt 参数的类型推断出 T 为 int，因此可以省略尖括号。

18.5.3 泛型方法的示例（*）

18.6 扩展方法和泛型类

和非泛型类一样，泛型类的扩展方法必须满足如下条件：

声明为 static。
是静态类的成员。
第一个参数类型中必须有关键字 this，后面是扩展的泛型类的名字。

18.7 泛型结构

泛型结构的规则和条件与泛型类一致。

18.8 泛型委托

C# LINQ 特性大量使用泛型委托。

18.9 泛型接口

泛型接口的声明和非泛型接口的声明类似，但是要在接口名称后的尖括号中放置类型参数。

18.9.1 使用泛型接口的示例（*）

18.9.2 泛型接口的实现必须唯一

必须保证类型实参的组合不会在类型中产生两个重复的接口。

例如，对于下面的泛型接口，会产生潜在的冲突：S 可能用作 int 类型，此时会有两个相同类型的接口，这将不被允许。

泛型结构的名称不会和非泛型冲突。

18.10 协变和逆变

18.10.1 协变（out）

给出如下例子：

我么知道，Dog 类型的变量可以作为 Animal 类型的引用，因为 Dog 由 Animal 派生而来，这里发生了隐式类型转换。

图 18.12 赋值兼容性意味着可以将派生类型的引用赋值给基类变量

进行扩展，添加 Factory 泛型委托、MakeDog 方法，并且 MakeDog 方法可以匹配 Factory 委托。

Main 函数的第二行尝试将 Factory<Dog> 类型赋给 Factory<Animal>类型，这将产生报错。

问题的原因在于，委托 Factory<Dog> 并没有从 Factory<Animal> 派生得到。

图 18.13 赋值兼容性不使用，因为两个委托没有继承关系

我们仅希望传递 Dog 给 Factory<Animal> 委托时，代码对 Dog 类型中的 Animal 部分进行操作，这并不会发生越界访问，是完全合理的。为了完成我们的期望，可以通过添加 out 关键字改变委托声明。

图 18.14 协变关系允许程度更高的派生类型处于返回及输出位置

18.10.2 逆变

与协变相反，如果类型参数只用于方法中的输入参数，那么可以传入更高程度的派生类引用，因为委托的方法中只对其基类部分进行操作。

调用委托时，调用代码为方法 ActOnAnimal 传入的 Dog 类型的变量，而其期望的是 Animal 对象，因此可以进行操作。

图 18.15 逆变允许程度更高的派生类型作为输入参数

18.10.3 协变和逆变的不同

图 18.16 协变和逆变

18.10.4 接口的协变和逆变

相同的原则也适用于接口。

18.10.5 关于可变性的更多内容

前面的内容讲解了显式的协变和逆变。实际上，编译器可以自动识别某个已构建的委托是协变还是逆变，并且自动进行类型强制转换，但这通常发生在没有为对象的类型赋值的时候。

Main 第一行创建了 Factory<Animal> 类型的委托，并直接将方法 MakeDog 赋值给它。由于没有创建 Factory<Dog> 委托，因此编译器清楚这是协变关系，允许这种赋值，哪怕委托中没有 out 标识符。
到 Main 第三行时，由于第二行已经创建了 Factory<Dog> 委托，因此后面的协变关系赋值需要 out 标识符才能完成。