协变与逆变.docVIP

协变与逆变应该是CLR的特性，我仅对我熟悉的C#举例说明。 说白了，它主要解决的是一个类型转换的问题，用一个最简单的泛型表达式就是： ST1 = ST2 当然这只是一个抽象的表达式，而且只包含了一个泛型类型参数，意思是将一个ST2的实例赋值给一个ST1的实例。S可能是一个接口或委托，T1和T2是有父子关系（或子父关系）的两个引用类型。在.NET4.0之前，这样的直接转换是不可能的，有时我们不得不写一些转换函数来实现。协变与逆变可以在一定程度上方便地解决这个问题。 ? 我们来看看怎么理解这个表达式。 ST1是暴露给使用者的类型，ST2是真正做事的类型，所以通俗来讲，作为使用者，我们交给ST1的参数实际是交给了ST2，而我们通过ST1拿到的返回值实际是ST2给我们的。 画个图来表示就是： ? 图虽然粗糙，说明道理即可。可以看出，如果要使表达式ST1=ST2成立，必须满足两点： ST1中的所有参数都必须类型安全地转换为ST2中的对应参数； ST2中的所有返回值都必须类型安全地转换为ST1的对应返回值。 当然如果参数或者返回值的类型是与泛型类型无关的类型，那么上面两条必然满足。而且需要尤其注意的是：这里的参数和返回值类型未必是泛型参数类型本身，可能就是T1，也可能是AT1，还可能是ABCT1等等，但无疑都要满足上面的两个条件。 ? 我认为理解了上面的关系之后，协变与逆变自然可以一步步推理出来了。 假设TBase是TChild的父类，如果满足STBase=STChild就说S支持对T的协变，.NET4.0有个新写法Sout T。 那么应用上面的两个规则看看会发生什么： STBase中的所有参数都必须类型安全地转换为STChild中的对应参数； 如果参数类型就是T本身，那么要求TBase可以类型安全地转换为TChild，即TChild=TBase，父类怎么可能类型安全地转换为子类？所以泛型类型参数绝对不可能出现在参数列表中，否则会引发编译的错误。 如果参数类型是AT，那么要求ATBase可以类型安全地转换为ATChild，即ATChild=ATBase。这要求A要支持对T的逆变，即Ain T。所以我们自然而然推出了一个重要原则：方法参数的协变-逆变互换原则（该原则取自装配脑袋的博文：/Ninputer/archive/2008/11/22/generic_covariant.html）。 如果参数是更复杂的多层嵌套，那么递归套用该原则即可。 STChild中的所有返回值都必须类型安全地转换为STBase中的对应返回值； 如果参数类型是T类型本身，那么要求TChild可以类型安全地转换为TBase，即TBase=TChild，这个毫无疑问没问题。所以T类型可以出现在返回值的位置上。 如果参数类型是AT，那么要求ATChild可以类型安全地转换为ATBase，即ATBase=ATChild。这要求A支持对T的协变，即Ain T。又一个重要原则：方法返回值的协变-逆变一致原则。 同上。 ? 逆变可以采用同样的推理过程，不再详述。 协变与逆变都是我们在定义这个接口或者委托的时候规定好的，至于参数与返回值的限定都只是这个规定产生的结果。一步步缕下来思路还是比较清晰的，虽然不像TBase=TChild这样一眼可以看出，但起码有个推理的方向，实在不行只要想想这个丑陋的图片就好了。 相关的特性有动态查找、命名参数、可选参数等。 还有，简化了与COM的互操作。 还有，协变和逆变 Covariance and contravariance 。 这些都在白皮书里可以找到介绍。我在这里整理一下协变和逆变的一些参考资料，本来数学就不好，怕过一两天就又忘了，俗话说，好记性不如烂笔头嘛。 首先看看问题的引入。 这里有两个类型，T 和 U，在这两个类型间，以下伪表达式肯定有一个是“真”： T U T U T = U T 和 U 没有任何关系 例如有这些类型：动物 Animal、哺乳动物 Mammal、爬行动物 Reptile、长颈鹿 Giraffe、老虎 Tiger、蛇 Snake和海龟 Turtle，它们之间的继承关系（应该来个UML就一目了然了）有：哺乳动物是动物的一个子类，长颈鹿是哺乳动物的一个子类等等…… 看图： 那么就有：哺乳动物比长颈鹿大，比动物小，等于哺乳动物，和爬行动物却没有关系（这里的比较都不是对象之间的比较，要注意哦。） 呃，如果这个难于理解，我们再看看程序中的情况。假设有一个变量，这个变量在C#中有一个容身之处（不是说的存储区的物理地址），每一个变量在C#中的容身之处都对应一个类型（强类型语言就是这样的），那么，在运行时你可以在一个特定的容身之处存储对应类型的实例或者小于这个类型的类型的实例（拗口-,-）。所以呢，哺