文档建议反馈控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

C# | 泛型委托的协变与逆变

协变 协变： 当类型参数仅用作输出（即返回值）时，可将类型参数标记为 out 这样就允许 Del dogMaker = MakeDog; // MakeDog是一个返回Dog匹配委托的方法...Del 返回了 Dog , Dog 是 Animal 的派生类，接受返回 Dog ,于是可以,调用代码可以自由的操作返回的对象的 Animal 部分 逆变 逆变： 当类型参数仅用作输入（作为方法的参数类型...），可将类型参数标记为in 这样就允许 Del animal =ActOnAnimal; // ActOnAnimal为匹配此委托的方法 Del dog = animal;...Dog ,于是又传入了其指向了 Del ， 于是传入 Del 了一个Animal的派生类Dog 这种在期望传入基类 时允许传入派生对象 的特性叫做逆变...本文作者： yiyun 本文链接： https://moeci.com/posts/2022/01/CSharp-泛型委托的协变与逆变/ 版权声明： 本博客所有文章除特别声明外，均采用 BY-NC-SA

61220

【Kotlin】泛型 ③ ( 泛型 out 协变 | 泛型 in 逆变 | 泛型 invariant 不变 | 泛型逆变协变代码示例 | 使用 reified 关键字检查泛型参数类型 )

文章目录 一、泛型 out 协变 二、泛型 in 逆变 三、泛型 invariant 不变 四、泛型逆变协变代码示例 五、使用 reified 关键字检查泛型参数类型 本章总结 : 使用了 泛型 out...协变 和 泛型 in 逆变 极大的提高了程序的扩展性 ; 泛型 in 逆变 : 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 泛型 out 协变 : 使用 out 关键字 ,...( 反之就会报错 ) 如果 使用 out 关键字 , 则 范围小的子类泛型对象 赋值给 范围大的 父类泛型对象 ; ( 反之就会报错 ) 使用了 泛型 out 协变 和 泛型 in 逆变 极大的提高了程序的扩展性...泛型 in 逆变 , 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 // People 的类型是 Consumer // consumer 的类型是 Consumer...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

1.6K10
您找到你想要的搜索结果了吗？
是的
没有找到

C#泛型的逆变协变之个人理解

object> list = new List(); 这个为什么就可以 A:   这就要讲到C#泛型里的逆变协变了 Q:   细嗦细嗦 逆变协变 C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说..., 可以进行符合直觉且和谐的转化 前编中提到的代码例子不适用并且也不能改造成协变, 只适合使用逆变 相比于符合直觉且和谐的协变, 逆变是不符合直觉并且别扭的 IFace item = new...类型, 而实际上最终调用的 Face.Print 是支持 object 的, 传入 string 类型的参数没有任何问题 逆变协变的作用 逆变(in)协变(out)的作用就是扩展泛型的用法..., 帮助开发者更好地复用代码, 同时通过约束限制可能会出现的破坏类型安全的操作 逆变协变的限制 虽然上面讲了逆变(in)协变(out)看起来是什么样的, 但我的那个朋友还是有些疑问 Q:   那我什么时候可以用逆变...A:   简单来说, 有关泛型输入的用逆变, 关键词是in, 有关泛型输出的用协变, 关键词是out, 如果接口中既有输入又有输出, 就不能用逆变协变 Q:   为什么这两个不能同时存在?

16520

Java泛型的协变与逆变

导读 泛型是Java最基础的语法之一，众所周知：出于安全原因，泛型默认不能支持型变（否则会引入危险），因此Java提供了通配符上限和通配符下限来支持型变，其中通配符上限就泛型协变，通配符下限就是泛型逆变...extends Number>的子类——这种型变方式被称为协变（covariance）。 对于支持协变的泛型集合，例如List也是支持协变的泛型，因此该类型的变量只能调用返回值为泛型的方法，不能调用形参为泛型的方法——如上①号代码所示。...对于更通用的泛型来说，对于支持逆变的泛型，程序只能调用以泛型为形参的方法；不能调用形参为返回值类型的方法（除非将返回值当成Object处理）。例如如下代码。

1.2K40

Java泛型的协变和逆变

背景 文接上回，说到过Java的泛型擦除问题，这块我又联想到一个有意思的考点泛型的协变和逆变。...根因是Java的泛型没有协变类型，无法关联起来，也就没有关系。 利用通配符，?代表子类，T为父类。 常见的例子比如，List，超类型限定。 逆变同样也是在各类源码中层出不穷，结合协变的理解，这块相信大家应该不难理解。 常见的例子比如，List<?...理解它，也可以通过Java的继承关系， 假设存在继承关系Object-》T、T-》A、T-》B； 即T为A、B的父类，协变面向子类；逆变面向Object，它是所有对象的父类。...小结 1、协变、逆变的区别要分清 2、另外，再提一点泛型和通配符的区别，当然也可以结合第一点理解， 用于定义泛型类和方法，擦除后为AAA类型； <?

63300

Java泛型的协变和逆变

背景 文接上回，说到过Java的泛型擦除问题，这块我又联想到一个有意思的考点泛型的协变和逆变。...根因是Java的泛型没有协变类型，无法关联起来，也就没有关系。 利用通配符，?代表子类，T为父类。 常见的例子比如，List，超类型限定。 逆变同样也是在各类源码中层出不穷，结合协变的理解，这块相信大家应该不难理解。 常见的例子比如，List<?...理解它，也可以通过Java的继承关系， 假设存在继承关系Object-》T、T-》A、T-》B； 即T为A、B的父类，协变面向子类；逆变面向Object，它是所有对象的父类。...小结 1、协变、逆变的区别要分清。 2、另外，再提一点泛型和通配符的区别，当然也可以结合第一点理解， 用于定义泛型类和方法，擦除后为AAA类型； <?

50450

iOS 泛型 ObjectType 协变 __covariant 逆变 __contravariant

泛型使用场景: 在集合(数组、字典、NSSet)中使用泛型比较常见。 当声明一个类，类里面的某些属性的类型不确定，这时候我们才使用泛型。...泛型书写规范 在类型后面定义泛型： NSMutableArray *datas 泛型好处: 提高开发规范，减少程序员之间交流 通过集合取出来对象，直接当做泛型对象使用，可以直接使用点语法...__covariant(协变):用于泛型数据强转类型，可以向上强转，子类可以转成父类。 __contravariant(逆变):用于泛型数据强转类型，可以向下强转，父类可以转成子类。...Language : NSObject @end @interface Java : Language @end @interface iOS : Language @end 首先是没有添加协变和逆变...} 添加了逆变 // __contravariant 可以逆变,父类转子类 泛型名字是ObjectType @interface Person<__contravariant ObjectType

3.4K40

Java基础知识：泛型的类型擦除、逆变与协变

此时就需要使用泛型的逆变操作。通过对泛型 增加通配符 ?...通过逆变，可以让泛型的约束变得更加宽松。 与协变不同，逆变放宽的是对父类的约束，而协变放宽的是对子类的约束。 但同样，逆变放宽类型约束是存在一定代价的： List<?...Object number = list.get(0); //只能作为顶层级的Object类 泛型的协变使用的是 ?...extends 通配符，使得子类型的泛型对象可以进行赋值，但同样会失去调用 add 存储功能时传递该泛型对象的能力： //泛型的协变 List list = new ArrayList(); list.get(0); //无法进行get 逆变与协变的使用场景： 当一个对象只作为泛型的生产者，也就是只取泛型的情况下

65030

iOS_泛型 Generics __covariant(协变) __contravariant(逆变)

文章目录 1、泛型 `Generics` 2、`__kindof` 类型限制 3、自定义泛型 4、协变 和 逆变 4.1、`__covariant`协变 4.2、`__contravariant`逆变...4.2、系统类举例 1、泛型 Generics 泛型可以让你使用自定义的类型来编写灵活的、可重用的函数和类型，可以避免重复，以清晰、抽象的方式表达其意图。...__covariant（协变）或__contravariant（逆变）来控制转换关系。...（详情见下文） 4、协变 和 逆变 介绍协变和逆变前，先回顾一下：subtype、supertype： subtype、supertype是面向对象开发中最常见的类型关系，即子类型和父类型。...名词解释： variant: 即型变 co + varian: 共同变化，即协变的（con: 共同） contra + variant：逆变，抗变（contra: 相反；对立面） 例：有父类Person

89010

【JAVA冷知识】什么是逆变(contravariant)&协变(covariant)?数组支持协变&逆变吗?泛型呢?

写在前面 ---- 和小伙伴分享一些java小知识点，主要围绕下面几点： 什么是逆变(contravariant)&协变(covariant)? 数组支持协变&逆变吗？ 泛型支持协变&逆变吗?...，我们可以知道数组支持协变，不支持逆变，那泛型呢？...对于协变和逆变是否支持 泛型不支持协变也不支持逆变，即不能把一个父类对象赋值给一个子类类型变量，相反也是同理。...所以直接编译报错,即泛型不支持协变也不支持逆变....，在运行期为一个具体的值.编译没有报错 Process finished with exit code 0 逆变同样也是可以，即泛型可以通过super和extends来模拟实现协变和逆变，但是本身是不存在协变和逆变的

62510

C#高级语法之泛型、泛型约束，类型安全、逆变和协变（思想原理）

= dogHouse; 协变的作用就是可以将子类泛型隐式转换为父类泛型，而逆变就是将父类泛型隐式转换为子类泛型 将接口类型改为使用in关键字 public interface IAnimalHouse...(); IAnimalHouse dogHouse = animalHouse; 逆变和协变还有两点：协变时泛型无法作为参数、逆变时泛型无法作为返回值。...逆变： ? 协变： ? 语法都是一些 非常粗糙的东西，重要的是思想、思想、思想。然后我们来看一下为什么要有逆变和协变？ 什么叫做类型安全？...协变的话我相信应该很好理解，将子类转换为父类，兼容性好，解决了类型安全（因为子类转父类是肯定可以转换成功的）；而协变作为返回值是百分百的类型安全 “逆变为什么又是解决了类型安全呢？子类转父类也安全吗？...所以当逆变作为参数传递时，类型是安全的。 思考：那么，现在你能明白上面那个错误，为什么“协变时泛型无法作为参数、逆变时泛型无法作为返回值”了吗？

6.6K30

了解C#的协变和逆变

Invariance 表示只能使用最初指定的类型。 固定泛型类型参数既不是协变，也不是逆变。 你无法将 List 的实例分配给 List 类型的变量，反之亦然。...以上来自于官方文档对协变、逆变、不变性的解释 为啥C#需要协变和逆变？...在C#中，目前只有泛型接口和泛型委托可以支持协变和逆变， 协变(Covariance) 内置的泛型协变接口，IEnumerator、IQuerable、IGrouping<Tkey, TElement...、方法或者委托的输入参数 当要进行类型转换，占位符T要转换的目标类型也必须是其子类，上述例子则是FooBase转为Foo 总结 协变和逆变只对泛型委托和泛型接口有效，对普通的泛型类和泛型方法无效 协变和逆变的类型必须是引用类型...，因为值类型不具备继承性，因此类型转换存在不兼容性 泛型接口和泛型委托可同时存在协变和逆变的类型参数，即占位符T 参考 泛型中的协变和逆变 | Microsoft Docs 《你必须知道的.NET（第2

89410

c# 协变和逆变的理解

是什么 1.1 协变 协变指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型。如 string 到 object 的转换。多见于类型参数用作方法的返回值。...1.2 逆变 逆变指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型。如 object 到 string 的转换。多见于类型参数用作方法的输入值。...泛型类型参数支持协变和逆变，可在分配和使用泛型类型方面提供更大的灵活性。 2....所以归根到底，协变和逆变只是一种约束而已，这种规范限制了你的泛型接口中要么只能有将类型参数当作返回值的协变相容方法（加了 out 关键字），要么只能有将类型参数当作输入值的逆变相容方法（加了 in 关键字...本文针对的是对协变和逆变存在部分理解但是仍然有些迷糊的开发者群体，而笔者也忙于新技术的理解和投入使用，有段时间没能分享所学所得，这次也只是花了十几分钟撷取了重要概念记录答疑，希望能帮到一部分人，以上就是我的期望了

1.4K60

Swift 之类型的协变与逆变

那么我们就可以这么来解释协变和逆变了： 协变: 如果说 List 也是 List的subtype，也就是衍生类型的关系和原来类型（ Cat 与 Animal）的关系是一致的，那我们就说...也就是说函数的参数是逆变的。 得到的结论是: 函数的参数是逆变的，返回值是协变的。 我们知道了变化的规则，就能判断出类型的关系，就可以知道一个类型是否可以替换另外一个类型。...其他类型的协变和逆变 上面我们提到了函数的参数和返回值的分别是逆变和协变，在 Swift 中除了函数，还有属性(property)，范型(Generic)等。...对于范型来说，范型本身其实没有特殊的变化，它的变化与范型使用的环境紧密相关，如果是用作函数的返回值或者覆盖父类的 readonly 属性，它的协变的，如果用做函数的参数，它是逆变的，如果是用做覆盖父类的...readwrite 的属性，或者同时用做函数的返回值和参数，那它必须是不变的，也就是说范型类型必须和要求完全一致，不能使用 subtype 或者 supertype.

84720

【JavaSE】Java进阶知识一（泛型详解，包括泛型方法，协变，逆变，擦除机制）

3.通配符上界（泛型的协变） 泛型类型是具有不变性的，比如下面代码就是错误的： Arraylist objectList; ArrayList stringList =...，通过下面的代码来给大家介绍一下通配符的作用： 在不使用通配符时，因为泛型的不变性，下面这段代码会出现问题，就使代码非常不灵活。...4.通配符下界（泛型的逆变） 我们还可以使用通配符下界（?...： 协变：放宽了对子类类型的泛型约束，但是缺点是不能对调用的参数进行写入数据只能进行读取数据。...逆变：放宽了对父类类型的泛型约束，但是缺点是不能对参数进行读取数据，只能写入数据。

11010

【Kotlin】泛型总结 ★ ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 | 可变参数结合泛型 | out 协变 | in 逆变 | reified 检查泛型参数类型 )

文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 六、可变参数 vararg 关键字与泛型结合使用 七、使用 [] 运算符获取指定可变参数对象 八、泛型 out 协变...九、泛型 in 逆变 十、泛型 invariant 不变 十一、泛型逆变协变代码示例 十二、使用 reified 关键字检查泛型参数类型 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T...八、泛型 out 协变 ---- 使用 out 关键字 , 可以使 子类泛型对象 赋值给 父类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数... { fun produce(): T fun consume(t: T) } 十一、泛型逆变协变代码示例 ---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中...( 反之就会报错 ) 如果 使用 out 关键字 , 则 范围小的子类泛型对象 赋值给 范围大的 父类泛型对象 ; ( 反之就会报错 ) 使用了 泛型 out 协变 和 泛型 in 逆变 极大的提高了程序的扩展性

3.6K10

C#4.0新增功能03 泛型中的协变和逆变

泛型类型参数支持协变和逆变，可在分配和使用泛型类型方面提供更大的灵活性。 在引用类型系统时，协变、逆变和不变性具有如下定义。...Invariance 这意味着，你只能使用原始指定的类型；固定泛型类型参数既不是协变类型，也不是逆变类型。...然后，使用泛型类型参数的协变和逆变，将得到的泛型委托指派给另一个变量，此变量的泛型委托类型的参数类型为 Type3 ，返回类型为 Type1。....NET Framework 4 开始，Visual Basic 和 C# 提供了一些关键字，利用这些关键字，可以将接口和委托的泛型类型参数标记为协变或逆变。...Visual Basic 和 C# 不允许违反协变和逆变类型参数的使用规则，也不允许将协变和逆变批注添加到接口和委托类型之外的类型参数中。

1.3K20

五分钟看完，彻底理解C#的协变逆变

协变、逆变 解决的问题 泛型类型转换 比如Person类是Student的父类，我们平时可以直接： Person A = new Student(); 这是所谓的隐式转换，相信百分之999.99%的人都知道...直接show you code: 当Out作为返回值时的泛型没有问题，但是入参就报错了 当In作为入参时的泛型没有问题，但是返回值就报错了 好了，这还需要再解释吗？...最后我们总结下，逆变和协变就是让方法有了泛型类型上的转换能力，强化了方法的多态能力。 问题点 1、属性为啥可以用逆变协变？ 属性不就是get/set方法。...2、为什么接口和委托可以用逆变协变，类不行？ 拜托你找一下共同点，接口和委托的共同点，都是行为，也就是方法为核心。接口里不能有字段。这也印证了我说的逆变协变最终是为方法服务的。...之所以类不行，我大概理解是方法和实例是分开的，本身不和实例存储在一起，也不是每个实例一份，如果逆变和协变可以服务类，那么会出现同样的类型，但是每个实例内部的同一个字段的类型都不一样，这对于存储和类型安全都是问题

17120

C# 4.0新特性-协变与逆变以及背后的编程思想

目录 一、两个概念：强类型与弱类型 二、委托中的协变与逆变的使用 三、接口中的协变与逆变的使用 四、从Func...，我们就可以这样的定义协变和逆变：如果类型TBar是基于强类型Bar的类型（比如类型参数为Bar的泛型类型，或者是参数/返回值类型为Bar的委托），而类型TFoo是基于弱类型Foo的类型，协变就是将TBar...二、委托中的协变与逆变的使用 协变和逆变主要体现在两个地方：接口和委托，先来看看在委托中如何使用协变和逆变。...下面定义了一个名称为Operate的泛型委托，接受一个具有泛型参数类型的参数。在定义泛型参数前添加了in关键字，表示T是一个基于逆变的变体。...接下来我们同样通过一个简单的例子来说明在接口中如何使用协变和逆变。

60380

深入 TypeScript 中的子类型、逆变、协变，进阶 Vue3 源码前必须搞懂的。

前言 TypeScript 中有很多地方涉及到子类型 subtype、父类型 supertype、逆变和协变covariance and contravariance的概念，如果搞不清这些概念，那么很可能被报错搞的无从下手...逆变和协变 先来段维基百科的定义： 协变与逆变(covariance and contravariance)是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父...协变（Covariance） 那么想象一下，现在我们分别有这两个子类型的数组，他们之间的父子关系应该是怎么样的呢？...那么，对于 type MakeArray = T[] 这个类型构造器来说，它就是 协变（Covariance） 的。...结语 这篇文章结合我自己最近学习类型相关知识的一些心得整理而成，如果有错误或者疏漏欢迎大家指出。 参考资料 Subsets & Subtypes TypeScript 官方文档 维基百科-协变与逆变

1.2K31
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

    Copyright © 2013 - 2024 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有

    深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 深公网安备号 44030502008569

    腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287

    领券