C#中的协变与逆变小结

更新时间：2021年10月27日 12:19:38 作者：Hello Bug.

这篇文章主要介绍了C#中的协变与逆变的相关知识,在泛型或委托中，如果不使用协变或逆变，那么泛型类型是一个固定类型，而使用协变或逆变的话，则泛型类型可以实现多态化，需要的朋友可以参考下

一：什么是协变与逆变

协变指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型，逆变指能够使用比原始指定的派生类型的派生程度更小（不太具体的）的类型

只有泛型接口和泛型委托参数支持协变和逆变

二：引言

using System;
using System.Collections.Generic;
 
class MainClass
{
    static void Main()
    {
        object o = "str";
        List<object> oList = new List<string>();
        IEnumerable<object> strs = new List<string>();
    }
}

上面这段代码中，第一句没问题，属于类型安全转换，第二句会报错，因为这两个list并没有继承关系，而第三句是正确的，其实在背后，就是协变和逆变在起作用

三：协变

协变在泛型方法的参数里以out表示，使用out可以在声明父类泛型参数的时候使用子类泛型参数构造，out参数可以单纯的理解为输出，作为返回值例如IEnumerable<T>接口

using System;
using System.Collections.Generic;
 
class MainClass
{
    static void Main()
    {
        IEnumerable<object> list = new List<string>();
    }
}

分析一下上面的代码为什么是合法的呢？首先虽然是用IEnumerable<object>声明的，但是是用List<string>构造的，列表中的元素是string类型。其次IEnumerable的作用只有遍历元素，不允许添加操作，所以是合法的，本质上就是里氏替换原则

四：逆变

逆变在泛型方法的参数里以in表示，使用in可以在声明子类泛型参数的时候使用父类泛型参数构造，int参数只能作为传入值不能作为返回值例如Action<T>委托

using System;
 
class MainClass
{
    static void Main()
    {
        Action<string> action = new Action<object>((o)=> { });
        action("");
    }
}

分析一下上面的代码为什么是合法的呢？看似是object转换成了string，但实际上使用委托的时候传入的是一个string类型的参数，然后将string转换成了object，本质上还是派生类到基类的转换，所以是类型安全的，本质上就是里氏替换原则

五：为什么协变和逆变是针对泛型接口或泛型委托参数的？

而不能针对泛型类？

由上可知，协变和逆变都是定义方法成员的(接口不能定义字段只能定义成员)，而方法成员在创建对象时是不涉及到对象内存分配的，所以是类型安全的，而泛型类是模板类，类中可以包含字段，所以是不安全的

using System;
using System.Collections.Generic;
 
class MainClass
{
    static void Main()
    {
        object o1 = "";//类型安全
        string s1 = (string)o1;//非类型安全
        IEnumerable<object> o2 = new List<string>();//协变
        Action<string> s2 = new Action<object>((o) => { });//逆变
    }
}

六：自定义协变

using System;
using System.Collections.Generic;
 
class MainClass
{
    static void Main()
    {
        ICustomCovariant<object> o = new CustomCovariant<string>();
    }
}
 
public interface ICustomCovariant<out T>
{
    T Get();
}
public class CustomCovariant< T> : ICustomCovariant<T>
{
    public T Get()
    {
        return default(T);
    }
}

七：自定义逆变

using System;
using System.Collections.Generic;
 
class MainClass
{
    static void Main()
    {
        IContravariant<string> o = new CustomContravariant<object>();
    }
}
 
public interface IContravariant<in T>
{
    void Get(T t);
}
public class CustomContravariant<T> : IContravariant<T>
{
    public void Get(T t)
    {
 
    }
}

八：总结

——在泛型中，如果确定泛型参数是只读或者只写的，那么就可以使用协变或者逆变。如果泛型参数无法确定只读或只写，这种类型参数既不能协变也不能逆变，只能精确类型匹配 ——在泛型或委托中，如果不使用协变或逆变，那么泛型类型是一个固定类型，而使用协变或逆变的话，则泛型类型可以实现多态化

到此这篇关于C#中的协变与逆变的文章就介绍到这了,更多相关C#协变与逆变内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

C# 常见操作符整理
操作符接受一个或多个参数，并生成一个新值。操作符其实可以看做一个有返回值方法，但是参数的形式和调用和普通的调用不同。
2011-02-02
WCF实现进程间管道通信Demo分享
下面小编就为大家分享一篇WCF实现进程间管道通信Demo，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
2017-12-12
如何使用C# 捕获进程输出
这篇文章主要介绍了如何使用C# 捕获进程输出，帮助大家更好的理解和使用c#,感兴趣的朋友可以了解下
2020-08-08
C#常用数据结构之数组Array
这篇文章介绍了C#常用数据结构之数组Array，文中通过示例代码介绍的非常详细。对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下
2022-05-05
WinForm判断关闭事件来源于用户点击右上角“关闭”按钮的方法
这篇文章主要介绍了WinForm判断关闭事件来源于用户点击右上角“关闭”按钮的方法,涉及C#针对WinForm事件的判定技巧,具有一定参考借鉴价值,需要的朋友可以参考下
2015-09-09
C#创建、读取和修改Excel的方法
这篇文章主要介绍了C#创建、读取和修改Excel的方法,涉及C#使用Jet OLE DB操作Excel的技巧,非常具有实用价值,需要的朋友可以参考下
2015-04-04
Unity的IFilterBuildAssemblies实用案例深入解析
这篇文章主要为大家介绍了Unity的IFilterBuildAssemblies实用案例深入解析，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2023-05-05
使用代理模式来进行C#设计模式开发的基础教程
这篇文章主要介绍了使用代理模式来进行C#设计模式开发的基础教程,代理模式主张在客户端和目标对象中间建立中介来降低程序设计的耦合度,需要的朋友可以参考下
2016-02-02
C#调用Java类的实现方法
以下是对使用C#调用Java类的实现方法进行了详细的介绍，需要的朋友可以过来参考下
2013-09-09
C#操作IIS程序池及站点的创建配置实现代码
最近在做一个WEB程序的安装包；对一些操作IIS进行一个简单的总结；主要包括对IIS进行站点的新建以及新建站点的NET版本的选择，还有针对IIS7程序池的托管模式以及版本的操作
2013-03-03