协变逆变

最新推荐文章于 2024-12-13 20:55:08 发布
原创 最新推荐文章于 2024-12-13 20:55:08 发布 · 555 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#编程 #语言

本文解释了编程语言中协变与逆变的概念。协变允许使用比原始指定类型派生程度更高的类型，而逆变则允许使用派生程度更低的类型。

在编程语言中，“协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。

C#中的协变逆变
仰望星空的博客
05-16 1894
文章目录一、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#协变逆变
07-05
在C#编程中，协变（Covariance）和逆变（Contravariance）是泛型的重要特性，它们允许我们更灵活地使用泛型接口和委托。这些特性使得类型安全性和代码可重用性得到提升，尤其是在处理多态性的场景下。 首先，协变是...
深入理解 C# 协变和逆变
weixin_34066347的博客
03-13 192
msdn 解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 直白的理解： “协变”->”和谐的变”->”很自然的变化”->string->object :协变。...
协变和逆变
zxf347085420的博客
06-02 278
二、真正的协变和逆变 概念： 1、以前的泛型系统（或者说没有in/out关键字时），是不能“变”的，无论是“逆”还是“顺（协）”。 2、当前仅支持接口和委托的逆变与协变 ，不支持类和方法。但数组也有协变性。 3、值类型不参与逆变与协变。 协变：Foo<ParentClass> = Foo<ChildClass> public class TestOut<T&...
协变 (Covariant)、逆变 (Contravariant) 与不变 (Invariant)
热门推荐
B1151937289的博客
08-09 1万+
协变（Covariant）、逆变（Contravariant）与不变（Invariant）1. 定义2. 例子3. 有什么用？4. 应对5. 其他问题6. 特例（Dart 语言）7. 写在最后8. 参考 1. 定义 协变与逆变 (Covariance and contravariance) 是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。 协变、逆变和不变，属于变型 (variance) 的三种结果，变型指类型构造器如何根据内部类型关
C#协变逆变7日精通：泛型接口类型兼容性解析.pdf
06-29
文档支持目录章节跳转同时还支持阅读器左侧大纲显示和章节快速定位，文档内容完整、条理清晰。文档内所有文字、图表、函数、目录等元素均显示正常，无任何异常情况，敬请您放心查阅与使用。文档仅供学习参考，请勿...
C#泛型高级应用：3天精通协变逆变与类型约束避坑解析.pdf
06-29
文档支持目录章节跳转同时还支持阅读器左侧大纲显示和章节快速定位，文档内容完整、条理清晰。文档内所有文字、图表、函数、目录等元素均显示正常，无任何异常情况，敬请您放心查阅与使用。文档仅供学习参考，请勿...
详解c# 协变和逆变
12-16
在C#编程语言中，协变（Covariance）和逆变（Contravariance）是泛型的关键特性，它们允许在特定情况下放宽类型约束，从而提高代码的灵活性和重用性。协变允许将派生类型替换为基类型，而逆变则是允许将基类型替换为...
协变与逆变
q__y__L的博客
01-22 626
目录   1.协变 2.逆变 1.协变 在泛型之前，我们都知道可以将一个派生类对象赋值给基类变量，这叫做赋值兼容性。看下面这个例子 class Animal { public int numberOfLegs=4; } class Dog: Animal {} class Program { static void Main() { Ani...
跟我学C++中级篇——协变和逆变
fpcc的专栏
12-13 1438
协变和逆变最初是从C#的学习中获取的。后来又其它的语言中遇到，反而C++对这个概念知道的最晚，平时也不怎么提这些概念。对于C++初学者来说，可能都没听说过这两个概念。但其实从C++98开始C++就开始支持协变了，这也是为什么一直提倡大家多学习其它一些语言的原因。另外还一个比较重要的提醒，协变和逆变过程中注意表述的方向性和意思，往往和开发者自身的理解的本质是一样的，但表述的方法有所不同。所有开发语言的发展方向基本是一致的，至于某个技术在哪个语言先出现或被显示的提出反而可以做为开发者一种反省的机会。
协变与逆变(Covariance and Contravariance)
qq_42261529的博客
09-03 259
[协变与逆变(Covariance and Contravariance)](https://www.zmxiaodao.com/post/tech/fp/covariance_contravariance/)
理解协变与逆变
airushaonian
08-30 499
概述 协变与逆变属于类型可变范畴，.net为了支持更广泛的隐式类型转换而存在，通过协变和逆变实现了不具有继承关系的两个对象之间的隐式转换，从效果上看，延伸了继承与多态。 定义 泛型接口 :IObject<T> 基类：Father 子类：Son 派生自 Father类 协变：支持将IObject<Son>子类的泛型接口赋值给 IObject<Father> 父类的泛型接口，这里可以看到IObject<Son> 和 IObject<Father&
逆变与协变
相公
10-30 298
转载：摘抄自《Kotlin极简教程》-陈光剑 逆变与协变 Animal类型(简记为F, Father)是Dog类型(简记为C, Child)的父类型，我们把这种父子类型关系 简记为F <| C。 而List, List的类型，我们分别简记为f(F), f( C)。 那么我们可以这么来描述协变和逆变: 当F <| C 时, 如果有f(F) <| f( C),那么f叫做协变(Convariant); 当F <| C 时, 如果有f( C) <| f(F), 那么f叫做逆变(C.
协变与逆变的简单理解（C#）
zp19860529的博客
07-31 6061
一、基本概念 协变和逆变是在计算机科学中，描述具有父/子型别关系的多个型别，通过型别构造器、构造出的多个复杂型别之间是否有父/子型别有序或逆序的关系； 官方描述：协变和逆变都是术语，前者指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型，后者指能够使用比原始指定的派生类型的派生程度更小（不太具体的）的类型。以上概念理解起来绕口或看得不明所以，简单点说就是以下意思： 协变：就是对具体成员的输出参数进行一次类型转换，且类型转换的准则是 “里氏替换原...
协变与逆变 Covariance & Contravariance
YOUENS的博客
05-06 347
协变与逆变Covariance 协变Contravariance 逆变（反协变）常见例子数组——协变 Covariance 协变 父类型相较于子类型变得更加具体 返回值类型：不变或变得更具体 示例如下： class T { Object a() { … } } class S extends T { @Override String a() { … } } 异常的类型：不变或变得更具体...
C# 协变和逆变
qq_15695787的博客
05-14 562
协变是，接口泛型参数仅用于输出的地方、并且是父接口为object，子类对象为string等类型。 interface IjiekouB//T仅用作返回值，是输出结果 { T GetData(); }   static void Main(string[] args)         {             A a1 = new A();        
kotlin 协变 逆变 不变
最新发布
09-05
在 Kotlin 中，泛型类型具有协变、逆变和不变的特性，这些特性有助于处理泛型类型之间的子类型关系。 ### 概念 - **协变**：Kotlin 使用 `out` 关键字来支持协变，等同于 Java 中的上界通配符 `? extends`。协变表示如果 `B` 是 `A` 的子类型，那么 `Producer<B>` 可以被视为 `Producer<A>` 的子类型。协变类型参数只能用在输出位置（如函数返回值），因为这样可以保证类型安全。例如： ```kotlin class Producer<out T> { fun produce(): T { return null as T } } val producer: Producer<Animal> = Producer<Dog>() // 协变允许这样的赋值 ``` - **逆变**：Kotlin 使用 `in` 关键字来支持逆变，等同于 Java 中的下界通配符 `? super`。逆变表示如果 `B` 是 `A` 的子类型，那么 `Consumer<A>` 可以被视为 `Consumer<B>` 的子类型。逆变类型参数只能用在输入位置（如函数参数），以确保类型安全。例如： ```kotlin class Consumer<in T> { fun consume(t: T) { println(t) } } val consumer: Consumer<Dog> = Consumer<Animal>() // 逆变允许这样的赋值 ``` - **不变**：Kotlin 中的泛型默认是不变的，即如果 `B` 是 `A` 的子类型，`GenericClass<B>` 和 `GenericClass<A>` 之间没有子类型关系。例如，`MutableList<Dog>` 不能赋值给 `MutableList<Animal>`，反之亦然。 ### 应用 - **协变的应用**：协变常用于只生产数据的类，如集合的只读视图。`List<out T>` 可以安全地从子类类型转换为父类类型，因为它只提供读取操作，不会修改集合内容。例如： ```kotlin val dogList: List<Dog> = listOf(Dog()) val animalList: List<Animal> = dogList // 协变允许这样的赋值 ``` - **逆变的应用**：逆变常用于只消费数据的类，如比较器。`Comparator<in T>` 可以接受更具体的类型作为参数，因为它只对传入的数据进行操作。例如： ```kotlin val animalComparator: Comparator<Animal> = Comparator { a1, a2 -> a1.id - a2.id } val dogComparator: Comparator<Dog> = animalComparator // 逆变允许这样的赋值 ``` - **不变的应用**：当泛型类既生产又消费数据时，通常使用不变的泛型类型。例如 `MutableList<T>` 既可以添加元素（消费）又可以获取元素（生产），因此它是不变的。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值