看过几篇说协变与逆变的博客,虽然都是正确无误的,但是感觉都没有说得清晰明了,没有切中要害。
那么我也试着从我的理解角度来谈一谈协变与逆变吧。

什么是协变与逆变

MSDN的解释:
https://msdn.microsoft.com/zh-cn/library/dd799517.aspx

协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型。
泛型类型参数支持协变和逆变,可在分配和使用泛型类型方面提供更大的灵活性。

一开始我总是分不清协变和逆变,因为MSDN的解释实在是严谨有余而易读不足。
其实从中文的字面上来理解这两个概念就挺容易的了:

"协变"即"协调的转变","逆变"即"逆向的转变"。

为什么说"能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型"是协调的,而"能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型"是逆向的呢,看这两行代码:

object o = "";
string s = (string) o;

string类型到object类型,也就是派生类到基类,是可以隐式转换的,因为任何类型向基类的转换都是类型安全的,所以认为这一转变是协调的。
object类型到string类型,也就是基类到派生类,就只能是显式转换,因为对象o的实际类型不一定是string,强制转换不是类型安全的,所以认为这一转变是逆向的。

再看协变与逆变的常见场合:

IEnumerable<object> o = new List<string>();//协变
Action<string> s = new Action<object>((arg)=>{...});//逆变

上例的泛型参数就是分别发生了协调的与逆向的转变。

协变与逆变的作用对象

从定义中可以看到,协变与逆变都是针对的泛型参数,而且

在.NET Framework 4中,Variant类型参数仅限于泛型接口和泛型委托类型。

为什么是接口和委托?先看IEnumerable<T>和Action<T>的声明:

public interface IEnumerable<out T> : IEnumerable
{
IEnumerator<T> GetEnumerator();
} public delegate void Action<in T>(T obj);

IEnumerable中的out关键字给泛型参数提供了协变的能力,Action中的in关键字给泛型参数提供了逆变的能力。
这里的out和in是相对于谁的入和出?不是相对于接口和委托,而是相对于方法体!
看它们的实现:

class MyEnumerable<T> : IEnumerable<T>
{
public IEnumerator<T> GetEnumerator()
{
yield return default(T);
} IEnumerator IEnumerable.GetEnumerator() { return GetEnumerator(); }
} Action<string> myAction = new Action<object>(
(o) =>
{
Console.WriteLine(o.ToString());
});

这样是不是能看出来泛型参数是怎么入和出的了?
那么接口和委托,它们和方法是什么关系呢,它们两个之间又是什么关系,以下纯属个人理解:

接口类型定义了一组方法签名,委托类型定义了一个方法结构(方法签名刨除方法名)。
接口实例和委托实例都包含了一组方法入口。

综上所述,协变与逆变的作用对象是方法体中的泛型参数。

为什么允许协变与逆变

协变和逆变都是类型发生了转换,一旦涉及到类型转换当然就要想类型安全的问题。
协变和逆变之所以可以正常的运转,就是因为这里所涉及到的所有类型转换都是类型安全的!
回头看最开始的四行代码:

 object o1 = "";//类型安全
string s1 = (string) o1;//非类型安全
IEnumerable<object> o2 = new List<string>();//协变
Action<string> s2 = new Action<object>((arg)=>{...});//逆变

显然第二行的object到string是非类型安全的,那为什么第四行的object到string就是类型安全的呢?
结合上一个方法体的示例,来看这段代码:

 Action<List<int>> myAction = new Action<IList<int>>(
(list) =>
{
Console.WriteLine(list.Count);
});
myAction(new List<int> {, , });

第一行貌似是把IList转换成了List,但是实际上是这样的:
第六行传入的实参是一个List,进入方法体,List被转换成了IList,然后使用了IList的Count属性。
所以传参的时候其实发生的是派生类到基类的转换,自然也就是类型安全的了。

List<string>到IEnumerable<object>的协变其实也是类似的过程:

 IEnumerable<Delegate> myEnumerable = new List<Action>
{
new Action(()=>Console.WriteLine()),
new Action(()=>Console.WriteLine()),
new Action(()=>Console.WriteLine()),
};
foreach (Delegate dlgt in myEnumerable)
{
dlgt.DynamicInvoke();
}

实参是三个Action,调用的是Delegate的DynamicInvoke方法,完全的类型安全转换。

最后想说的是,所有死记硬背来的知识,都远远不如充分理解的知识来得可靠。

[C#]浅谈协变与逆变的更多相关文章

  1. 在net中json序列化与反序列化 面向对象六大原则 (第一篇) 一步一步带你了解linq to Object 10分钟浅谈泛型协变与逆变

    在net中json序列化与反序列化   准备好饮料,我们一起来玩玩JSON,什么是Json:一种数据表示形式,JSON:JavaScript Object Notation对象表示法 Json语法规则 ...

  2. 再谈对协变和逆变的理解(Updated)

    去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和 ...

  3. Friday Q&A 2015-11-20:协变与逆变

    作者:Mike Ash,原文链接,原文日期:2015-11-20译者:Cee:校对:千叶知风:定稿:numbbbbb 在现代的编程语言中,子类型(Subtypes)和超类型(Supertypes)已经 ...

  4. Java中的协变与逆变

    Java作为面向对象的典型语言,相比于C++而言,对类的继承和派生有着更简洁的设计(比如单根继承). 在继承派生的过程中,是符合Liskov替换原则(LSP)的.LSP总结起来,就一句话: 所有引用基 ...

  5. C#4.0泛型的协变,逆变深入剖析

    C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...

  6. C#协变和逆变

    我们知道在C#中,是可以将派生类的实例赋值给基类对象的.

  7. C# 泛型的协变和逆变

    1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量.协变和逆变是两个相互对立的概念: 如 ...

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

    阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约 阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类 ...

  9. 【转】c# 协变和逆变

    本文转自:http://www.cnblogs.com/rr163/p/4047404.html C#的协变和逆变 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关 ...

随机推荐

  1. java中集合

    一. List集合:  一次只存储一个元素 1.常用的list集合是ArrayList (1)在创建这个集合的对象时, 需要指定这个集合存储的数据类型! 否则这个集合的数据是不安全的. (2)与数组的 ...

  2. docker的介绍以及常用命令

    一.docker的介绍 1. Docker是什么? Docker 是一个开源的应用容器引擎,让开发者可以打包他们的应用以及依赖包到一个可移植的容器中,然后发布到任何流行的Linux机器上,也可以实现虚 ...

  3. 任意模数NTT和FFT的玄学优化学习笔记

    本来一直都是写\(7\)次的\(MTT\)的--然后被\(shadowice\)巨巨调教了一通之后只好去学一下\(4\)次的了-- 简单来说就是我们现在需要处理一类模数不为\(NTT\)模数的情况 这 ...

  4. 5. STL编程五

    1. STL的六大组件: 容器(Container) 算法(Algorithm) 迭带器(Iterator) 仿函数(Function object) 适配器(Adaptor) 空间配置器(alloc ...

  5. python中的字符串和编码

    了解编码之前首先说下这几个词的概率: 位.字节.字符.字符串 1.位(bit)也称为比特 这个其实很简单,因为计算机都是二进制存储数据,也就是0和1,一个0或者1就表示一位.这是计算机存储的最小单位. ...

  6. 【3】JMicro微服务-服务超时,重试,重试间隔

    如非授权,禁止用于商业用途,转载请注明出处作者:mynewworldyyl 接下来的内容都基于[2]JMicro微服务-Hello World做Demo 微服务中,超时和重试是一个最基本问题下面Dem ...

  7. 关于nginx的一个错误操作记录

    今天在弄前后端同步的测试的时候,前端用Nginx代理访问后端接口,由于启动了多次nginx软件,没有将前几次启动的nginx进程关闭,导致在访问后端接口的request被挂起,过了半天也没有结果返回, ...

  8. mariadb配置主从同步遇到的问题

    一:ERROR: No query specified 解决方案: \G后面不能再加分号;,因为\G在功能上等同于;,如果加了分号,那么就是;;(2个分号),SQL语法错误 二:主从同步不成功 Sla ...

  9. 「Neerc2016」Expect to Wait

    题目描述 ls最近开了一家图书馆,大家听说是ls开的,纷纷过来借书,自然就会出现供不应求的情况, 并且借书的过程类 似一个队列,每次有人来借书就将它加至队尾,每次有人来还书就把书借给队头的若干个人,定 ...

  10. windows mobile ,wince 系统,用代码启动cab文件安装

    有时候需要用代码来启动安装cab,以下是代码.不能实现静默安装. 启动后会提示用户是否安装,需要用户点击是才行. using System; using System.Collections.Gene ...