深入理解 C# 协变和逆变【转】
msdn 解释如下:
“协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。
“逆变”则是指能够使用派生程度更小的类型。
解释的很正确,大致就是这样,不过不够直白。
直白的理解:
“协变”->”和谐的变”->”很自然的变化”->string->object :协变。
“逆变”->”逆常的变”->”不正常的变化”->object->string 逆变。
上面是个人对协变和逆变的理解,比起记住那些派生,类型,原始指定,更大,更小之类的词语,个人认为要容易点。
下面是一则笑话:
一个星期的每一天应该这样念:
星期一 = 忙day;
星期二 = 求死day;
星期三 = 未死day;
星期四 = 受死day;
星期五 = 福来day;
星期六 = 洒脱day;
星期天 = 伤day
为了演示协变和逆变,以及之间的区别,请创建控制台程序CAStudy,手动添加两个类:
因为是演示,所以都是个空类,
只是有一点记住Dog 继承自Animal,
所以Dog变成Animal 就是和谐的变化(协变),而如果Animal 变成Dog就是不正常的变化(逆变)
在Main函数中输入:
因为Dog继承自Animal,所以Animal aAnimal = aDog; aDog 会隐式的转变为Animal.
但是List<Dog> 不继承List<Animal> 所以出现下面的提示:
如果想要转换的话,应该使用下面的代码:
List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();
可以看到一个lstDogs 变成lstAnimal 是多么复杂的操作了。
正因如此,所以微软新增了两个关键字:Out,In,下面是他们的msdn解释:
协变的英文是:“covariant”,逆变的英文是:“Contravariant”
为什么Microsoft选择的是”Out” 和”In” 作为特性而不是它们呢?
我个人的理解:
因为协变和逆变的英文太复杂了,并没有体现协变和逆变的不同,但是out 和 in 却很直白。
out: 输出(作为结果),in:输入(作为参数)
所以如果有一个泛型参数标记为out,则代表它是用来输出的,只能作为结果返回,而如果有一个泛型参数标记为in,则代表它是用来输入的,也就是它只能作为参数。
目前out 和in 关键字只能在接口和委托中使用,微软使用out 和 in 标记的接口和委托大致如下:
先看下第一个IEnumerable<T>
和刚开始说的一样,T 用out 标记,所以T代表了输出,也就是只能作为结果返回。
public static void Main()
{
Dog aDog = new Dog();
Animal aAnimal = aDog;
List<Dog> lstDogs = new List<Dog>();
//List<Animal> lstAnimal = lstDogs;
List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();
IEnumerable<Dog> someDogs = new List<Dog>();
IEnumerable<Animal> someAnimals = someDogs;
}
因为T只能做结果返回,所以T不会被修改, 编译器就可以推断下面的语句强制转换合法,所以
IEnumerable<Animal> someAnimals = someDogs;
可以通过编译器的检查,反编译代码如下:
虽然通过了C#编译器的检查,但是il 并不知道协变和逆变,还是得乖乖的强制转换。
在这里我看到了这句话:
IEnumerable<Animal> enumerable2 = (IEnumerable<Animal>) enumerable1;
那么是不是可以List<Animal> lstAnimal3 = (List<Animal>)lstDogs; 呢?
想要回答这个问题需要在回头看看Clr via C# 关于泛型和接口的章节了,我就不解释了,
答案是不可以。
上面演示的是协变,接下来要演示下逆变。
为了演示逆变,那么就要找个in标记的接口或者委托了,最简单的就是:
在Main函数中添加:
Action<Animal> actionAnimal = new Action<Animal>(a => {/*让动物叫*/ });
Action<Dog> actionDog = actionAnimal;
actionDog(aDog);
很明显actionAnimal 是让动物叫,因为Dog是Animal,那么既然Animal 都能叫,Dog肯定也能叫。
In 关键字:逆变,代表输入,代表着只能被使用,不能作为返回值,所以C#编译器可以根据in关键字推断这个泛型类型只能被使用,所以Action<Dog> actionDog = actionAnimal;可以通过编译器的检查。
再次演示Out关键字:
添加两个类:
public interface IMyList<out T>
{
T GetElement();
}
public class MyList<T> : IMyList<T>
{
public T GetElement()
{
return default(T);
}
}
因为out 关键字,所以下面的代码可以通过编译
IMyList<Dog> myDogs = new MyList<Dog>();
IMyList<Animal> myAnimals = myDogs;
将上面的两个类修改为:
public interface IMyList<out T>
{
T GetElement();
void ChangeT(T t);
}
public class MyList<T> : IMyList<T>
{
public T GetElement()
{
return default(T);
}
public void ChangeT(T t)
{
//Change T
}
}
编译:
因为T被out修饰,所以T只能作为参数。
同样修改两个类如下:
public interface IMyList<in T>
{
T GetElement();
void ChangeT(T t);
}
public class MyList<T> : IMyList<T>
{
public T GetElement()
{
return default(T);
}
public void ChangeT(T t)
{
//Change T
}
}
这一次使用in关键字。
编译:
因为用in关键字标记,所以T只能被使用,不能作为返回值。
最后修改代码为:
public interface IMyList<in T>
{
void ChangeT(T t);
}
public class MyList<T> : IMyList<T>
{
public void ChangeT(T t)
{
//Change T
}
}
编译成功,因为in代表了逆变,所以
IMyList<Animal> myAnimals = new MyList<Animal>();
IMyList<Dog> myDogs = myAnimals;
可以编译成功!。
转载于:https://www.cnblogs.com/Uinkanade/articles/3958852.html
深入理解 C# 协变和逆变【转】相关推荐
- 深入理解 C# 协变和逆变
msdn 解释如下: "协变"是指能够使用与原始指定的派生类型相比,派生程度更大的类型. "逆变"则是指能够使用派生程度更小的类型. 解释的很正确,大致就是这样 ...
- java协变 生产者理解_Java进阶知识点:协变与逆变
一.背景 要搞懂Java中的协办与逆变,不得不从继承说起,如果没有继承,协变与逆变也天然不存在了. 我们知道,在Java的世界中,存在继承机制.比如MochaCoffee类是Coffee类的派生类,那 ...
- 对协变和逆变的简单理解
毕业快一年了,边工作边学习,虽说对.net不算精通,但也算入门了,但一直以来对协变和逆变这个概念不是太了解,上学时候mark了一些文章,今天回过头看感觉更糊涂了,真验证本人一句口头禅"知道的 ...
- Scala教程之:深入理解协变和逆变
文章目录 函数的参数和返回值 可变类型的变异 在之前的文章中我们简单的介绍过scala中的协变和逆变,我们使用+ 来表示协变类型:使用-表示逆变类型:非转化类型不需要添加标记. 假如我们定义一个cla ...
- 协变与逆变的简单理解(C#)
一.基本概念 协变和逆变是在计算机科学中,描述具有父/子型别关系的多个型别,通过型别构造器.构造出的多个复杂型别之间是否有父/子型别有序或逆序的关系: 官方描述:协变和逆变都是术语,前者指能够使用比原 ...
- C# 4.0中的协变和逆变(一)
在刚刚落下帷幕的PDC上,我们得到了很多振奋的消息,包括C# 4.0及VS2010等等.Anders Liu 已经 将C# 4.0 新特性白皮书翻译了 出来,那里面有非常详细的介绍. C#的发展是很快 ...
- 不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事
阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约 阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类 ...
- Scala入门到精通——第二十一节 类型参数(三)-协变与逆变
本节主要内容 协变 逆变 类型通匹符 1. 协变 协变定义形式如:trait List[+T] {} .当类型S是类型A的子类型时,则List[S]也可以认为是List[A}的子类型,即List[S] ...
- c#: 协变和逆变深度解析
环境: window 10 .netcore 3.1 vs2019 16.5.1 一.为什么要有协变? 首先看下面的代码: 还有下面的: 其实上面报错的是同一个问题,就是你无法用List<Fru ...
最新文章
- codeforces #310 div1 C
- 两次杀人,自动驾驶技术之恶
- iOS 之 事件响应者链
- mac mysql 链接_Mysql mac安装以及navicat链接
- iOS pod init 报错
- Scala赋值运算符分类
- hadoop学习4 调测错误备案
- 涡轮流量计说明书_实际应用中超声波流量计与电磁流量计哪个更好用
- 全面认识 RUST -- 掌控未来的雷电
- vscode远程无法更新
- Meta标签中的viewport属性及含义
- 比继承更有弹性的装饰者模式
- 细胞自动机 java_中国MOOC_面向对象程序设计——Java语言_期末考试编程题_1细胞自动机...
- Python PTA实验课 输出星期名缩写+字典的创建
- 企业财务报表分析【2】
- 我的 Hadoop 3.2.2 之旅 【收藏夹吃灰系列】
- java 线程概念_java并发编程之 java线程基本概念
- jquery下载及怎么选择版本
- 【开发经验】springboot配置文件加密详解
- 芝诺数据高校产学研用成果展示|携程酒店(北京)数据分析报告
热门文章
- 进程和线程的关系与区别
- 求关系模式r的所有候选码_关系数据理论基础概念
- https nginx phpstudy_让phpStudy2018 Nginx 支持WordPress自定义链接
- python xml解析dom_如何解析python中表示xml.dom.minidom节点的字符串?
- apache http server 停止工作_配置nginx,Apache支持pathinfo模式-什么是phpinfo模式
- 001_Maven入门
- xgboost 正则项_深入理解Boosting算法(4)-XGBoost
- linux 跑cpu负载工具,CPU负载查看工具
- php动态网页转换成html,怎么把动态的php文件转换成静态的html文件,html文件是php文件…...
- php5.6 开二级域名,PHP二级域名session共享方案