本篇文章给大家分享的是有关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 dogs = new List();
//error 编译错误
//List animals_2 = dogs;
IEnumerable dogs_2 = dogs;
IEnumerable animals = dogs_2;
感觉到一点问题没？Dog子类可以用Animal父类展示，使用List泛型就不可以了，但是IEnumerable泛型又可以。List<>和IEnumerable<>有什么不同？我们看下二者的定义即可发现端倪。
//IList定义
public interface IList<[NullableAttribute(2)] T> : ICollection, IEnumerable, 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 action_dog = d => d.Run();
Action action_animal = a => a.Eat();
//error 编译错误。in
//Action action_animal_2 = action_dog;
//Action泛型多态化
Action action_dog_2 = action_animal;
Func func_dog = a => { return new Dog(); };
Func func_animal = a => { return new Animal(); };
//Func泛型多态化
Func func_animal_2 = func_dog;
//error 编译错误。out
//Func func_dog_2 = func_animal;
注意注释编译错误的语句，符合上面我们转换的规则。对于入参，扩展类可以替代基类参数输入，用in修饰；对于出参，扩展类可以替代基类返回输出，用out修饰。相反则都不可以。
最后简单总结下：
什么是协变/逆变？不要去想官方定义！！！！只要记住out是协变,in是逆变即可。
为什么需要使用协变-out、逆变-in。在泛型或委托中，如果不使用协变/逆变，那么泛型类型一个精确的、固定的某一类型。而使用协变/逆变的话，则泛型类型可以实现多态化。但必须区分入参使用in,出参使用out。
以上就是c#中协变与逆变的定义是什么，小编相信有部分知识点可能是我们日常工作会见到或用到的。希望你能通过这篇文章学到更多知识。更多详情敬请关注创新互联行业资讯频道。
分享文章：c#中协变与逆变的定义是什么-创新互联
文章地址：
http://cdkjz.cn/article/djised.html
