C# 深入理解协变和逆变

2024-01-14 20:58

本文主要是介绍C# 深入理解协变和逆变,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

msdn 解释如下:

协变是指能够使用与原始指定的派生类型相比,派生程度更大的类型。

逆变则是指能够使用派生程度更小的类型。

 

解释的很正确,大致就是这样,不过不够直白。

直白的理解:

“协变”->”和谐的变”->”很自然的变化”->string->object :协变。

“逆变”->”逆常的变”->”不正常的变化”->object->string 逆变。

 

上面是个人对协变和逆变的理解,比起记住那些派生,类型,原始指定,更大,更小之类的词语,个人认为要容易点。

 

下面是一则笑话:

一个星期的每一天应该这样念:

星期一 = 忙day; 
星期二 = 求死day; 
星期三 = 未死day; 
星期四 = 受死day; 
星期五 = 福来day; 
星期六 = 洒脱day; 
星期天 = 伤day

 

为了演示协变和逆变,以及之间的区别,请创建控制台程序CAStudy,手动添加两个类:

image

因为是演示,所以都是个空类,

只是有一点记住Dog 继承自Animal,

所以Dog变成Animal 就是和谐的变化(协变),而如果Animal 变成Dog就是不正常的变化(逆变)

 

在Main函数中输入:

image

 

因为Dog继承自Animal,所以Animal aAnimal = aDog; aDog 会隐式的转变为Animal.

但是List<Dog> 不继承List<Animal> 所以出现下面的提示:

image

 

如果想要转换的话,应该使用下面的代码:

List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();

 

可以看到一个lstDogs 变成lstAnimal 是多么复杂的操作了。

正因如此,所以微软新增了两个关键字:Out,In,下面是他们的msdn解释:

image

image

 

协变的英文是:“covariant”,逆变的英文是:“Contravariant”

为什么Microsoft选择的是”Out” 和”In” 作为特性而不是它们呢?

 

我个人的理解:

因为协变和逆变的英文太复杂了,并没有体现协变和逆变的不同,但是out 和 in 却很直白。

out: 输出(作为结果),in:输入(作为参数)

所以如果有一个泛型参数标记为out,则代表它是用来输出的,只能作为结果返回,而如果有一个泛型参数标记为in,则代表它是用来输入的,也就是它只能作为参数。

 

目前out 和in 关键字只能在接口和委托中使用,微软使用out 和 in 标记的接口和委托大致如下:

image

image

先看下第一个IEnumerable<T>

image 

 

和刚开始说的一样,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;

可以通过编译器的检查,反编译代码如下:

image

 

虽然通过了C#编译器的检查,但是il 并不知道协变和逆变,还是得乖乖的强制转换。

在这里我看到了这句话:

IEnumerable<Animal> enumerable2 = (IEnumerable<Animal>) enumerable1;

那么是不是可以List<Animal> lstAnimal3 = (List<Animal>)lstDogs; 呢?

想要回答这个问题需要在回头看看Clr via C# 关于泛型和接口的章节了,我就不解释了,

答案是不可以。

 

上面演示的是协变,接下来要演示下逆变。

为了演示逆变,那么就要找个in标记的接口或者委托了,最简单的就是:

clip_image002  

 

在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

    }

}

 

编译:

image 

因为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关键字。

编译:

image 

 

因为用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;

 

可以编译成功!。


参考链接:

http://www.cnblogs.com/artech/archive/2011/01/13/variance.html

http://dotnet.9sssd.com/csbase/art/1491

https://msdn.microsoft.com/zh-cn/library/ee207183.aspx


这篇关于C# 深入理解协变和逆变的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/606487

相关文章

C# foreach 循环中获取索引的实现方式

《C#foreach循环中获取索引的实现方式》:本文主要介绍C#foreach循环中获取索引的实现方式,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录一、手动维护索引变量二、LINQ Select + 元组解构三、扩展方法封装索引四、使用 for 循环替代

C# Where 泛型约束的实现

《C#Where泛型约束的实现》本文主要介绍了C#Where泛型约束的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录使用的对象约束分类where T : structwhere T : classwhere T : ne

C#实现将Excel表格转换为图片(JPG/ PNG)

《C#实现将Excel表格转换为图片(JPG/PNG)》Excel表格可能会因为不同设备或字体缺失等问题,导致格式错乱或数据显示异常,转换为图片后,能确保数据的排版等保持一致,下面我们看看如何使用C... 目录通过C# 转换Excel工作表到图片通过C# 转换指定单元格区域到图片知识扩展C# 将 Excel

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

C#TextBox设置提示文本方式(SetHintText)

《C#TextBox设置提示文本方式(SetHintText)》:本文主要介绍C#TextBox设置提示文本方式(SetHintText),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑... 目录C#TextBox设置提示文本效果展示核心代码总结C#TextBox设置提示文本效果展示核心代

深入理解Apache Kafka(分布式流处理平台)

《深入理解ApacheKafka(分布式流处理平台)》ApacheKafka作为现代分布式系统中的核心中间件,为构建高吞吐量、低延迟的数据管道提供了强大支持,本文将深入探讨Kafka的核心概念、架构... 目录引言一、Apache Kafka概述1.1 什么是Kafka?1.2 Kafka的核心概念二、Ka

C#中DrawCurve的用法小结

《C#中DrawCurve的用法小结》本文主要介绍了C#中DrawCurve的用法小结,通常用于绘制一条平滑的曲线通过一系列给定的点,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 如何使用 DrawCurve 方法(不带弯曲程度)2. 如何使用 DrawCurve 方法(带弯曲程度)3.使用Dr

使用C#代码在PDF文档中添加、删除和替换图片

《使用C#代码在PDF文档中添加、删除和替换图片》在当今数字化文档处理场景中,动态操作PDF文档中的图像已成为企业级应用开发的核心需求之一,本文将介绍如何在.NET平台使用C#代码在PDF文档中添加、... 目录引言用C#添加图片到PDF文档用C#删除PDF文档中的图片用C#替换PDF文档中的图片引言在当

详解C#如何提取PDF文档中的图片

《详解C#如何提取PDF文档中的图片》提取图片可以将这些图像资源进行单独保存,方便后续在不同的项目中使用,下面我们就来看看如何使用C#通过代码从PDF文档中提取图片吧... 当 PDF 文件中包含有价值的图片,如艺术画作、设计素材、报告图表等,提取图片可以将这些图像资源进行单独保存,方便后续在不同的项目中使

C#使用SQLite进行大数据量高效处理的代码示例

《C#使用SQLite进行大数据量高效处理的代码示例》在软件开发中,高效处理大数据量是一个常见且具有挑战性的任务,SQLite因其零配置、嵌入式、跨平台的特性,成为许多开发者的首选数据库,本文将深入探... 目录前言准备工作数据实体核心技术批量插入:从乌龟到猎豹的蜕变分页查询:加载百万数据异步处理:拒绝界面