C#4.0泛型的协变，逆变深入剖析

C#4.0中有一个新特性：协变与逆变。可能很多人在开发过程中不常用到，但是深入的了解他们，肯定是有好处的。 协变和逆变体现在泛型的接口和委托上面，也就是对泛型参数的声明，可以声明为协变，或者逆变。什么？泛型的参数还能声明？对，如果有了参数的声明，则该泛型接口或者委托称为“变体”。 List<汽车> 一群汽车 = new List<汽车>(); List<车子> 一群车子 = 一群汽车; 显然，上面那段代码是会报错的， 虽然汽车继承于车子，可以隐士转换为车子，但是List<汽车>并不继承于List<车子>，所以上面的转换，是行不通的。 IEnumerable<汽车> 一群汽车 = new List<汽车>(); IEnumerable<车子> 一群车子 = 一群汽车; 然而这样却是可以的。那么IEnumerable接口有什么不同呢，我们且看编译器的提示： 我们可以看到，泛型参数的，用了一个“out”关键字作为声明。看来，关键是这个在起作用了。 “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。逆变，逆于常规的变。 协变和逆变，使用“out”，和“in”两个关键字。但是只能用在接口和委托上面，对泛型的类型进行声明 当声明为“out”时，代表它是用来返回的，只能作为结果返回，中途不能更改。 当声明为"in"时，代表它是用来输入的，只能作为参数输入，不能被返回。 回到上面的例子，正因为“IEnumerable”接口声明了out，所以，代表参数T只能被返回，中途不会被修改，所以，IEnumerable<车子> 一群车子 = 一群汽车； 这样的强制转换 是合法的，IL中实际上是作了强制转换的。 IEnumerable是NET中自带的，其余还有如下接口和委托： 接口： IQueryable