.Net中委托的协变和逆变详解

　　关于协变和逆变要从面向对象继承说起。继承关系是指子类和父类之间的关系；子类从父类继承所以子类的实例也就是父类的实例。比如说Animal是父类，Dog是从Animal继承的子类；如果一个对象的类型是Dog，那么他必然是Animal。

协变逆变正是利用继承关系 对不同参数类型或返回值类型 的委托或者泛型接口之间做转变。我承认这句话很绕，如果你也觉得绕不妨往下看看。

如果一个方法要接受Dog参数，那么另一个接受Animal参数的方法肯定也可以接受这个方法的参数，这是Animal向Dog方向的转变是逆变。如果一个方法要求的返回值是Animal，那么返回Dog的方法肯定是可以满足其返回值要求的，这是Dog向Animal方向的转变是协变。

由子类向父类方向转变是协变协变用于返回值类型用out关键字
由父类向子类方向转变是逆变逆变用于方法的参数类型用in关键字

协变逆变中的协逆是相对于继承关系的继承链方向而言的。

一．数组的协变：

Animal[] animalArray = new Dog[]{};

上面一行代码是合法的，声明的数组数据类型是Animal，而实际上赋值时给的是Dog数组；每一个Dog对象都可以安全的转变为Animal。Dog向Animal方法转变是沿着继承链向上转变的所以是协变

二．委托中的协变和逆变
1.委托中的协变

//委托定义的返回值是Animal类型是父类public delegate Animal GetAnimal();//委托方法实现中的返回值是Dog，是子类static Dog GetDog(){return new Dog();}//GetDog的返回值是Dog, Dog是Animal的子类；返回一个Dog肯定就相当于返回了一个Animal；所以下面对委托的赋值是有效的GetAnimal getMethod = GetDog;

2.委托中的逆变

//委托中的定义参数类型是Dogpublic delegate void FeedDog(Dog target);//实际方法中的参数类型是Animalstatic void FeedAnimal(Animal target){}// FeedAnimal是FeedDog委托的有效方法，因为委托接受的参数类型是Dog；而FeedAnimal接受的参数是animal，Dog是可以隐式转变成Animal的，所以委托可以安全的的做类型转换，正确的执行委托方法；FeedDog feedDogMethod = FeedAnimal;

定义委托时的参数是子类，实际上委托方法的参数是更宽泛的父类Animal，是父类向子类方向转变，是逆变

三. 泛型委托的协变和逆变：
1．泛型委托中的逆变
如下委托声明：

public delegate void Feed<in T>(T target);

Feed委托接受一个泛型类型T，注意在泛型的尖括号中有一个in关键字，这个关键字的作用是告诉编译器在对委托赋值时类型T可能要做逆变

//先声明一个T为Animal的委托Feed<Animal> feedAnimalMethod = a=>Console.WriteLine(“Feed animal lambda”);//将T为Animal的委托赋值给T为Dog的委托变量，这是合法的，因为在定义泛型委托时有in关键字，如果把in关键字去掉，编译器会认为不合法Feed<Dog> feedDogMethod = feedAnimalMethod;

2. 泛型委托中的协变

如下委托声明：

public delegate T Find<out T>();

Find委托要返回一个泛型类型T的实例，在泛型的尖括号中有一个out关键字，该关键字表明T类型是可能要做协变的

//声明Find<Dog>委托Find<Dog> findDog = ()=>new Dog();//声明Find<Animal>委托，并将findDog赋值给findAnimal是合法的，类型T从Dog向Animal转变是协变Find<Animal> findAnimal = findDog;

四．泛型接口中的协变和逆变：

泛型接口中的协变逆变和泛型委托中的非常类似，只是将泛型定义的尖括号部分换到了接口的定义上。
1.泛型接口中的逆变
如下接口定义：

public interface IFeedable<in T>{void Feed(T t);}

接口的泛型T之前有一个in关键字，来表明这个泛型接口可能要做逆变

如下泛型类型FeedImp<T>，实现上面的泛型接口；需要注意的是协变和逆变关键字in，out是不能在泛型类中使用的，编译器不允许

public class FeedImp<T>:IFeedable<T>{ public void Feed(T t){ Console.WriteLine(“Feed Animal”); }}

来看一个使用接口逆变的例子：

IFeedable<Dog> feedDog = new FeedImp<Animal>();

上面的代码将FeedImp<Animal>类型赋值给了IFeedable<Dog>的变量；Animal向Dog转变了，所以是逆变

2.泛型接口中的协变
如下接口的定义：

public interface IFinder<out T> { T Find();}

泛型接口的泛型T之前用了out关键字来说明此接口是可能要做协变的；如下泛型接口实现类

public class Finder<T>:IFinder<T> where T:new(){ public T Find(){ return new T(); } }

//使用协变,IFinder的泛型类型是Animal，但是由于有out关键字，我可以将Finder<Dog>赋值给它

IFinder<Animal> finder = new Finder<Dog>();

协变和逆变的概念不太容易理解，可以通过实际代码思考理解。这么绕的东西到底有用吗？答案是肯定的，通过协变和逆变可以更好的复用代码。复用是软件开发的一个永恒的追求。

转自：https://www.cnblogs.com/yukaizhao/archive/2011/10/27/xiebian-nibian.html

转载于:https://www.cnblogs.com/zhao-yi/p/9759546.html

.Net中委托的协变和逆变详解相关推荐

我来分析委托的协变与逆变
委托的协变: class Phone { } class Mobile : Phone { } ...
泛型--协变与逆变(转)
对于泛型的知识,一直比较模糊,现在有机会整理一下,突发发现C#还有很多你不知道的东东,继续.NET FrameWork中泛型的协变与逆变: 1. 可变性的类型:协变性和逆变性可变性是以一种类型安全的 ...
C#中协变和逆变的基本概念、List和List.Select方法的命名空间
在 C# 中,协变和逆变能够实现数组类型.委托类型和泛型类型参数的隐式引用转换. 协变保留分配兼容性,逆变则与之相反. msdn 解释如下: "协变"是指能够使用与原始指定的派生类 ...
C# 4.0中的协变和逆变（一）
在刚刚落下帷幕的PDC上,我们得到了很多振奋的消息,包括C# 4.0及VS2010等等.Anders Liu 已经将C# 4.0 新特性白皮书翻译了出来,那里面有非常详细的介绍. C#的发展是很快 ...
spark笔记之Scala中的协变、逆变、非变
1.1. 协变.逆变.非变介绍协变和逆变主要是用来解决参数化类型的泛化问题.Scala的协变与逆变是非常有特色的,完全解决了Java中泛型的一大缺憾:举例来说,Java中,如果有 A是 B的子类,但 ...
协变逆变java_Java中的协变与逆变
Java作为面向对象的典型语言,相比于C++而言,对类的继承和派生有着更简洁的设计(比如单根继承). 在继承派生的过程中,是符合Liskov替换原则(LSP)的.LSP总结起来,就一句话: 所有引用基 ...
【软件构造】--Java中的协变与逆变
提示:本文主要讨论Java中的协变与逆变 Java中的协变与逆变前言一.Liskov替换原则(LSP) 二.协变(Covariance)和逆变(Contravariance) 1.概念三讨论 ...
Scala中协变(+)、逆变(-)、上界(:)、下界(:)简单介绍
对于一个带类型参数的类型,比如 List[T],如果对A及其子类型B,满足 List[B]也符合List[A]的子类型,那么就称为covariance(协变) , 如果 List[A]是 List[B ...
typescript中的协变、逆变
typescript中的协变.逆变想要写出更加优秀的类型编程co-variance(协变)contra-variance(逆变)这类知识是我们必须掌握的.这篇记录也仅仅是为了方便之后哪天这块知识 ...

.Net中委托的协变和逆变详解

.Net中委托的协变和逆变详解相关推荐

最新文章

热门文章