协回返回类型表示：在导出类中覆盖基类的方法，可以返回基类方法的返回类型的某种导出类。...tiger speak() { return new tiger(); } } panda继承了animal，并且重写了speak()方法，父类的speak()方法的返回值类型是...因而也是一种合法的返回类型。
Java SE5中添加协变返回类型，表示在导出类中的被覆盖方法可以返回基类方法的返回类型的某种导出类型。...Wheat类型，亦即此时的Wheat为协变返回类型 * @return */ Wheat process(){ return new Wheat();...; System.out.println(g.getName()); // 因为是协变返回类型，所以可以向下转型 Wheat w = (Wheat) g;...协变返回类型允许返回更具体的Wheat类型 扩： 里氏代换原则（任何基类可以出现的地方，子类一定可以出现） 重写/覆盖规则： 1.重写方法不能比被重写方法限制有更严格的访问级别。...此处的Wheat即成了协变返回类型。 相关下载 点击下载
参考链接： Java covariant返回类型 协变返回类型：子类覆写了父类的一个方法，子类中方法的返回值类型可以是父类方法返回值类型的子类。...示例代码（Java编程思想）如下所示：子类WheatMill覆写了父类Mill的process方法，子类proces方法的返回值Wheat是父类proces方法返回值Grain的子类。
之后又想到了其他一些相关的东西，除了简单地分析如何通过Emit实现EventHandler的类型转换之外，还加上关于Delegate“协变”与“逆变”的一些东西，算是对前一篇文章的完善。...目录 一、从Delegate的“协变”与“逆变”说起 二、EventHandler是否换一种定义方式更好？...四、通过Emit实现EventHandler的类型转换 五、最简单的转换方式 一、从Delegate的“协变”与“逆变”说起 根据Delegate“协变”与“逆变”的原理，对于两个具有相同声明的两个...我们在定义泛型Delegate的时候可以利用C#“协变”与“逆变”，使类型为A对象能够赋值给类型为B的变量。...如果事件类型对于得Delegate并没有采用逆变方式定义，那么要求我们注册一个与之类型完全一致的Delegate。
相对于原始类型，这两种复杂类型之间的关系只能是不变(invariance)，协变(covariance)和逆变(contravariance)之中的某一种。...那么我们就可以这么来解释协变和逆变了： 协变: 如果说 List 也是 List的subtype，也就是衍生类型的关系和原来类型（ Cat 与 Animal）的关系是一致的，那我们就说...List 是和它的原来类型协变（共同变化）的。...也就是说函数的参数是逆变的。 得到的结论是: 函数的参数是逆变的，返回值是协变的。 我们知道了变化的规则，就能判断出类型的关系，就可以知道一个类型是否可以替换另外一个类型。...其他类型的协变和逆变 上面我们提到了函数的参数和返回值的分别是逆变和协变，在 Swift 中除了函数，还有属性(property)，范型(Generic)等。
image.png 因此 Number 类型的 filter 过滤类可以认为是逆变之后的 Double 类型的 Filter 的子类型。...通过逆变，可以让泛型的约束变得更加宽松。 与协变不同，逆变放宽的是对父类的约束，而协变放宽的是对子类的约束。 但同样，逆变放宽类型约束是存在一定代价的： List<?...Object number = list.get(0); //只能作为顶层级的Object类 泛型的协变使用的是 ?...extends 通配符，使得子类型的泛型对象可以进行赋值，但同样会失去调用 add 存储功能时传递该泛型对象的能力： //泛型的协变 List list = new ArrayList(); list.get(0); //无法进行get 逆变与协变的使用场景： 当一个对象只作为泛型的生产者，也就是只取泛型的情况下
背景 文接上回，说到过Java的泛型擦除问题，这块我又联想到一个有意思的考点泛型的协变和逆变。...一、协变 首先Java的数组是协变的，所以假设A是B的父类，那么A[]是可以保存A或者B的对象的，并且A[]是B[]的父类。 ，写谁都会写，子类型限定。...根因是Java的泛型没有协变类型，无法关联起来，也就没有关系。 利用通配符，?代表子类，T为父类。 常见的例子比如，List<?...二、逆变 ，超类型限定。 逆变同样也是在各类源码中层出不穷，结合协变的理解，这块相信大家应该不难理解。 常见的例子比如，List<?...理解它，也可以通过Java的继承关系， 假设存在继承关系Object-》T、T-》A、T-》B； 即T为A、B的父类，协变面向子类；逆变面向Object，它是所有对象的父类。
导读 泛型是Java最基础的语法之一，众所周知：出于安全原因，泛型默认不能支持型变（否则会引入危险），因此Java提供了通配符上限和通配符下限来支持型变，其中通配符上限就泛型协变，通配符下限就是泛型逆变...协变：通配符上限 为了让泛型支持型变，Java引入了通配符上限语法：如果A是B的子类，那么List相当于是List也是支持协变的泛型，因此该类型的变量只能调用返回值为泛型的方法，不能调用形参为泛型的方法——如上①号代码所示。
前言 为什么需要引入逆变、协变和双向协变这些概念 因为考虑到类型兼容,详情参考https://www.typescriptlang.org/docs/handbook/type-compatibility.html...Consider the following code） 结构类型：一种只使用其成员来描述类型的方式（类型 ducking type）； 名义类型：明确的指出或声明其类型，如c#，java。...animal 实例上缺少属性 'bark' 协变和逆变 如何处理类型兼容呢？...维基百科上关于协变和逆变的解释有点晦涩难懂。...但在TS中，参数类型是双向协变的（详见下文3.1小节），如果项目里开启了"strict": true，意味着，会来带开启 strictFunctionType ，此时，才按照逆变处理 双向协变 在老版本的
写在前面 ---- 和小伙伴分享一些java小知识点，主要围绕下面几点： 什么是逆变(contravariant)&协变(covariant)? 数组支持协变&逆变吗？ 泛型支持协变&逆变吗?...包含多态，重载多态等之后有机会和小伙伴们分享) 协变 即指窄类型替换宽类型，逆变 即宽类型覆盖窄类型 这里的窄类型即子类(派生类)，这里的宽类型即父类(基类,超类)，那这里的替换覆盖又是什么意思,这里就要说到...对于协变和逆变是否支持 泛型不支持协变也不支持逆变，即不能把一个父类对象赋值给一个子类类型变量，相反也是同理。...> 但可以使用通配符(Wildcard)模拟协变逆变,通配符在编译期有效，在运行期必须为一个明确的类型 package com.liruilong; import java.util.ArrayList...super Integer> li = new ArrayList(); 关于协变逆变就和小伙伴分享到这里，嗯，还有协变逆变方法，这里要简单说明下 协变方法: 即子类的方法返回值的类型比父类方法要窄
协变 在 Java 中，数组是协变的，也就是说，假设有一个基类 Person 和一个 Person 的子类 Student。...那么在 Java 中又该如何表示协变这样的语义呢？...也就是说，Java 选择不在参数化类型声明的时候去声明该类型的型变关系，而是选择在这个类型被使用的时候去进行限定。从语义上也可以看出，这个方式掩盖了协变本身的概念，是一个较为工程化的思路。...语义与协变的情况是类似的。 于是，Scala 和 Java 的型变标记可以进行如下总结 3： Scala Java 解释 +T ?...，就是函数类型在其返回值的类型上协变，在其参数类型上逆变。
out关键字指明类型参数是协变的 上面这段代码，dog是派生自Animal类，它是可以直接赋值给Animal类的，但此代码却产生错误，这是因为委托也是类型，Factory和Factory<Animal...（在类型参数前加out）（派生类只是用来输出值） “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。...in关键字指明类型参数是逆变的 逆变：在类型参数前加in 基类对象的引用期望的是传入到基类对象，但实际上（也允许它）传入到派生对象，这叫做逆变 这样可以工作，因为在调用的时候，调用代码传入了派生类型的变量...协变（out）是将派生类对象的引用传入到基类对象，输出派生类的值 逆变（in）是将基类对象的引用传入到派生对象，派生对象只能操作基类部分 接口的协变和逆变 1️⃣ 接口的协变 using System...这些类型参数不能用于协变或逆变 delegate T Factory(); // 协变 逆变 不变 大家还有什么问题，欢迎在下方留言
msdn 解释如下： “协变”是指能够使用与原始指定的派生类型相比，派生程度更大的类型。 “逆变”则是指能够使用派生程度更小的类型。 解释的很正确，大致就是这样，不过不够直白。 ...直白的理解： “协变”->”和谐的变”->”很自然的变化”->string->object :协变。 “逆变”->”逆常的变”->”不正常的变化”->object->string 逆变。 ...上面是个人对协变和逆变的理解，比起记住那些派生，类型，原始指定,更大，更小之类的词语，个人认为要容易点。 ...我个人的理解： 因为协变和逆变的英文太复杂了，并没有体现协变和逆变的不同，但是out 和 in 却很直白。...上面演示的是协变，接下来要演示下逆变。
NET 4通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。协变和抗变指对参数和返回值的类型进行转换。 ...我们来看下到底什么是协变什么是抗变： 如果某个返回的类型可以由其基类替换，那么这个类型就是支持协变的 如果某个参数类型可以由其派生类替换，那么这个类型就是支持逆变（抗变）的。...我们再看我们开头的概念 如果某个返回的类型可以由其基类替换，那么这个类型就是支持协变的 如果某个参数类型可以由其派生类替换，那么这个类型就是支持逆变（抗变）的。...理解泛型接口的协变和抗变（in、out） 我们下面来看看泛型接口的协变及抗变的例子： 首先我们看下协变，在C#高级编程（第十一版）中指出，如果泛型类型用out关键字标注，泛型接口就是协变的。...协变：（使用关键字out）返回类型可以由其基类所替代的时候，就是支持协变的。 抗变（逆变）：（使用关键字in）传入参数类型可以由其派生类所代替的时候，就是支持抗变（逆变）的。
Kotlin 的型变分为逆变、协变和不变。...2.1 协变 如果 A 是 B 的子类型，并且Generic 也是 Generic 的子类型，那么 Generic 可以称之为一个协变类。...2.2.1 Java 下界通配符 Java 的逆变通过下界通配符实现。 下面的代码因为是协变的，无法添加新的对象。...这意味着它们既不是协变的也不是逆变的。 例如 MutableList，它可读可写，泛型没有使用in、out。 三. 总结 本文从 Kotlin 的类、类型引出了型变。...介绍了 Kotlin 的协变、协变和不变的概念和特性，以及 Java 的上界通配符、下界通配符。 该系列的相关文章： Kotlin 泛型之类型擦除
协变返回类型 在 Java SE5 中，添加了协变返回类型，它表示在导出类中的被覆盖的方法可以返回基类方法的返回类型的某种导出类型。...对于上述协变返回类型的定义，读起来有些让人吐血，简单点，通过下面的程序理解协变返回类型： package com.hit.chapter8; /** * author:Charies Gavin...如上图所示，展示了使用协变返回类型后的效果。...在 Java SE5 之前，强制导出类中被覆盖的方法必须返回基类方法的返回类型，但是在增加协变返回类型之后，我们可以让在导出类中被覆盖的方法返回基类方法的返回类型的某种导出类型，也就是说可以返回更加具体的返回类型...例如上例中的kind()方法，在 Java SE5 之前，只能返回Plant，但是在使用协变返回类型之后，我们可以直接返回更加具体的Peony类型。
协变返回类型 在 Java SE5 中，添加了协变返回类型，它表示在导出类中的被覆盖的方法可以返回基类方法的返回类型的某种导出类型。...对于上述协变返回类型的定义，读起来有些让人吐血，简单点，通过下面的程序理解协变返回类型： package com.hit.chapter8; /** * author:Charies Gavin...：" + plant); // 使用协变返回类型 flower = new Luoyangred(); plant = flower.kind();...在 Java SE5 之前，强制导出类中被覆盖的方法必须返回基类方法的返回类型，但是在增加协变返回类型之后，我们可以让在导出类中被覆盖的方法返回基类方法的返回类型的某种导出类型，也就是说可以返回更加具体的返回类型...例如上例中的kind()方法，在 Java SE5 之前，只能返回Plant，但是在使用协变返回类型之后，我们可以直接返回更加具体的Peony类型。
在 C# 9.0 里面添加的一个新特性是支持协变返回类型，也就说子类重写了基类的抽象或虚拟方法，可以在返回值里面返回协变的类型，也就是返回值的类型可以是继承原本子类返回值类型的子类。...override Meat GetFood() => new Meat(); } 上面两个代码的不同在于 Animal 类使用的是 abstract 或 virtual 的方法被重写，在重写的时候可以返回协变的类...以下是返回值 Food 类型定义 public class Food { } public class Meat : Food { } 可以看到 Meat...是继承 Food 的类型，也就是说允许子类的返回值类型是重写的方法的子类。...这是为了确保如果我们使用基类型方法之一的签名来调用覆盖方法，我们仍然执行覆盖方法。
协变与逆变 协变(共变)：泛型委托或泛型接口的类似于父类转向子类的变换； 逆变(反变)：泛型委托或泛型接口的类似子类到父类的隐式转换； 逆变与协变用来描述类型转换后的继承关系，其定义：如果A、B表示类型...，f(x)表示类型转换，≤表示继承关系（比如，A≤B表示A是由B派生出来的子类） 当A≤B时，若f(x)是逆变的，则f(B)≤f(A)成立； 当A≤B时，若f(x)是协变的，则f(A)≤f(B)成立；...，和string与Object的父子关系是相反的； 协变和逆变能够实现数组类型、委托类型和泛型类型参数的隐式引用转换。...InterfaceFuncObject = InterfaceFuncInt;//编译失败，值类型不参与协变或逆变 //泛型接口-逆变 InterfaceFuncB<object...//数组-逆变 //数组的协变使派生程度更大的类型的数组能够隐式转换为派生程度更小的类型的数组。
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
