详解c# 协变和逆变
基本概念
协变:能够使用比原始指定的派生类型的派生程度更大(更具体)的类型。例如 IFoo<父类> = IFoo<子类>
逆变:能够使用比原始指定的派生类型的派生程度更新(更抽象)的类型。例如 IBar<子类> = IBar<父类>
关键字out和in
协变和逆变在泛型参数中的表现方式,out关键字表示协变,in关键字表示逆变。二者只能在泛型接口或者委托中使用。
理解协变和逆变
看完上面的定义是不是一脸懵逼~~~。看不懂就对了,且定义语句的歧义性很大。让我们大脑赶紧清空下!!首先记住一点明确的概念,类的多态展示一定是通过基类来表示,派生的具体类都是可转化为基类,而不能走相反的流程。
下面我们用代码直观的表现下协变和逆变。
public class Animal { public void Eat() { } } public class Dog : Animal { public void Run() { } }
这是一段很简单的子类和父类的关系,我们进行一下简单的转化,应该很好理解,Dog子类可以用Animal父类展示,反过来则不可以,会编译错误。
Dog dog = new Dog(); Animal animal = dog; //error 编译错误 //Dog dog2 = animal;
那么我们做一点变化。
List<Dog> dogs = new List<Dog>(); //error 编译错误 //List<Animal> animals_2 = dogs; IEnumerable<Dog> dogs_2 = dogs; IEnumerable<Animal> animals = dogs_2;
感觉到一点问题没?Dog子类可以用Animal父类展示,使用List泛型就不可以了,但是IEnumerable泛型又可以。List<>和IEnumerable<>有什么不同?我们看下二者的定义即可发现端倪。
//IList定义 public interface IList<[NullableAttribute(2)] T> : ICollection<T>, IEnumerable<T>, IEnumerable {} //和IEnumerable定义 public interface IEnumerable<[NullableAttribute(2)] out T> : IEnumerable {}
区别就在于 IEnumerable的泛型参数用了out协变标注,所以可以做正确的转换。 这里也可以理解出什么时候需要使用in、out关键字:当你设计带有泛型的基类且泛型类型可能存在扩展时,则需要考虑使用in或者out关键字修饰。
我们再看看官方的Action<>和Func<>类对协变和逆变的使用,先看定义:
public delegate void Action<[NullableAttribute(2)] in T>(T obj); public delegate TResult Func<[NullableAttribute(2)] in T, [NullableAttribute(2)] out TResult>(T arg);
Action的泛型类型是入参,用in表示逆变,Func的第二个泛型类型TResult是出参,用out表示协变。
那么这样看起来对in、out关键字的认识就很简单明了了。看看转换示例:
Action<Dog> action_dog = d => d.Run(); Action<Animal> action_animal = a => a.Eat(); //error 编译错误。in //Action<Animal> action_animal_2 = action_dog; //Action泛型多态化 Action<Dog> action_dog_2 = action_animal; Func<int, Dog> func_dog = a => { return new Dog(); }; Func<int, Animal> func_animal = a => { return new Animal(); }; //Func泛型多态化 Func<int, Animal> func_animal_2 = func_dog; //error 编译错误。out //Func<int, Dog> func_dog_2 = func_animal;
注意注释编译错误的语句,符合上面我们转换的规则。对于入参,扩展类可以替代基类参数输入,用in修饰;对于出参,扩展类可以替代基类返回输出,用out修饰。相反则都不可以。
最后简单总结下:
- 什么是协变/逆变?不要去想官方定义!!!!只要记住out是协变,in是逆变即可。
- 为什么需要使用协变-out、逆变-in。在泛型或委托中,如果不使用协变/逆变,那么泛型类型一个精确的、固定的某一类型。而使用协变/逆变的话,则泛型类型可以实现多态化。但必须区分入参使用in,出参使用out。
以上就是详解c# 协变和逆变的详细内容,更多关于c# 协变和逆变的资料请关注猪先飞其它相关文章!
相关文章
- 我们在使用C#做项目的时候,基本上都需要制作登录界面,那么今天我们就来一步步看看,如果简单的实现登录界面呢,本文给出2个例子,由简入难,希望大家能够喜欢。...2020-06-25
- 这篇文章主要介绍了C# 字段和属性的的相关资料,文中示例代码非常详细,供大家参考和学习,感兴趣的朋友可以了解下...2020-11-03
- 这篇文章主要介绍了C#中截取字符串的的基本方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-11-03
- 本文给大家分享C#连接SQL数据库和查询数据功能的操作技巧,本文通过图文并茂的形式给大家介绍的非常详细,需要的朋友参考下吧...2021-05-17
- 这篇文章主要介绍了C#实现简单的Http请求的方法,以实例形式较为详细的分析了C#实现Http请求的具体方法,需要的朋友可以参考下...2020-06-25
- 本文主要介绍了C#中new的几种用法,具有很好的参考价值,下面跟着小编一起来看下吧...2020-06-25
使用Visual Studio2019创建C#项目(窗体应用程序、控制台应用程序、Web应用程序)
这篇文章主要介绍了使用Visual Studio2019创建C#项目(窗体应用程序、控制台应用程序、Web应用程序),小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧...2020-06-25- 这篇文章主要介绍了C#开发Windows窗体应用程序的简单操作步骤,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧...2021-04-12
- 这篇文章主要介绍了C#从数据库读取图片并保存的方法,帮助大家更好的理解和使用c#,感兴趣的朋友可以了解下...2021-01-16
- 最近做一个小项目不可避免的需要前端脚本与后台进行交互。由于是在asp.net中实现,故问题演化成asp.net中jiavascript与后台c#如何进行交互。...2020-06-25
- 这篇文章主要用实例讲解C#递归算法的概念以及用法,文中代码非常详细,帮助大家更好的参考和学习,感兴趣的朋友可以了解下...2020-06-25
- 本文通过例子,讲述了C++调用C#的DLL程序的方法,作出了以下总结,下面就让我们一起来学习吧。...2020-06-25
- 轻松学习C#的基础入门,了解C#最基本的知识点,C#是一种简洁的,类型安全的一种完全面向对象的开发语言,是Microsoft专门基于.NET Framework平台开发的而量身定做的高级程序设计语言,需要的朋友可以参考下...2020-06-25
- 本文主要介绍了C#变量命名规则小结,文中介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2021-09-09
- 这篇文章主要介绍了c#中(&&,||)与(&,|)的区别详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-06-25
- 本文主要介绍了C# 中取绝对值的函数。具有很好的参考价值。下面跟着小编一起来看下吧...2020-06-25
- 这篇文章主要介绍了C#绘制曲线图的方法,以完整实例形式较为详细的分析了C#进行曲线绘制的具体步骤与相关技巧,具有一定参考借鉴价值,需要的朋友可以参考下...2020-06-25
- 这篇文章主要介绍了c#自带缓存使用方法,包括获取数据缓存、设置数据缓存、移除指定数据缓存等方法,需要的朋友可以参考下...2020-06-25
- 下面小编就为大家带来一篇C#学习笔记- 随机函数Random()的用法详解。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧...2020-06-25
- 这篇文章主要介绍了C#中list用法,结合实例形式分析了C#中list排序、运算、转换等常见操作技巧,具有一定参考借鉴价值,需要的朋友可以参考下...2020-06-25