c#4.0中的不变（invariant）、协变(covariant)、逆变(contravariant)小记

不变/协变/逆变，4.0中的这几个概念越念越象绕口令，如果单纯死记硬背，就算记住了，时间长了还是会忘记的。

这里只是从应用的角度，简单记录一下：

从.net3.5开始，System命名空间里就定义了一个泛型委托，原型如下：

即:输入一个泛型参数T，返回一个泛型结果TResult

假设有以下代码：

在.net3.5环境下编译会报错：11行 fn2=fn1 这里会提示

Cannot implicitly convert type 'System.Func<object,System.ArgumentException>' to 'System.Func<string,System.Exception>' 

即：无法隐式将System.Func<object,System.ArgumentException>转换成System.Func<string,System.Exception>

说得更白一点，4.0以前的泛型委托，泛型参数一旦在实例使用过程中明确为具体类型后，是不能隐式自动转换成其它类型的，哪怕类型是兼容的（按道理来讲，fn1中的输入参数类型为object，由于string是继承自object的，所以能用object的地方，string应该是能用的；同理：fn1中(返回)输出参数类型ArumentException继承自Exception，所以返回类型ArgumentException可以向上的转化为Exception不会有任何问题，所以说fn1中的参数类型与fn2中的参数类型是安全兼容的，但是编译回不允许），这种不允许泛型参数类型变化的特点，称为不变性（invariant）.

而在4.0中，上面的代码可正常编译运行，如果研究下4.0中Func中的原型，会发现多了二个关键字：

即:在输入参数T前加了一个in，而在输出参数（也就是返回参数）前加了一个out.

这样编译器就能自动将T隐式转化为T的子类，而返回类型TResult也能自动隐式转化为它的父类。

说穿了就是OOP中的一个常理：子类与父类的继承关系，其实就是is a的关系，所以任何能用父类做为输入参数的地方，当然也能用子类作为替换（子承父业）；而任何返回子类的地方，当然也能安全的向上转行为父类.(儿子是人类，父母当然也是人类，不可能是畜生，呵)

这时，我们称T为逆变(ContraVariant)量，而TResult则为协变(CoVariant)量。记忆方法：向上转型称协变（因为这种转型肯定是安全的，比较“和谐”），向下转型称逆变（因为不一定能转型成功，有出错的可能，称逆变）

最后：in,out这二个关键字不仅能用于泛型委托，同样也适用于泛型接口（比如4.0中的IEnumerable接口）