千家信息网

C#中协变与逆变的示例分析

发表于:2024-11-14 作者:千家信息网编辑
千家信息网最后更新 2024年11月14日,这篇文章主要介绍了C#中协变与逆变的示例分析,具有一定借鉴价值,感兴趣的朋友可以参考下,希望大家阅读完这篇文章之后大有收获,下面让小编带着大家一起了解一下。一:什么是协变与逆变协变指能够使用比原始指定
千家信息网最后更新 2024年11月14日C#中协变与逆变的示例分析

这篇文章主要介绍了C#中协变与逆变的示例分析,具有一定借鉴价值,感兴趣的朋友可以参考下,希望大家阅读完这篇文章之后大有收获,下面让小编带着大家一起了解一下。

一:什么是协变与逆变

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

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

二:引言

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

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

三:协变

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

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

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

四:逆变

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

using System; class MainClass{    static void Main()    {        Action action = new Action((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 o2 = new List();//协变        Action s2 = new Action((o) => { });//逆变    }}

六:自定义协变

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

七:自定义逆变

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

感谢你能够认真阅读完这篇文章,希望小编分享的"C#中协变与逆变的示例分析"这篇文章对大家有帮助,同时也希望大家多多支持,关注行业资讯频道,更多相关知识等着你来学习!

0