C#泛型应用及原理

泛型（generic）是C#语言2.0和通用语言运行时（CLR）的一个新特性。泛型为.NET框架引入了类型参数（type parameters）的概念。类型参数使得设计类和方法时，不必指定方法有一个或多个具体参数，而是在调用方法的时候再去指定。这意味着使用泛型的类型参数T，写一个方法MyList<T>，客户代码可以这样调用：MyList<int>， MyList<string>或 MyList<MyClass>，也就是说一个方法就可以满足不同场景的使用。避免了运行时类型转换或装箱操作的代价和风险。

为什么要有泛型，什么时候才需要用到泛型？

针对早期版本的通用语言运行时和C#语言的局限，泛型提供了一个解决方案。以前类型的泛化（generalization）是靠类型与全局基类System.Object的相互转换来实现。比如.NET框架基础类库的ArrayList容器类，就是这种局限的一个例子。ArrayList是一个很方便的容器类，使用中无需更改就可以存储任何引用类型或值类型。

相对于数组来说，这种集合比数组灵活(数组长度固定，数据类型单一)，但是这种便利是有代价的，这需要把任何一个加入ArrayList的引用类型或值类型都隐式地向上转换成System.Object（如上图所示）。如果这些元素是值类型，那么当加入到列表中时，它们必须被装箱；当重新取回它们时，要拆箱。类型转换和装箱、拆箱的操作都降低了性能；在必须迭代（iterate）大容器的情况下，装箱和拆箱的影响可能十分显著。

另一个局限是缺乏编译时的类型检查，比如当用户需要保存用户的年龄时，结果把用户的姓名也存进去了，但是因为ArrayList把任何类型都转换为Object，所以编译的时候不会报错，这个错误只有在程序运行过程中才会暴露出来。

ArrayList和其他相似的类真正需要的是一种途径，能让客户代码在实例化之前指定所需的特定数据类型。这样就不需要向上类型转换为Object，而且编译器可以同时进行类型检查。换句话说，ArrayList需要一个类型参数。这正是泛型所提供的。在System.Collections.Generic命名空间中的泛型List<T>容器里，同样是把元素加入容器的操作，类似这样：