C#复习笔记（3）--C#2：解决C#1的问题（泛型）

这一章会描述在C#2中所做的主要的变化

泛型

泛型的概念中包含类型参数和类型实参，类型参数相当于类型实参的蓝图。

泛型类型分为未绑定泛型类型和已构造泛型类型。已构造泛型类型又分为开放的泛型类型和封闭的泛型类型。只要不是封闭的泛型类型，都是开放的泛型类型。
泛型约束

① :class 表示类型参数必须是一个引用类型。使用:class来约束时，就可以用==和！==来比较引用。

②:struct表示类型参数必须是一个值类型，用:struct来约束的话就不能用==和！==来比较。

③:new表示类型实参必须有一个无参的构造函数。这个适用于所有的值类型。和显示的声明了无参构造函数的引用类型。以及没有显示声明构造函数的引用类型（非抽象类）。

④还有一种是类型转换约束，可以用类型转换约束来实现更加强大的功能。这种约束允许你指定另外一个类型，类型实参必须通过一致性、引用或装箱转换隐式地转换为该类型。类型转换约束可以指定多个接口，但只能指定一个类，因为C#是单继承的语言

转换类型约束也许是最有用的一种约束，因为它可以在类型实参的实力上使用指定类型的成员。

⑤最后一种是组合约束。

泛型的类型推断只适用于泛型的方法，不适用于泛型类型。

每一个封闭类型都有自己的静态字段集JIT为每个以值类型作为类型实参的封闭类型都创建不同的代码，但是，CLR采用的是懒原则，除非需要，否则不会再为相同封闭类型的泛型类型生成代码。一旦生成了代码，就会缓存起来，以便后面再用。

然而，所有使用引用类型（ string、 Stream、 StringBuilder 等）作为类型实参的封闭类型都共享相同的本机代码。之所以能这样做，是由于所有引用都具有相同的大小（32位CLR上是4字节， 64位CLR上是8字节。 但是，在任何一个特定的CLR中，所有引用都具有相同的大小）。

一个基本原则是，如果没有问题，泛型接口都应该集成对应的非泛型接口，这样可以实现协变性。例如，加入以前为.net 1.1写的一个函数要获取IEnumerable类型的参数，而现在有了IEnumerable<T>。假如没有继承，就不能传入IEnumerable<T>。

typeof（或者Type.GetType()）可通过两种方式作用于泛型类型—— 一种方式是获取泛型类型定义（ 即“ 未绑定泛型类型”），另一种方式是获取特定的已构造类型（实际上只能访问已构造中的封闭类型）。Type.GetType()也可以通过字符串的形式获取一个泛型类型定义。

和普通类型一样，每个特定的类型只有一个type对象。所以，调用两次MakeGenericType,每次都传递相同的类型实参，则会返回同一个引用。GetGenericTypeDefinition也一样的道理。解释一下这俩个方法：前者是作用于已构造的类型，获取它的泛型类型定义，后者是作用于泛型类型定义，返回一个已构造类型。所以，MakeGenericTpye的真实含义是创建一个已构造的泛型类型。
Type.GetType()与typeof操作符相比拥有更多的API，比如可以给Type.GetType()传入一个字符串可以获取到已构造的泛型类型或者未绑定的泛型类型。后者可以通过MakeGenericType设置类型实参从而变成已构造的封闭的泛型类型。

注意：从泛型类型定义获取的方法不能直接调用，相反，必须从一个已构造的类型获取方法。无论是泛型方法还是非泛型方法，这一点都适用。