图文详解C#中的协变与逆变

 更新时间:2022年02月06日 09:28:26   作者:阿辉  
“协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型,“逆变”则是指能够使用派生程度更小的类型,这篇文章主要给大家介绍了关于C#中协变与逆变的相关资料,需要的朋友可以参考下

前言

这篇文章简单说说C#中的协变和逆变。

在C#编程中,由于存在类型之间的强制转换,很容易会出现所谓的类型可变性说法,存在协变、逆变、不变三种。

就比如前一篇文章介绍的泛型概念,如果创建了泛型类型的实例,编译器会接受泛型类型声明以及类型参数来创建构造类型。但是在日常使用过程中,我们可能会将派生类型分配给基类型的变量,有时候会出现错误。

这里就存在一个赋值兼容性问题。

每一个变量都有一种类型,可以将派生类对象的实例赋值给基类变量(好比之前子类声明的变量可以赋值给父类声明的变量一样)。

如下所示:

        class People
        {
            public int Age = 27;
        }
 
        class AhuiPeople : People
        {
 
        }

 

            People ahui = new People();
            People people = new AhuiPeople();
 
            Console.WriteLine("Age:"+people.Age);
            Console.ReadKey();

协变和逆变

我们按照同样的逻辑,在泛型委托中进行这种强类型的转换,会发现即使基类和派生类之间可以进行正常的转换,但是委托之间不能进行转换会出现异常错误提示。

具体如下代码所示:

        delegate T AgeDelegate<T>();         
 
        static AhuiPeople GetAge()
        {
            return new AhuiPeople();
        }

在转换过程中,委托的具体用法,但是这样子编译器提示错误。

            AgeDelegate<AhuiPeople> ahui = GetAge;
            AgeDelegate<People> people = ahui;

错误提示

这就是上面解释的那样子,基类和派生类之间可以进行转换但是委托之间未存在关联,无法进行强制类型的转换。
那么想解决这个问题就引入了协变来解决。

如果派生类只是用于输出值,那么这种结构化的委托有效性之间的常数关系叫做协变,可通过主动告知编译器我们的期望,使用Out关键字标记委托声明中的类型参数。

        delegate T AgeDelegate<out T>();   

修改成这样子后,上面错误演示的代码编译器就可以正常编译通过了。

上面简单介绍了协变,那么接下来我们来看逆变是什么。

其实逆变就是在委托中既要声明委托类型,也要在委托方法中有实参。

这种在期望传入基类时允许传入派生对象的特性叫做逆变。 逆变使用关键字in来标记。

具体如下代码所示:

        delegate void AgeDelegate<in T>(T p); 
        static void GetAge(People p)
        {
            Console.WriteLine(p.Age);
        }
            AgeDelegate<People> ahui = GetAge;
            AgeDelegate<AhuiPeople> people = ahui;
 
            people(new AhuiPeople());
            Console.WriteLine();
            Console.ReadKey();

输出结果

既然协变和逆变可以使用在委托上,那么接口上也可以使用,此时也需要使用out和in关键字。

总结

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

相关文章

  • C#定时器组件FluentScheduler用法

    C#定时器组件FluentScheduler用法

    这篇文章介绍了C#定时器插件FluentScheduler的用法,文中通过示例代码介绍的非常详细。对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-06-06
  • c# 实现MD5,SHA1,SHA256,SHA512等常用加密算法源代码

    c# 实现MD5,SHA1,SHA256,SHA512等常用加密算法源代码

    c# 如何实现MD5,SHA1,SHA256,SHA512等常用加密算法,需要的朋友可以参考下
    2012-12-12
  • C#中的try catch finally用法分析

    C#中的try catch finally用法分析

    这篇文章主要介绍了C#中的try catch finally用法,以实例形式分析了try catch finally针对错误处理时的不同用法,具有一定的参考借鉴价值,需要的朋友可以参考下
    2014-12-12
  • 详解C#如何优雅地终止线程

    详解C#如何优雅地终止线程

    在大多情况下,我们只关心线程的创建与启动,运行,却并不关心线程的结束或者终止。今天这篇文章,我们就以一些简单的小例子,简述如何有效的停止线程,仅供学习分享使用,如有不足之处,还请指正
    2023-03-03
  • 用C#编写ActiveX控件(三)

    用C#编写ActiveX控件(三)

    用C#编写ActiveX控件(三)...
    2007-03-03
  • c#实现KTV点歌系统

    c#实现KTV点歌系统

    这篇文章主要用C#语言编写的KTV点歌系统,需要的朋友可以参考下
    2015-07-07
  • Unity实战之FlyPin(见缝插针)小游戏的实现

    Unity实战之FlyPin(见缝插针)小游戏的实现

    这篇文章主要介绍了利用Unity制作FlyPin(见缝插针)小游戏的实现方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起试一试
    2022-01-01
  • 一文掌握C# ListView控件的用法和示例代码

    一文掌握C# ListView控件的用法和示例代码

    ListView控件提供了丰富的属性和事件,可以用于实现各种各样的表格视图,包括带有单元格编辑、排序和分组等功能,本文介绍了一些常见的 ListView 控件的用法和示例代码,感兴趣的朋友一起看看吧
    2024-02-02
  • C#操作Excel相关方法总结

    C#操作Excel相关方法总结

    这篇文章主要介绍了C#操作Excel相关方法总结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-07-07
  • Unity3D启动外部程序并传递参数的实现

    Unity3D启动外部程序并传递参数的实现

    这篇文章主要介绍了Unity3D启动外部程序并传递参数的实现方式,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2021-04-04

最新评论