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

2024-09-28 04:00:10

前言

这篇文章简单说说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#中的协变与逆变深入讲解

什么是协变与逆变 MSDN的解释: https://msdn.microsoft.com/zh-cn/library/dd799517.aspx 协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型. 泛型类型参数支持协变和逆变,可在分配和使用泛型类型方面提供更大的灵活性. 一开始我总是分不清协变和逆变,因为MSDN的解释实在是严谨有余而易读不足. 其实从中文的字面上来理解这两个概念就挺容易的
一篇文章看懂C#中的协变、逆变

1. 基本概念官方:协变和逆变都是术语,前者指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型,后者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型.[MSDN] 公式: 协变:IFoo<父类> = IFoo<子类>: 逆变:IBar<子类> = IBar<父类>: 暂时不理解没关系,您接着往下看. 2. 协变(Covariance) 1) out关键字对于泛型类型参数,out 关键字可指定类型参数是协变的. 可以在泛型接口
你了解C#的协变和逆变吗,看完这篇就懂了

从C# 4.0开始,泛型接口和泛型委托都支持协变和逆变,由于历史原因,数组也支持协变. 里氏替换原则:任何基类可以出现的地方,子类一定可以出现. 协变(out) 协变:即自然的变化,遵循里氏替换原则,表现在代码上则是任何基类都可以被其子类赋值,如Animal = Dog.Animal = Cat 使用out关键字声明(注意和方法中修饰参数的out含义不同) 被标记的参数类型只能作为方法的返回值(包括只读属性) 在没有协变时: abstract class Animal {} class Dog
C#逆变与协变详解

该文章中使用了较多的委托delegate和Lambda表达式,如果你并不熟悉这些,请查看我的文章<委托与匿名委托>.<匿名委托与Lambda表达式>以便帮你建立完整的知识体系. 在C#从诞生到发展壮大的过程中,新知识点不断引入.逆变与协变并不是C#独创的,属于后续引入.在Java中同样存在逆变与协变,后续我还会写一篇Java逆变协变的文章,有兴趣的朋友可以关注一下. 逆变与协变,听起来很抽象.高深,其实很简单.看下面的代码: class Person { } class Stud
C#4.0新特性之协变与逆变实例分析

本文实例讲述了C#4.0新特性的协变与逆变,有助于大家进一步掌握C#4.0程序设计.具体分析如下: 一.C#3.0以前的协变与逆变如果你是第一次听说这个两个词,别担心,他们其实很常见.C#4.0中的协变与逆变(Covariance and contravariance)有了进一步的完善,主要是两种运行时的(隐式)泛型类型参数转换.简单来讲,所谓协变(Covariance)是指把类型从"小"升到"大",比如从子类升级到父类:逆变则是指从"大"变到
c#协变和逆变实例分析

本文实例讲述了c#协变和逆变的原理及应用.分享给大家供大家参考.具体如下: 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关键字协变和逆变的应用一. 数组的协变复制代码代码如下: Animal[] animalArray = new Dog[]{}; 说明:声明的数组数据类型是Animal,而实际上赋值时给的是Dog数组:每一个Dog对象都可以安全的转变为Animal.Dog向Animal方法转变是沿着继承链向上转变的所以是协变二．委托中的
图文详解C#中的协变与逆变

目录前言协变和逆变总结前言这篇文章简单说说C#中的协变和逆变. 在C#编程中,由于存在类型之间的强制转换,很容易会出现所谓的类型可变性说法,存在协变.逆变.不变三种. 就比如前一篇文章介绍的泛型概念,如果创建了泛型类型的实例,编译器会接受泛型类型声明以及类型参数来创建构造类型.但是在日常使用过程中,我们可能会将派生类型分配给基类型的变量,有时候会出现错误. 这里就存在一个赋值兼容性问题. 每一个变量都有一种类型,可以将派生类对象的实例赋值给基类变量(好比之前子类声明的变量可以赋值给父类
图文详解Java中的序列化机制

目录概述对象序列化和反序列化机制修改默认的序列化机制使用transient关键字自定义readObject.writeObject方法实现Externalizable接口 serialVersionUID的作用使用序列化clone 概述 java中的序列化可能大家像我一样都停留在实现Serializable接口上,对于它里面的一些核心机制没有深入了解过.直到最近在项目中踩了一个坑,就是序列化对象添加一个字段以后,使用方系统报了反序列化失败,原因是我们双方的序列化对象没有加上seri
基于.Net中的协变与逆变的深入分析

关于协变和逆变要从面向对象继承说起.继承关系是指子类和父类之间的关系:子类从父类继承所以子类的实例也就是父类的实例.比如说Animal是父类,Dog是从Animal继承的子类:如果一个对象的类型是Dog,那么他必然是Animal.协变逆变正是利用继承关系对不同参数类型或返回值类型的委托或者泛型接口之间做转变.我承认这句话很绕,如果你也觉得绕不妨往下看看.如果一个方法要接受Dog参数,那么另一个接受Animal参数的方法肯定也可以接受这个方法的参数,这是Animal向Dog方向的转变是逆变.如
C#中的协变与逆变小结

一:什么是协变与逆变协变指能够使用比原始指定的派生类型的派生程度更大(更具体的)的类型,逆变指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型只有泛型接口和泛型委托参数支持协变和逆变二:引言 using System; using System.Collections.Generic; class MainClass { static void Main() { object o = "str"; List<object> oList = new Lis
图文详解Java中class的初始化顺序

class的装载在讲class的初始化之前,我们来讲解下class的装载顺序. 以下摘自<Thinking in Java 4> 由于Java 中的一切东西都是对象,所以许多活动变得更加简单,这个问题便是其中的一例.正如下一章会讲到的那样,每个对象的代码都存在于独立的文件中.除非真的需要代码,否则那个文件是不会载入的.通常,我们可认为除非那个类的一个对象构造完毕,否则代码不会真的载入.由于static 方法存在一些细微的歧义,所以也能认为"类代码在首次使用的时候载入".
图文详解Javascript中的上下文和作用域

执行上下文(Execution context) 执行上下文(简称上下文)决定了Js执行过程中可以获取哪些变量.函数.数据,一段程序可能被分割成许多不同的上下文,每一个上下文都会绑定一个变量对象(variable object),它就像一个容器,用来存储当前上下文中所有已定义或可获取的变量.函数等.位于最顶端或最外层的上下文称为全局上下文(global context),全局上下文取决于执行环境,如Node中的global和Browser中的window: 需要注意的是,上下文与作用域(scop
图文详解MySQL中两表关联的连接表如何创建索引

本文介绍了MySQL中两表关联的连接表是如何创建索引的相关内容,分享出来供大家参考学习,下面来看看详细的介绍: 问题介绍创建数据库的索引,可以选择单列索引,也可以选择创建组合索引. 遇到如下这种情况,用户表(user)与部门表(dept)通过部门用户关联表(deptuser)连接起来,如下图所示: 表间关系问题就是,在这个关联表中该如何建立索引呢? 针对该表,有如下四种选择: 针对于user_uuid建立单列索引idx_user 针对于user_dept建立单列索引idx_dept 建立组合
图文详解MySQL中的主键与事务

一.MySQL 主键和表字段的注释 1.主键及自增每一张表通常会有一个且只有一个主键,来表示每条数据的唯一性. 特性:值不能重复,不能为空 null 格式:create table test (ID int primary key) 1 主键 + 自增的写法: 格式:create table test (ID int primary key auto_increment) 1 注意:自增只能配合主键来使用(如果单独定义则会报错) 2.表字段的注释 mysql> alter table test

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

目录

前言

协变和逆变

总结

相关推荐

随机推荐