逆变(contravariant)与协变(covariant):只能用在接口和委托上面

【逆变(contravariant)与协变(covariant):只能用在接口和委托上面】的更多相关文章

逆变(contravariant)与协变(covariant):只能用在接口和委托上面

using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; namespace MyGeneric.CC { /// <summary> /// 逆变(contravariant)与协变(covariant):只能用在接口和委托上面 /// out “协变”->”和谐的变”->”很自然的变化”->strin…

协变(covariant)和逆变(contravariant)

我们知道子类转换到父类,在C#中是能够隐式转换的.这种子类到父类的转换就是协变. 而另外一种类似于父类转向子类的变换,可以简单的理解为“逆变”. 上面对逆变的简单理解有些牵强,因为协变和逆变只能针对接口和代理类型.而父类和子类之间不存在这种逆变的概念. 协变和逆变的本质都是子类安全的转到父类的过程. 下面就来加深下印象,先定义两个类Car和Baoma public class Car { } public class Baoma : Car { } 明显Baoma(宝马)是Car的子类 1,先来…

不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事

阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类ObjectHelper,带一个功能: 函数1:将一个对象转换成另一种类型的对象. 这个似乎是小菜一碟. 虽然不知道如何转换对象,那就定义一个函数参数,让外部把转换逻辑传进来.我真聪明啊! 这样,阿袁实现了第一个函数convert. class ObjectHelper[TInput, TOutpu…

C#4.0新特性（3）：变性 Variance（逆变与协变）

一句话总结:协变让一个粗粒度接口(或委托)可以接收一个更加具体的接口(或委托)作为参数(或返回值):逆变让一个接口(或委托)的参数类型(或返回值)类型更加具体化,也就是参数类型更强,更明确. 通常,协变类型参数可用作委托的返回类型,而逆变类型参数可用作参数类型.对于接口,协变类型参数可用作接口的方法的返回类型,而逆变类型参数可用作接口的方法的参数类型. 协变我们先来看下面一个来自MSDN的例子:01 // 协变 02 IEnumerable<string> strings = new Lis…

Java逆变(Covariant)和协变(Contravariant)

1. 定义逆变和协变描述的经过类型变换后的类型之间的关系.假如A和B表示类型,f表示类型变换,A ≤B表示A是B的子类型,那么如果A ≤B,f(A) ≤f(B),那么f是协变如果A ≤B,f(B) ≤f(A),那么f是逆变如果两者都不是,那么f不变这里的子类型并非是面向对象中继承关系中的子类型,它更多的是描述两个类型之间的兼容性. 2. 实例:泛型考虑一个例子,假如f(A) = List<A>,且List声明如下: class List<T> { ... } 那么f是逆…

【温故而知新-万花筒】C# 异步编程逆变协变委托事件事件参数迭代线程、多线程、线程池、后台线程

额基本脱离了2.0 3.5的时代了.在.net 4.0+ 时代.一切都是辣么简单! 参考文档: http://www.cnblogs.com/linzheng/archive/2012/04/11/2442061.html http://www.cnblogs.com/pugang/archive/2011/11/09/2242380.html http://www.cnblogs.com/LoveJenny/archive/2012/03/13/2392747.html http://www.…