协变泛型接口内符合变体的C#事件 - 腾讯云开发者社区 - 腾讯云

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

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

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

6392 0

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

object> list = new List(); 这个为什么就可以 A: 这就要讲到C#泛型里的逆变协变了 Q: 细嗦细嗦逆变协变 C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说..., 可以进行符合直觉且和谐的转化前编中提到的代码例子不适用并且也不能改造成协变, 只适合使用逆变相比于符合直觉且和谐的协变, 逆变是不符合直觉并且别扭的 IFace item = new..., 与协变相似, 需要在泛型 T 之前加上关键词 in 对比上方的协变, 逆变看起来就像是将基类赋值给子类, 但这其实符合里氏代换的当我们调用 item.Print 时, 看起来允许传入的参数为 string...类型, 而实际上最终调用的 Face.Print 是支持 object 的, 传入 string 类型的参数没有任何问题逆变协变的作用逆变(in)协变(out)的作用就是扩展泛型的用法...A: 简单来说, 有关泛型输入的用逆变, 关键词是in, 有关泛型输出的用协变, 关键词是out, 如果接口中既有输入又有输出, 就不能用逆变协变 Q: 为什么这两个不能同时存在?

2012 0

您找到你想要的搜索结果了吗？

是的

没有找到

Java泛型的协变和逆变

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

7260 0

Java泛型的协变与逆变

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

1.3K4 0

Java泛型的协变和逆变

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

5435 0

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

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

7803 0

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

泛型类型参数支持协变和逆变，可在分配和使用泛型类型方面提供更大的灵活性。在引用类型系统时，协变、逆变和不变性具有如下定义。...对于接口，协变类型参数可用作接口的方法的返回类型，而逆变类型参数可用作接口的方法的参数类型。协变和逆变统称为“变体” 。未标记为协变或逆变的泛型类型参数称为“固定参数” 。...泛型接口或泛型委托类型可以同时具有协变和逆变类型参数。变体仅适用于引用类型；如果为 Variant 类型参数指定值类型，则该类型参数对于生成的构造类型是不变的。变体不适用于委托组合。....NET Framework 4 开始，Visual Basic 和 C# 提供了一些关键字，利用这些关键字，可以将接口和委托的泛型类型参数标记为协变或逆变。...有关信息和示例代码，请参阅泛型接口中的差异 (C#) 和泛型接口中的差异 (Visual Basic)。

1.3K2 0

C#2.0新增功能06 协变和逆变

有关详细信息，请参阅泛型接口中的变体 (C#) 和委托中的变体 (C#)。《C#4.0新增功能03 泛型中的协变和逆变》以下代码示例演示泛型接口的隐式引用转换。...相关主题 Title 说明泛型接口中的变体 (C#) 讨论泛型接口中的协变和逆变，提供 .NET Framework 中的变体泛型接口列表。...在泛型集合的接口中使用变体 (C#) 演示 IEnumerable 接口和 IComparable 接口中对协变和逆变的支持如何帮助重复使用代码。...委托中的变体 (C#) 讨论泛型委托和非泛型委托中的协变和逆变，并提供 .NET Framework 中的变体泛型委托列表。...使用委托中的变体 (C#) 演示如何使用非泛型委托中的协变和逆变支持以将方法签名与委托类型相匹配。

1K1 0

C#规范整理·泛型委托事件

一旦我们开始编写稍微复杂的C#代码，就肯定离不开泛型、委托和事件。...所以，泛型类型参数这种模式是满足“协变”的定义的。但是，只要将T作为输入参数，便不满足“协变”的定义了。...“T”为协变。 12.让接口中的泛型参数支持协变# 除了11中提到的使用泛型参数兼容泛型接口的不可变性外，还有一种办法就是为接口中的泛型声明加上out关键字来支持协变。...在我们自己的代码中，如果要编写泛型接口，除非确定该接口中的泛型参数不涉及变体，否则都建议加上out关键字。协变增大了接口的使用范围，而且几乎不会带来什么副作用。...13.理解委托中的协变# 委托中的泛型变量天然是部分支持协变的。

2783 0

编码最佳实践——里氏替换原则

首先要明确变体（variance）这个概念，变体这个术语主要应用于复杂层次类型结构中以定义子类型的期望类型，有点类似于多态。在C#语言中，变体的实现有协变和逆变两种。...如果我们引入一个通过泛型参数使用Supertype和Subtype的类型时，就进入了变体（variance）的主题。因为有了协变，一样可以用到多态这个强大的特性。...因为不使用泛型类型，C#方法的返回类型就不是协变的。换句话说，这种情况下（普通类）的继承是不具备协变能力的。...这个泛型参数是可以协变的，UserRepository子类可以为User类指定超类型。...C#语言的方法参数类型和返回类型都是不可变的，只有在设计泛型时才能将类型定义为可协变的或可逆变的。

1.3K2 0

.NET面试题系列 - 泛型

这也告诉我们，逆变性是很不正常的。泛型的协变与逆变协变性和out关键字搭配使用，用于向调用者返回某项操作的值。例如下面的接口仅有一个方法，就是生产一个T类型的实例。那么我们可以传入一个特定类型。...注意，协变和逆变性体现在泛型类T和T的派生类。目前out 和in 关键字只能在接口和委托中使用。...Circle(new Point(10, 5), 20), }; var list = new List(); //泛型的协变...从实现上来说编译器完全可以自己判断哪些泛型参数能够逆变和协变，但实际却没有这么做，这是因为C#的开发团队认为：必须由开发者明确的指定可变性，因为这会促使开发者考虑他们的行为将会带来什么后果，从而思考他们的设计是否合理...协变与逆变的相互作用以下的代码中，接口IBar中有一个方法，其接受另一个接口IFoo作为参数。IFoo是支持协变的。这样会出现一个问题。

7273 0

“协变”、“逆变”与Delegate类型转换

四、通过Emit实现EventHandler的类型转换五、最简单的转换方式一、从Delegate的“协变”与“逆变”说起根据Delegate“协变”与“逆变”的原理，对于两个具有相同声明的两个...我们在定义泛型Delegate的时候可以利用C#“协变”与“逆变”，使类型为A对象能够赋值给类型为B的变量。...具体来说，我们需要将输出定义为协变体（通过out关键字），而将输入定义为逆变体（通过in关键字）。...如果具有特殊的EventArgs类型，我们倾向于使用泛型的EventHandler。...泛型方法Convert以强类型的方式指定转换的目标类型。

8677 0

3分钟快速搞懂Java的桥接方法

什么时候生成桥接方法？为了实现哪些Java语言特性会生成桥接方法？最常见的两种情况就是协变返回值类型和类型擦除，因为它们导致了父类方法的参数和实际调用的方法参数类型不一致。...协变返回类型协变返回类型是指子类方法的返回值类型不必严格等同于父类中被重写的方法的返回值类型，而可以是更 "具体" 的类型。...因为在JVM方法中，返回类型也是方法签名的一部分，而桥接方法的签名和其父类的方法签名一致，以此就实现了协变返回值类型。...类型擦除泛型是Java 1.5才引进的概念，在这之前是没有泛型的概念的，但泛型代码能够很好地和之前版本的代码很好地兼容，这是为什么呢？...当一个子类在继承（或实现）一个父类（或接口）的泛型方法时，在子类中明确指定了泛型类型，那么在编译时编译器会自动生成桥接方法，例如： public class Parent { void

3205 0

3分钟快速搞懂Java的桥接方法

什么时候生成桥接方法？为了实现哪些Java语言特性会生成桥接方法？最常见的两种情况就是协变返回值类型和类型擦除，因为它们导致了父类方法的参数和实际调用的方法参数类型不一致。...协变返回类型协变返回类型是指子类方法的返回值类型不必严格等同于父类中被重写的方法的返回值类型，而可以是更 “具体” 的类型。...在Java 1.5添加了对协变返回类型的支持，即子类重写父类方法时，返回的类型可以是子类方法返回类型的子类。...**因为在JVM方法中，返回类型也是方法签名的一部分，而桥接方法的签名和其父类的方法签名一致，以此就实现了协变返回值类型。...类型擦除泛型是Java 1.5才引进的概念，在这之前是没有泛型的概念的，但泛型代码能够很好地和之前版本的代码很好地兼容，这是为什么呢？

7844 1

Kotlin 泛型详解

fun getResult(): R{ ... } } Java/Kotlin 的泛型实现采用了类型擦除的方式，这与 C# 的实现不同，后者是真·泛型，前者是伪·泛型。...extends E 其实就是使用点协变，允许传入的参数可以是泛型参数类型为 Number 子类的任意类型。当然，也有 ?...super E 的用法，这表示元素类型为 E 及其父类，这个通常也叫作逆变。 2.2 Kotlin 的型变型变包括协变、逆变、不变三种。下面我们看看 Kotlin 是怎么支持这个特性的。...对于协变的类型，通常我们是不允许将泛型类型作为传入参数的类型的，或者说，对于协变类型，我们通常是不允许其涉及泛型参数的部分被改变的。...最后再给大家提一个点，现在你们知道为什么 in 表示逆变，out 表示协变了吗？ 3. 通配符在Java 中，当我们不知道泛型具体类型的时候可以用？

1.2K2 0

了解C#的协变和逆变

以上来自于官方文档对协变、逆变、不变性的解释为啥C#需要协变和逆变？...：兼容性：.NET2.0就推出了泛型，而从.NET 2.0到.NET 3.5期间不支持对泛型接口中的占位符T支持隐式转换，因此在.NET4.0推出协变和逆变为了支持更广泛的隐式类型的转换，在这里就是在泛型体系中支持...在C#中，目前只有泛型接口和泛型委托可以支持协变和逆变，协变(Covariance) 内置的泛型协变接口，IEnumerator、IQuerable、IGrouping的输入参数当要进行类型转换，占位符T要转换的目标类型也必须是其子类，上述例子则是FooBase转为Foo 总结协变和逆变只对泛型委托和泛型接口有效，对普通的泛型类和泛型方法无效协变和逆变的类型必须是引用类型...，因为值类型不具备继承性，因此类型转换存在不兼容性泛型接口和泛型委托可同时存在协变和逆变的类型参数，即占位符T 参考泛型中的协变和逆变 | Microsoft Docs 《你必须知道的.NET（第2

9481 0

变体(variance)

上节讲到了泛型，这节延申一下，讲一下变体。变体(variance)是协变(convariance)和抗变(也说逆变contravariance)的统称。...协变：为了建立他们之间的继承关系，接口IAnimals的类型需要设置为协变，有了协变类型，AnimalsAdmin，AnimalsAdmin这两个类和IAnimals...我们来看一下运行结果：微软的API中也有很多协变的例子：例如IEnumerable泛型接口就是协变性的。...Animals { Type GetAnimalType(); } 在T前加关键字in,我们来看一下运行结果：抗变在.net Framework中有很多用处，IComparable泛型接口就是抗变类型...通过变体，我们在面向泛型接口编程的时候，就可以借助多态性很灵活的编码。最后注意两点：设置为协变类型的T，只能用作返回类型和属性get访问器的类型，而设置为抗变类型的T只能用作方法的参数。

4672 0

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

，我们就可以这样的定义协变和逆变：如果类型TBar是基于强类型Bar的类型（比如类型参数为Bar的泛型类型，或者是参数/返回值类型为Bar的委托），而类型TFoo是基于弱类型Foo的类型，协变就是将TBar...现在我们定义了如下一个表示无参函数的泛型委托Function，类型参数为函数返回值的类型。泛型参数之前添加了一个out关键字表示T是一个协变变体。...下面定义了一个名称为Operate的泛型委托，接受一个具有泛型参数类型的参数。在定义泛型参数前添加了in关键字，表示T是一个基于逆变的变体。...下面定义了一个继承自 IEnumerable接口的IGroup集合类型，和上面一样，泛型参数T之前的out关键字表明这是一个协变。...刚刚看了园友施凡的文章，写得很好，有兴趣的可以读读《.NET 4.0中的泛型协变和反变》。

6388 0

C# 学习笔记（15）—— C# 4.0

，这样编译器将判断参数的名称是否正确，然后将指定的值赋给对应的参数，从而达到只省略第二个参数的目的泛型的可变性在 C# 2.0 中，泛型并不具备可变形，这种可变形是指协变性和逆变性。...C# 2.0 确实是不支持的，但因为有了这样的需求，微软便适应地做出了改进，在 C# 4.0 中引入了泛型的协变性和逆变性协变性协变性指的是泛型类型参数可以从一个派生类隐式地转换为基类 C# 4.0...引入out关键字来标注泛型参数，以示支持协变性，为了更好的说明，下面使用 .Net 类库中的public interface IEnumerable接口为例，做泛型协变性的演示： class...由于IComparer接口泛型参数只支持逆变，不支持协变，所以不能把IComparer类型隐式地转换为IComparer，所以会出现编译错误协变和逆变的注意事项...并不是所有类型都支持泛型类型参数的协变和逆变性，下面总结了使用这两个特性时需要注意的地方只有借口和委托才支持协变和逆变（如Func、Action），类或泛型方法的类型参数都不支持协变和逆变

2582 0

C#进阶-协变与逆变

我们知道子类转换到父类，在C#中是能够隐式转换的。这种子类到父类的转换就是协变。而另外一种类似于父类转向子类的变换，可以简单的理解为逆变。...逆变协变可以用于泛型委托和泛型接口，本篇文章我们将讲解C#里逆变和协变的使用。逆变和协变的语法第一次接触难免感到陌生，最好的学习方式就是在项目中多去使用，相信会有很多感悟。...协变与逆变协变(共变)：泛型委托或泛型接口的类似于父类转向子类的变换；逆变(反变)：泛型委托或泛型接口的类似子类到父类的隐式转换；逆变与协变用来描述类型转换后的继承关系，其定义：如果A、B表示类型...，和string与Object的父子关系是相反的；协变和逆变能够实现数组类型、委托类型和泛型类型参数的隐式引用转换。...InterfaceFuncObject = InterfaceFuncInt;//编译失败，值类型不参与协变或逆变 //泛型接口-逆变 InterfaceFuncB<object

1372 1

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭