(56)C#里的协变(covariant)和逆变(contravariant)

最新推荐文章于 2024-10-02 19:32:13 发布
最新推荐文章于 2024-10-02 19:32:13 发布
阅读量437 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： C#入门到精通 文章标签： c# 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/caimouse/article/details/122361308
本文介绍了C#中协变(covariant)和逆变(contravariant)的概念，它们主要用于泛型类型的转换。以List<Human>和List<Chinese>为例，说明了协变允许将派生类转换为基类，而逆变则支持基类转换为派生类。通过接口IEnumerable的示例，阐述了协变和逆变的实现方式。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

C#里的协变(covariant)和逆变(contravariant)

在C#里引用这两个概念是干什么用的呢，主要为了范型类型转换使用的，比如下面的例子就不能编译通过：

//声明List

                     List<Human> listHuman = new List<Human>();

                     List<Chinese> listChinese = new List<Chinese>();

&n

了解本专栏 订阅专栏 解锁全文 超级会员免费看
C#中的协变逆变
仰望星空的博客
05-16 1845
文章目录一、C#中的协变二、C#中的逆变 一、C#中的协变 众所周知，子类对象可以赋值给父类，例如 string str = string.Empty; object obj = str; 不会报错。如果换一种方式，代码如下： public class Father { private string Name { get; set; } } public class Son : Father { private string Name { get; set; } } class Prog
c# 协变与抗变
最新发布
sudazf的专栏
12-12 1177
在具有可变性的条件下，与原始类型转换方向相同的可变性称作协变（covariant）。在具有可变性的条件下，与原始类型转换方向相反的可变性称作抗变（contravariant），也称逆变。可变性远远不只是针对映射到数组的能力，也有映射其它集合的能力如List.很多人会问，说了这么多，到底这个协变或者抗变有什么实际价值？为什么接口参数类型前加了个 out 关键字就可以安全转换了？因为在接口类型参数前加上修饰关键字 in 和 out 可以表示该类型参数支持抗变和协变，会在安全范围内进行转换。
深入理解 C# 协变和逆变【转】
weixin_30900589的博客
09-05 217
msdn解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 直白的理解： “协变”->”和谐的变”->”很自然的变化”->string->object :协变。 “逆变”->”逆常的变”->”不正常的变化”->object...
C#(.NET Core) 泛型＜T＞中协变(covariant)和逆变(contravariant)的使用
极客神殿
09-04 514
泛型很有用，可减少代码，更好得复用代码。本文主要介绍一下C#(.NET Core) 泛型中使用协变(covariant)和逆变(contravariant)的方法，及使用的示例代码。 1､泛型中协变(covariant) 简单来说，协变用法是只能放在接口或者委托的泛型参数前面，是用来修饰返回值。具体使用如下代码： /// <summary> /// out 协变 只能是返回结果 /// </summary> /// <typeparam name="T"></typ
Unity基础之C#进阶篇笔记6：协变逆变
qq_42481369的博客
06-05 663
Unity基础之C#进阶篇笔记6：协变逆变协变逆变1.什么是协变逆变2.作用3.总结4.练习题 协变逆变 1.什么是协变逆变 协变： 和谐的变化，自然的变化 因为 里氏替换原则 父类可以装子类 所以 子类变父类 比如 string 变成 object 感受是和谐的 逆变： 逆常规的变化，不正常的变化 因为 里氏替换原则 父类可以装子类 但是子类不能装父类 所以 父类变子类 比如 object 变成 string 感受是不和谐的 协变和逆变是用来修饰泛型的 协变：out 逆变：in 用于在泛型中 修饰
C#学习基本概念之协变covariant与逆变contravariant
weixin_34005042的博客
12-24 215
只能放在接口或者委托out协变 covariant 修饰返回值in 逆变contravariant 修饰传入参数In C#, covariance and contravariance enable implicit reference conversion for array types, delegate types, and generic type argumen...
你了解C#的协变和逆变吗,看完这篇就懂了
08-19
C# 协变和逆变 在 C# 编程中，协变和逆变是两种重要的概念，它们分别用 out 和 in 关键字来声明。协变和逆变都是泛型类型系统的一部分，主要用来解决泛型类型之间的继承关系和类型转换问题。 协变（Covariant） ...
精通C#之逆变与协变
Enl0ve的博客
07-14 408
C#精通之路——逆变与协变 从C#4.0开始，泛型接口和泛型委托都支持协变和逆变，由于历史原因，数组也支持协变。 里氏替换原则：任何基类可以出现的地方，子类一定可以出现 协变（out） 协变：及自然的变化，遵循里氏替换原则，表现在代码上则是任何基类都可以被其子类赋值，如Animal = Dog、Animal = Cat 使用out关键字声明（注意和方法中修饰参数的out含义不同）。 被标记的参数类型只能作为方法的返回值（包括只读属性） 在没有协变时： abstract class Ani
聊聊TypeScript类型兼容，协变、逆变、双向协变以及不变性
Hitxzi的博客
05-26 1396
前言 学过集合论的同学一定知道子集的概念，使用ES6 class写过继承的同学一定知道子类的概念，而使用过TypeScript的同学，也许知道子类型的概念。 但是你知道协变 (Covariant)、逆变 (Contravariant)、双向协变 (Bivariant) 和不变 (Invariant) 这些概念吗？你知道像TypeScript这种强大的静态类型检查的编程语言，是怎么做类型兼容的吗？我们今天来聊聊。 关于Subtyping 子类型是编程语言中一个有趣的概念，源自于数学中子集的概念： 如果集合
C#的协变和逆变
瓦力的博客
07-20 1887
协变和逆变以及不变都是基于引用类型来讲的，我们一步一步的说起。 首先，面向对象设计有一个准则是“里氏替换原则”，这个原则是在讲“基类出现的地方，可以用子类来替换。”处于演示的目的，我们创建两个类，并让一个类继承于另一个类。让我们通过C#的例子来看一下： public class BaseClass { //基类 // 处于简化的目的，这里并没有任何实现 } publ
C#协变和抗变详解
qq_31975127的博客
12-21 807
简要介绍： 协变和抗变指对参数和返回值进行转换； 协变：按照继承链正向改变（实际上是向上兼容：子类向父类的转化） 逆变：按照继承链反向改变（实际上是向下兼容：父类向子类的转化） 下面说一下具体使用方式（在.net4之前，泛型接口没有协变和抗变） 一.不使用泛型接口的情况 //.net 参数类型是协变的返回类型是抗变的 public class Shape { ...
C#协变和逆变
kun_wang的博客
07-04 1869
协变(covariant)和逆变(contravariant)是C#4.0新增的概念。 首先，我们都知道C#中父类可以充当子类来使用，就像我们在泛型中说到的object是所有类型的父类，那么以下变量赋值时不会报错的： string str = string.Empty; object obj = str; 但是如果换一种方式来表达：  创建一个Human类： using System; usin...
深入理解 C# 协变和逆变
zp19860529的博客
07-31 248
msdn解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 直白的理解： “协变”->”和谐的变”->”很自然的变化”->string->object :协变。 “逆变”->”逆常的变”->”不正常的变化”->object->string逆变。 上面是个人对协变和逆变的理解，比起记住那些派生，类型，原始指定,更大，...
详解c# 协变和逆变
chinaherolts2008的博客
04-24 769
基本概念 协变：能够使用比原始指定的派生类型的派生程度更大（更具体）的类型。例如 IFoo<父类> = IFoo<子类> 逆变：能够使用比原始指定的派生类型的派生程度更新（更抽象）的类型。例如 IBar<子类> = IBar<父类> 关键字out和in 协变和逆变在泛型参数中的表现方式，out关键字表示协变，in关键字表示逆变。二者只能在泛型接口或者委托中使用。 理解协变和逆变 看完上面的定义是不是一脸懵逼~~~。看不懂就对了，且定义语句的歧义性很大。让我们大
C#核心知识回顾——12.lambda表达式、List排序、协变和逆变
羽阿呆的博客
07-10 1495
因为里氏替换原则 父类可以装子类 但是子类不能装父类。可以将lambad表达式理解为匿名函数的简写。内层的函数可以引用包含在它外层的函数的变量。所以比如object变成string。//用out修饰的泛型只能作为返回值。因为里氏替换原则 父类可以装子类。比如string变成object。//用in修饰的泛型只能作为参数。都是和委托或者事件配合使用的。即使外层函数的执行已经终止。逆常规的变化，不正常的变化。协变和逆变是用来修饰泛型的。C.通过委托函数实现排序。和谐的变化，自然的变化。//1.返回值和参数。
c#协变和抗变_C#中协变与抗变（逆变）
weixin_39669147的博客
12-20 164
泛型在.NET 2.0中正式的引入。在使用泛型的过程中，联系上面向对象的继承性。往往很容易想当然敲出类似以下代码List animalLst=new List;显然这样编译是不通过的。虽然Dog和Animal之间有继承性，但是List和List这两个类之间并没有继承性。如果要解决这样的问题，用上协变与抗变(逆变)，它们统称为变体。是.NET 4.0引入的新特性，但是早在.NET 2.0就引入了。变...
一文搞懂C#协变和逆变
2401_82584055的博客
06-13 288
在C#中，协变（Covariance）和逆变（Contravariance）是与泛型接口、委托的参数和返回类型相关的重要概念，它们允许更灵活的类型匹配，但也要保证类型安全性。
图解C#高级教程（四）：协变、逆变
聚焦C++/Python编程语言、大模型应用开发
10-02 2021
本章的主题是可变性（variance），这里的可变性更多的是指基类和派生类之间的转换。可变性分为三种：协变（covariance）、逆变（contravariance）和不变（invariance）。
C# 2010快速入门：探索.NET Framework 4.0
2. **多目标类型（Generic Variance）**：增强了泛型接口和类的协变和逆变支持，使得类型参数可以更好地与covariant和contravariant上下文兼容，从而提高代码的灵活性和重用性。 3. **命名和可选参数（Named and ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

caimouse

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值