脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C#教程 → c# 协变和逆变

详解c# 协变和逆变

 更新时间：2020年11月27日 16:14:35   作者：gt1987  
这篇文章主要介绍了c# 协变和逆变的相关资料，帮助大家更好的理解和学习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#如何使用重载方法实现不同类型数据的计算

    详解C#如何使用重载方法实现不同类型数据的计算

    这篇文章主要为大家详细介绍了C#如何使用重载方法实现不同类型数据的计算,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下
    2024-02-02
  • 比较2个datatable内容是否相同的方法

    比较2个datatable内容是否相同的方法

    这篇文章主要介绍了比较2个datatable内容是否相同的方法,大家参考使用吧
    2014-01-01
  • C#-WinForm跨线程修改UI界面的示例

    C#-WinForm跨线程修改UI界面的示例

    这篇文章主要介绍了C#-WinForm跨线程修改UI界面的示例，帮助大家更好的理解和使用c#，感兴趣的朋友可以了解下
    2021-01-01
  • C# 二进制序列化和反序列化的具体实现

    C# 二进制序列化和反序列化的具体实现

    本文主要介绍了C# 二进制序列化和反序列化的具体实现，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
    2023-06-06
  • C#创建、读取和修改Excel的方法

    C#创建、读取和修改Excel的方法

    这篇文章主要介绍了C#创建、读取和修改Excel的方法,涉及C#使用Jet OLE DB操作Excel的技巧,非常具有实用价值,需要的朋友可以参考下
    2015-04-04
  • C#实现Winform版计算器

    C#实现Winform版计算器

    这篇文章主要为大家详细介绍了C#实现Winform版计算器，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2016-05-05
  • C#温故而知新系列教程之闭包

    C#温故而知新系列教程之闭包

    闭包是将一些执行语句的封装，可以将封装的结果像对象一样传递，在传递时,这个封装依然能够访问到原上下文。下面这篇文章主要给大家介绍了关于C#中闭包的相关资料，文中通过示例代码介绍的非常详细，需要的朋友可以参考下
    2018-05-05
  • WPF实现上下滚动字幕效果

    WPF实现上下滚动字幕效果

    这篇文章主要为大家详细介绍了WPF实现上下滚动字幕效果，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2017-10-10
  • Unity实现虚拟摇杆效果

    Unity实现虚拟摇杆效果

    这篇文章主要为大家详细介绍了Unity实现虚拟摇杆效果，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2020-04-04
  • C#使用for循环移除HTML标记

    C#使用for循环移除HTML标记

    大家在项目开发阶段移除文字中的html标记最常用的方法就是使用正则表达式，但是正则表达式不能处理所有的html文档，所以采用迭代方式会更好，下面小编给大家解答下
    2016-08-08

最新评论