协变接口与逆变接口的4个不同点

最新推荐文章于 2024-03-09 08:02:12 发布
置顶 最新推荐文章于 2024-03-09 08:02:12 发布
阅读量299 收藏
点赞数 1
分类专栏： C# 泛型与集合 接口 C#高级编程 文章标签： C# 泛型 泛型接口 逆变接口 协变接口
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/number1killer/article/details/84882626
版权
C# 同时被 3 个专栏收录
129 篇文章 2 订阅
订阅专栏
C#高级编程
47 篇文章 6 订阅
订阅专栏
泛型与集合
40 篇文章 0 订阅
订阅专栏
  1. 隐式转换的范围不同

协变接口：可以将“类型范围”比他更小的引用对象(实现了该接口的类的对象而非接口类型的对象)赋给协变接口的引用对象。

逆变接口：可以将“类型范围”比他更大的引用对象(实现了该接口的类的对象而非接口类型的对象)赋给逆变接口的引用对象。

对象。

number1killer
关注
专栏目录
「Rust笔记」Rust中的生命周期之协变
图解AI
12-01 993
前言 生命周期代表资源的可用时期。显式生命周期标记是泛型参数的一种，但是有协变的概念。长生命周期作为短生命周期的子类型 生命周期 声明一个变量，其生命周期开始，变量离开作用域，其生命周期结束。 生命周期标记 生命周期标记是一种泛型参数，标记的类型： 复合类型（结构体） 函数 枚举类型 仅当与引用（借用）相关联时。多数情况下生命周期标记可以由编译器为我们推导并标注。一些情况需要程序员显式写出生命周期标记。在函数中，需要显式写出生命周期时，一般是在需要返回参数相关的引用时。（返回堆分配内存时，直
[Rust笔记] 代码写明 Rust 中的泛型型变
Rust语言学习交流
11-21 547
代码写明 Rust 中的泛型型变Variance译作型变或可变性或变体.表示"泛型类型的子类型关系"如何从"泛型参数的子类型关系"中推导.定义无法理解时, 不要深究, 看完后再读一遍此定义即可.假设1C<T>是一个泛型类或接口,T是类型参数.假设2 类型Dog是Animal的子类型.定义1Covariance/Covariant译作协变:如果C<Dog>是C<A...
C#协变接口、逆变接口
include_heqile的博客
07-09 751
不变量 using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; namespace ConsoleApp2 { interface IWr...
Rust 协变，逆变，不变
03-13 1808
Rust 协变，逆变，不变 对于逆变和协变的判断，有时候观察角度不同，结论可能不同，不必纠结，明白原理就好。这个笔记是我学习随笔，不严谨，也没有多方考证，只是记录一下自己的理解，以备他日进一步考证！ 在rust中， 'a : 'b 表达'a为'b的子类，'b为父类，子类生命周期大于等于父类。一般面向对象编程中涉及父类、子类、型变等概念， 用于表达父类与子类之间的相互替代关系。 型...
Rust 高级编程 变性的直观解释
liuno0的博客
01-01 458
协变在Rust中是一个今人迷惑的话题。对于新手可能感知不到这些概念。本篇内容将给出一个更通俗的理解。
理解 C# 泛型接口中的协变与逆变（抗变）
sudons的博客
03-06 1106
最近在看《C#高级编程（第九版）》这本书，看到了泛型接口这章。其中关于协变和逆变没太理解，讲得有点坑爹，网上查了许多资料，总算（感觉）弄清楚了，来这里记录一下。
一篇文章看懂C#中的协变、逆变
08-25
C#中的协变和逆变 C#中的协变和逆变是泛型类型系统中两个...4. 协变和逆变的作用：提供更多的灵活性和可读性，提高编程效率和代码可读性。 5. 协变和逆变的限制：只能在泛型接口和委托中使用，不能在泛型类中使用。
c#: 协变和逆变深度解析
dotNET跨平台
05-14 448
环境：window 10.netcore 3.1vs2019 16.5.1一、为什么要有协变？首先看下面的代码：还有下面的：其实上面报错的是同一个问题，就是你无法用List<Fru...
《Kotlin核心编程》笔记：可空类型&平台类型&装箱类型&数组类型&泛型&协变与逆变
川峰的博客
12-16 1485
不是同一种列表，后者可以添加任意元素，而前者只是通配某一种类型，但是编译器却不知道这是一种什么类型，所以它不允许向这个列表中添加元素，因为这样会导致类型不安全。这里的意思相当于，在编译的会将具体的类型插入相应的字节码中，那么我们就能在运行时获取到对应参数的类型了。Kotlin中的内联函数在编译的时候编译器便会将相应函数的字节码插入调用的地方，也就是说，参数类型也会被插入字节码中，我们就可以获取参数的类型了。Kotlin 中的泛型机制与 Java 中是一样的，所以上面的特性在 Kotlin 中同样存在。
聊聊TypeScript类型兼容，协变、逆变、双向协变以及不变性
Hitxzi的博客
05-26 1269
前言 学过集合论的同学一定知道子集的概念，使用ES6 class写过继承的同学一定知道子类的概念，而使用过TypeScript的同学，也许知道子类型的概念。 但是你知道协变 (Covariant)、逆变 (Contravariant)、双向协变 (Bivariant) 和不变 (Invariant) 这些概念吗？你知道像TypeScript这种强大的静态类型检查的编程语言，是怎么做类型兼容的吗？我们今天来聊聊。 关于Subtyping 子类型是编程语言中一个有趣的概念，源自于数学中子集的概念： 如果集合
rust实战系列一百零八：协变
Mr_Roki的博客
02-27 292
由于&‘static str&‘static str类。从这个示例我们可以看到，&‘a &‘static str类型可以安全地赋值给&‘a &‘a str类。的引用&‘static str，赋值给了一个生命周期更短的引用&‘a str，这是没问题的。&‘a str类型的转换是不安全的。的类型是&‘s str。
rust编程之道_Rust 协变，逆变，不变
weixin_39844590的博客
12-08 632
Rust 协变，逆变，不变对于逆变和协变的判断，有时候观察角度不同，结论可能不同，不必纠结，明白原理就好。这个笔记是我学习随笔，不严谨，也没有多方考证，只是记录一下自己的理解，以备他日进一步考证！在rust中， 'a : 'b 表达'a为'b的子类，'b为父类，子类生命周期大于等于父类。一般面向对象编程中涉及父类、子类、型变等概念， 用于表达父类与子类之间的相互替代关系。型变Variance不变...
C#协变与逆变：解锁高级编程技巧，轻松提升代码性能
最新发布
微小冷的学习笔记
03-09 1535
协变逆变在面向对象语言中是非常高级的功能，目的是保证泛型类在继承时的一致性。毫不夸张的说，懂了协变逆变，就可以大言不惭第自称是C#高手了。
Typescript中的协变和逆变
天地会珠海分舵
09-07 2301
最近用TS时碰到协变和逆变的一些概念，发现有篇外国人写的文章比较容易理解的，这里记录下。 1. 协变和逆变简单理解 先简单说下协变和逆变的理解。 首先，无论协变还是逆变，必然是存在于有继承关系的类当中，这个应该好理解吧。如果你只有一个类，那没有什么好变的。 其次，无论协变还是逆变，既然是变，那必然是存在不同类之间的对象的赋值，比如子类对象赋值给父类对象，父类对象赋值给子类对象，这样才叫做变。 结合上面两条，我觉得协变和逆变在我的字典中就能定义成：支持子类对象赋值给父类对象的情况称之为协变；反之，支持父类对象
C#逆变接口实例和解析
number1killer的博客
12-11 317
   ContraVarianceBody.inInterface&lt;string&gt; Instr = ObjClass;//逆变性                  Console.WriteLine(Instr.outMethod("getIt"));//逆变接口常常用于获取数据并处理、转化成指定的类型        //协变接口常常用于返回、输出各种类型的数据 ...
TypeScript类型中的逆变协变
奇舞周刊
12-09 648
协变 (Covariant) 、逆变 (Contravariant) 、双向协变 (Bivariant) 和不变 (Invariant)https://www.typescriptlang...
【typescript】ts协变逆变双向协变高级用法
不忘初心，坚定道路！
09-13 2389
前言 本篇主要说一下协变逆变与双向协变的概念与高级用法 对于部分干货文章，决定采用粉丝可见，反正也是白嫖不花钱。 协变逆变 以前初学ts感觉协变与逆变是个很复杂的东西，最近重新复习了下发现尼玛，其实就是参数可以接受比其定义的类型更宽广的类型，而返回值可以接受比其定义的类型更狭窄的类型。这里狭窄和宽广意思就是比限定的属性多还是少。比如我们做组件库时，参数会限定个比各种可能都宽广的类型，最宽广的类型自然是any了。而函数的返回值则会比限定更狭窄类型，返回值情况用的较少，一般都是明确返回值类型与其相等。 可
协变（covariance），逆变（contravariance）与不变（invariance）
zwvista的专栏
11-03 3835
协变，逆变与不变能在使用父类型的场景中改用子类型的被称为协变。 能在使用子类型的场景中改用父类型的被称为逆变。 不能做到以上两点的被称为不变。 以上的场景通常包括数组，继承和泛型。协变逆变与泛型（C#，Java）在C#中，泛型参数的类型缺省是不变的，但是我们可以在定义泛型类或接口时通过给参数类型加上out或in来标注该参数类型是协变还是逆变。 * 协变意味着你能把 IEnumerable<s
Julia : 又一次 ”协变“ 中招！
Julia & Rust & Python
10-16 640
请看， julia> typeof(Dict(1=>0.1,"a"=>"b")) Dict{Any,Any} julia> typeof(Dict("1"=>"0.1","a"=>"b")) Dict{ASCIIString,ASCIIString} julia> typeof(Dict{Any,Any}("1"=>"0.1","a"=>"b"))  #  Dict
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值