C# 泛型中的协变和逆变

C#中使用了继承和泛型这两种机制来编写跨类型的可复用的代码。泛型是包含了可变的类型参数的类型，在运行时用具体的类型填充泛型的类型参数，以创建一个具体的类型。在技术上，称未填充类型参数的类型为开放类型，已填充了类型参数的类型为封闭类型。

//public class List<T> : IList<T>, System.Collections.IList, IReadOnlyList<T>
//List<T>是开放类型，List<int>是封闭类型
List<int> d = new List<int>();

一. 与泛型相关的类型转换

泛型的封闭类型和其他类型一样，也可以进行类型转换，其类型转换可以分为两种情形：

1. 所填充的类型参数不变。这种情况可以把封闭类型当作普通的类型，适用普通的类型转换规则。

class Base {}
class Derived : Base {}

//List<Derived>可以隐式转换为IEnumerable<Derived>
//因为List<T>间接实现了IEnumerable<T>接口
IEnumerable<Derived> d = new List<Derived>();

2. 所填充的类型参数发生改变，这种情况下，称为泛型的协变或逆变，或统称为泛型的可变性(Variance）。具体地：

协变（Covariance）ÿ