翻译协变性与逆变性FAQ阅读:177评论:1作者:甜番薯发表于2010-05-1721:48原文链接原文来自AlexandraRusina在CSharpFAQ的CovarianceandContravarianceFAQ在这篇文章我尝试回答我在论坛和文档反馈里找到的最常见的关于C#协变性和逆变性的问题。对于一篇博文来讲，这是个大话题，所以你可能会看到大量"更多信息"的链接。特别感谢EricLippert和ChrisBurrows的检阅和提供很有帮助的意见。什么是协变性(covariance)和逆变性(contravariance)[又译为"反变性"]?在C#里，协变性和逆变性使数组类型、委托类型和泛型类型参数能够隐式的引用转换。协变性保持分配兼容性(assignmentcompatibility)而逆变性反转它。下面的代码演示分配兼容性、协变性和逆变性三者间的区别。//分配兼容性。stringstr="test";//派生程度较大的对象分配到派生程度较小的对象引用objectobj=str;//协变性。IEnumerablestringstrings=newListstring();//参数类型派生程度较大的实例化对象//分配给参数类型派生程度较小的对象引用。//分配兼容性被保留。IEnumerableobjectobjects=strings;//逆变性。//假定我们有这么个方法://staticvoidSetObject(objecto){}ActionobjectactObject=SetObject;//参数类型派生程度较小的实例化对象//分配给参数类型派生程度较大的对象引用。//分配兼容性被反转。ActionstringactString=actObject;在C#里，下面的情况下支持可变性:1.数组中的协变性(从C#1.0起)2.委托中的协变性和逆变性，也称作"方法组可变性"(从C#2.0起)3.接口和委托中的泛型参数的可变性(从C#4.0起)什么是数组协变性?从C#1.0起数组就是协变的。你一直都可以这样:objectobj=newString[10];在上面的代码，我将一个string的数组分配到object的数组变量中。所以，使用比原本类型派生程度较大的类型，就是协变性。数组中的协变性被认为是"不安全"的，因为你可以这样做:obj[0]=5;此代码可以编译通过，但它在运行时会抛出一个异常，因为obj事实上是string类型的数组，不能包含int类型。什么是委托或方法组的可变性?此特性是在C#2.0中添加的。当你实例化一个委托，你给它分配的方法，其返回值类型可以比此委托的返回值类型派生程度更大(协变性)。你同样可以让其参数类型比委托的参数类型派生程度更小(逆变性)。这里是代码样例，用来说明此特性及其限制:staticobjectGetObject(){returnnull;}staticvoidSetObject(objectobj){}staticstringGetString(){return"";}staticvoidSetString(stringstr){}staticvoidMain(){//协变性。委托指定了返回值是object类型，//但是我可以为其赋一个返回string类型的方法。Funcobjectdel=GetString;//逆变性。委托指定一个string类型的参数，//但是我可以为其赋一个object类型参数的方法。Actionstringdel2=SetObject;//但是，到C#4.0为止，都还不支持泛型委托之间的隐式转换Funcstringdel3=GetString;Funcobjectdel4=del3;//C#4.0为止，这里都是编译器错误}什么是泛型参数的可变性?这是C#4.0的新特性。现在，当你创建一个泛型接口，你可以指定在不同参数类型的接口实例间是否可以有隐式转换。例如，你可以使用一个返回值类型比原本指定类型派生程度更大的方法(协变性)或参数类型派生程度更小的方法(逆变性)的接口实例。同样的规则适用于泛型委托。虽然你自己可以创建一个可变的接口和委托，但这不是这个特性的主要目的。更重要的是，Framework4中接口和委托的集合已经更新成可变的了。这里是接口更新列表:IEnumerableT(T协变)IEnumeratorT(T协变)IQueryableT(T协变)IGroupingTKey,TElement(TKey和TElement协变)IComparerT(T逆变)IEqualityComparerT(T逆变)IComparableT(T逆变)这里是委托更新列表:System命名空间的Action委托,例如,ActionTandActionT1,T2(T,T1,T2,等等是逆变)System命名空间的Func委托,例如,FuncTResult和FuncT,TResult(TResult是协变;T,T1,T2,等等是逆变)PredicateT(T是逆变)ComparisonT(T是逆变)ConverterTInput,TOutput(TInput是逆变;TOutput是协变.)估计大部分用户的多数情景都是像这样:IEnumerableObjectobjects=newListString();虽然这段代码看上去并不令人印象深刻，但它让...