码迷,mamicode.com
首页 > 其他好文 > 详细

面向对象设计——协变与逆变

时间:2014-07-04 08:10:50      阅读:217      评论:0      收藏:0      [点我收藏+]

标签:style   blog   使用   数据   2014   问题   

        在面向对象的设计中,我们一直追求一种结果,就是良好的复用性,基于这个理念,面向对象的设计中加入了协变与逆变(Covariance and Contravariance)两个概念,我们先来简单了解一下这两个概念。


简介:


协变:由子类向父类方向转变, 用out关键字标识
逆变:由父类向子类方向转变, 用in关键字

举例:Animal是父类,Dog是从Animal继承的子类;如果一个对象的类型是Dog,那么他必然是Animal。有一个获取宠物的方法要接受Dog参数,那么另一个接受Animal参数的方法肯定也可以接受这个方法的参数,这是Animal向Dog方向的转变是逆变。如果一个方法要求的返回值是Animal,那么返回Dog的方法肯定是可以满足其返回值要求的,这是Dog向Animal方向的转变是协变。


代码示例:

        以下三个实例,是对协变和逆变在抽象级别的不同的程度上做的不同应用,也是想通过这三个实例,让大家理解,一种技术在不同抽象的层面带来的不同变化,我们到底是牛刀杀鸡,还是多此一举,请大家细细体会!

一. 数组的协变:


<span style="font-size:18px;">Animal[] animalArray = new Dog[]{};</span>

        我们声明的数组数据类型是Animal,而实际上赋值时给的是Dog数据类型的数组,而每一个Dog对象都可以安全的转变为Animal。Dog向Animal方法转变是沿着父子继承方向上的转变就叫做协变,协变的应用在程序代码的设计中是经常使用的!


二. 委托中的协变和逆变


1.委托中的协变


<span style="font-size:18px;">//委托定义的返回值是Animal类型~父类
//获取宠物
public delegate Animal GetPet();

//委托方法实现中的返回值是Dog,是子类
//获取宠物狗
static Dog GetDog(){return new Dog();}

//GetDog的返回值是Dog, Dog是Animal的子类;返回一个Dog肯定就相当于返回了一个Animal;所以下面对委托的赋值是有效的
//获取宠物的委托加入获取狗,这是协变,是合法的
</span><pre name="code" class="csharp"><span style="font-size:18px;">GetPet <span style="font-family: Arial, Helvetica, sans-serif;">getMethod = GetDog; </span></span>



2.委托中的逆变


<span style="font-size:18px;">//委托中的定义参数类型是Dog
//喂养宠物(狗)
public delegate void FeedPet(Dog target);


//实际方法中的参数类型是Animal
//喂养动物
static void FeedAnimal(Animal target){}


// FeedAnimal是FeedDog委托的有效方法,因为委托接受的参数类型是Dog,Dog是可以隐式转变成Animal的,所以委托可以安全的的做类型转换,正确的执行委托方法;
//喂养宠物变为喂养动物,这是逆变,也是合法的
</span><pre name="code" class="csharp"><span style="font-size:18px;">FeedPet <span style="font-family: Arial, Helvetica, sans-serif;">feedDogMethod = FeedAnimal; </span></span>


三. 泛型委托的协变和逆变:


1. 泛型委托中的协变


如下委托声明:
<span style="font-size:18px;">//寻找的泛型委托:out代表可能协变,T为标记符
public delegate T Find<out T>(); </span>

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


<span style="font-size:18px;">//声明Find<Dog>委托
Find<Dog> findDog = ()=>new Dog();
//声明Find<Animal>委托,并将findDog赋值给findAnimal是合法的,类型T从Dog向Animal转变是协变
Find<Animal> findAnimal = findDog; </span>


2. 泛型委托中的逆变

        委托声明:

<span style="font-size:18px;">//喂养的泛型委托:in代表可能逆变,T为标记符
public delegate void Feed<in T>(T target); </span>


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


<span style="font-size:18px;">//先声明一个T为Animal的委托
Feed<Animal> feedAnimalMethod = a=>Console.WriteLine(“Feed animal lambda”);

//将T为Animal的委托赋值给T为Dog的委托变量,这是合法的,因为在定义泛型委托时有in关键字,如果把in关键字去掉,编译器会认为不合法
Feed<Dog> feedDogMethod = feedAnimalMethod; </span>


总结:

        其实协变和逆变不是个新鲜的概念,而以前我们更多使用的是协变,逆变的使用较少,尤其是在泛型和委托中使用,经过这么一番研究,我们发现,这种技术在一定的基础上提高了我们代码的复用性,我们没有必要为每个类都建立一个方法,利用协变和逆变,我们可以做很多复用性的设计!

        这在生活中,其实也好理解,父亲能做的事情,都会教给儿子,所以父亲出现的地方,儿子可以出现,传说中的虎父无犬子,而儿子出现的地方,父亲要选择性出现,因为,父亲将自己会的倾囊相授,儿子却可能还会其他的不一样的东西!

        难怪老师常说,有人的代码就像是堆柴禾,而有人的代码就像是艺术品,这不仅仅是代码工整的问题,而是抽象程度,设计理念的问题了啊!

面向对象设计——协变与逆变,布布扣,bubuko.com

面向对象设计——协变与逆变

标签:style   blog   使用   数据   2014   问题   

原文地址:http://blog.csdn.net/xvshu/article/details/36641877

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!