跟小静读CLR via C#(16)--泛型 - 敬YES

泛型就像是一个模板，常常定义一些通用的算法，具体调用时再替换成实际的数据类型，提高了代码的可重用性。

一、初识泛型

1. 简单实例

以最常用的FCL中的泛型List<T >为例：

static void Main(string[] args)
       {
           List<int> num = new List<int>();
           num.Add(1);
           num.Add(3);
           int num1 = num[0];
           int num2 = num[1];
       }

尖括号中的T是不确定的数据类型，叫做类型参数，一般规定以字母T开头，可以是TKey, TValue都可以。而调用时指定的具体类型叫做类型实参。

查看一下IL代码：

类型名List是以“`”加数字结尾的。数字表示类型的元数，也就是需要指定具体类型的参数个数。
泛型是类型安全的。如果用“num.Add("a");”会发生编译错误；
泛型可以提高算法的可重用性，而且从例子中看出int类型并没有进行装箱拆箱操作，相比将所有类型转换为Object的方式而言，提高了程序的性能。
为泛型变量设置默认值时常使用default关键字进行，T temp=default(T)。如果T为引用类型，则temp为null;如果T为值类型，则temp设为0值.

2. 开放类型与封闭类型：

开放类型：具有泛型参数的类型是开放类型，如List<T>，CLR不允许构造开放类型的实例；

封闭类型：在实际调用代码时，如果所有类型实参都已经指定了实际数据类型，如List<string>，则该类型为封闭类型。CLR允许构造封闭类型的实例。

3. 类型推断：

先看这段很常见的代码：

为了增强可读性，编译器支持类型推断功能，省略<>，我们可以将上面调用的方法改为：

* 需要注意的是，类型推断时C#使用的是变量的数据类型，而不是变量引用的对象的类型。例如：

虽然s1和s2都是指向了字符串对象，但是这两个变量的类型是不同的，所以会产生编译错误。

二、协变和逆变泛型类型参数

通过协变量和逆变量，可以将泛型委托或者接口的类型参数进行一定的类型转换。

逆变量：泛型类型参数可以从基类转为派生类，用in关键字标识，只出现在输入位置，例如方法的参数；

public delegate void Func<in T>(T arg);
static void Main(string[] args)
{
Func<object> f1 = null;
Func<string> f2 = f1;
}

协变量：泛型类型参数可以从派生类改为它的基类，用out关键字标识，只出现在输出位置，例如方法的返回值。

public delegate TResult Func<out TResult>();
static void Main(string[] args)
{
Func<string> fn=null;
object result=fn();
}

三、泛型约束

在设计泛型的类型参数时，可以通过where子句指定类型需要满足的约束条件。主要包含以下几种约束方式：

1. 主要约束

一个类型参数可以指定0或1个主要约束，主要约束可以一个非密封的引用类型，它表示类型实参必须与约束类型相同或者为约束类型的派生类。该引用类型不能为Object, Array, Delegate, MulticastDelegate, ValueType, Enum, Void。

class Constraint1<T> where T : Stream
{
     public void Close(T stream)
     {
         stream.Close();
     }
}

class Program
{
     static void Main(string[] args)
     {
         Constraint1<FileStream> s2 = new Constraint1<FileStream>();
     }
}

两种特殊的主要约束：class和struct。