首页
学习
活动
专区
工具
TVP
发布
您找到你想要的搜索结果了吗?
是的
没有找到

”、“逆”与Delegate类型转换

之后又想到了其他一些相关的东西,除了简单地分析如何通过Emit实现EventHandler的类型转换之外,还加上关于Delegate“”与“逆”的一些东西,算是对前一篇文章的完善。...目录 一、从Delegate的“”与“逆”说起 二、EventHandler是否换一种定义方式更好?...四、通过Emit实现EventHandler的类型转换 五、最简单的转换方式 一、从Delegate的“”与“逆”说起 根据Delegate“”与“逆”的原理,对于两个具有相同声明的两个...我们在定义泛型Delegate的时候可以利用C#“”与“逆”,使类型为A对象能够赋值给类型为B的变量。...如果事件类型对于得Delegate并没有采用逆方式定义,那么要求我们注册一个与之类型完全一致的Delegate。

79570

Swift 之类型与逆

相对于原始类型,这两种复杂类型之间的关系只能是不变(invariance),(covariance)和逆(contravariance)之中的某一种。...那么我们就可以这么来解释和逆变了: : 如果说 List 也是 List的subtype,也就是衍生类型的关系和原来类型( Cat 与 Animal)的关系是一致的,那我们就说...List 是和它的原来类型(共同变化)的。...也就是说函数的参数是逆的。 得到的结论是: 函数的参数是逆的,返回值是的。 我们知道了变化的规则,就能判断出类型的关系,就可以知道一个类型是否可以替换另外一个类型。...其他类型和逆 上面我们提到了函数的参数和返回值的分别是逆和协,在 Swift 中除了函数,还有属性(property),范型(Generic)等。

82120

Java基础知识:泛型的类型擦除、逆

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

63530

Java泛型的和逆

背景 文接上回,说到过Java的泛型擦除问题,这块我又联想到一个有意思的考点泛型的和逆。...一、 首先Java的数组是的,所以假设A是B的父类,那么A[]是可以保存A或者B的对象的,并且A[]是B[]的父类。 ,写谁都会写,子类型限定。...根因是Java的泛型没有类型,无法关联起来,也就没有关系。 利用通配符,?代表子类,T为父类。 常见的例子比如,List<?...二、逆 ,超类型限定。 逆同样也是在各类源码中层出不穷,结合的理解,这块相信大家应该不难理解。 常见的例子比如,List<?...理解它,也可以通过Java的继承关系, 假设存在继承关系Object-》T、T-》A、T-》B; 即T为A、B的父类,面向子类;逆面向Object,它是所有对象的父类。

60800

Java泛型的和逆

背景 文接上回,说到过Java的泛型擦除问题,这块我又联想到一个有意思的考点泛型的和逆。...一、 首先Java的数组是的,所以假设A是B的父类,那么A[]是可以保存A或者B的对象的,并且A[]是B[]的父类。 ,写谁都会写,子类型限定。...根因是Java的泛型没有类型,无法关联起来,也就没有关系。 利用通配符,?代表子类,T为父类。 常见的例子比如,List<?...二、逆 ,超类型限定。 逆同样也是在各类源码中层出不穷,结合的理解,这块相信大家应该不难理解。 常见的例子比如,List<?...理解它,也可以通过Java的继承关系, 假设存在继承关系Object-》T、T-》A、T-》B; 即T为A、B的父类,面向子类;逆面向Object,它是所有对象的父类。

47450

TypeScript 中的逆和双向

前言 为什么需要引入逆和双向这些概念 因为考虑到类型兼容,详情参考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 ,此时,才按照逆处理 双向 在老版本的

1K20

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

写在前面 ---- 和小伙伴分享一些java小知识点,主要围绕下面几点: 什么是逆(contravariant)&(covariant)? 数组支持&逆吗? 泛型支持&逆吗?...包含多态,重载多态等之后有机会和小伙伴们分享) 即指窄类型替换宽类型,逆 即宽类型覆盖窄类型 这里的窄类型即子类(派生类),这里的宽类型即父类(基类,超类),那这里的替换覆盖又是什么意思,这里就要说到...对于和逆是否支持 泛型不支持也不支持逆,即不能把一个父类对象赋值给一个子类类型变量,相反也是同理。...> 但可以使用通配符(Wildcard)模拟,通配符在编译期有效,在运行期必须为一个明确的类型 package com.liruilong; import java.util.ArrayList...super Integer> li = new ArrayList(); 关于就和小伙伴分享到这里,嗯,还有方法,这里要简单说明下 方法: 即子类的方法返回值的类型比父类方法要窄

59810

C#和逆

msdn 解释如下:  “”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。  “逆”则是指能够使用派生程度更小的类型。  解释的很正确,大致就是这样,不过不够直白。 ...直白的理解:  “”->”和谐的”->”很自然的变化”->string->object :。  “逆”->”逆常的”->”不正常的变化”->object->string 逆。 ...上面是个人对和逆的理解,比起记住那些派生,类型,原始指定,更大,更小之类的词语,个人认为要容易点。 ...我个人的理解: 因为和逆的英文太复杂了,并没有体现和逆的不同,但是out 和 in 却很直白。...上面演示的是,接下来要演示下逆

91030

泛型与抗(二)

NET 4通过和抗变为泛型接口和泛型委托添加了一个重要的扩展。和抗指对参数和返回值的类型进行转换。   ...我们来看下到底什么是什么是抗: 如果某个返回的类型可以由其基类替换,那么这个类型就是支持的   如果某个参数类型可以由其派生类替换,那么这个类型就是支持逆(抗)的。...我们再看我们开头的概念   如果某个返回的类型可以由其基类替换,那么这个类型就是支持的   如果某个参数类型可以由其派生类替换,那么这个类型就是支持逆(抗)的。...理解泛型接口的和抗(in、out)   我们下面来看看泛型接口的及抗的例子:   首先我们看下,在C#高级编程(第十一版)中指出,如果泛型类型用out关键字标注,泛型接口就是的。...:(使用关键字out)返回类型可以由其基类所替代的时候,就是支持的。     抗(逆):(使用关键字in)传入参数类型可以由其派生类所代替的时候,就是支持抗(逆)的。

77520

编程思想 之「多态、初始化顺序、返回类型

返回类型Java SE5 中,添加了返回类型,它表示在导出类中的被覆盖的方法可以返回基类方法的返回类型的某种导出类型。...对于上述返回类型的定义,读起来有些让人吐血,简单点,通过下面的程序理解返回类型: package com.hit.chapter8; /** * author:Charies Gavin...如上图所示,展示了使用返回类型后的效果。...在 Java SE5 之前,强制导出类中被覆盖的方法必须返回基类方法的返回类型,但是在增加返回类型之后,我们可以让在导出类中被覆盖的方法返回基类方法的返回类型的某种导出类型,也就是说可以返回更加具体的返回类型...例如上例中的kind()方法,在 Java SE5 之前,只能返回Plant,但是在使用返回类型之后,我们可以直接返回更加具体的Peony类型

45320

编程思想 之「多态、初始化顺序、返回类型

返回类型Java SE5 中,添加了返回类型,它表示在导出类中的被覆盖的方法可以返回基类方法的返回类型的某种导出类型。...对于上述返回类型的定义,读起来有些让人吐血,简单点,通过下面的程序理解返回类型: package com.hit.chapter8; /** * author:Charies Gavin...:" + plant); // 使用返回类型 flower = new Luoyangred(); plant = flower.kind();...在 Java SE5 之前,强制导出类中被覆盖的方法必须返回基类方法的返回类型,但是在增加返回类型之后,我们可以让在导出类中被覆盖的方法返回基类方法的返回类型的某种导出类型,也就是说可以返回更加具体的返回类型...例如上例中的kind()方法,在 Java SE5 之前,只能返回Plant,但是在使用返回类型之后,我们可以直接返回更加具体的Peony类型

1.2K40

C#进阶-与逆

与逆 (共):泛型委托或泛型接口的类似于父类转向子类的变换; 逆(反):泛型委托或泛型接口的类似子类到父类的隐式转换; 逆用来描述类型转换后的继承关系,其定义:如果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...//数组-逆 //数组的使派生程度更大的类型的数组能够隐式转换为派生程度更小的类型的数组。

8110

dotnet 5 从 IL 层面分析返回类型新特性

在 C# 9.0 里面添加的一个新特性是支持返回类型,也就说子类重写了基类的抽象或虚拟方法,可以在返回值里面返回类型,也就是返回值的类型可以是继承原本子类返回值类型的子类。...override Meat GetFood() => new Meat(); } 上面两个代码的不同在于 Animal 类使用的是 abstract 或 virtual 的方法被重写,在重写的时候可以返回的类...以下是返回值 Food 类型定义 public class Food { } public class Meat : Food { } 可以看到 Meat...是继承 Food 的类型,也就是说允许子类的返回值类型是重写的方法的子类。...这是为了确保如果我们使用基类型方法之一的签名来调用覆盖方法,我们仍然执行覆盖方法。

31220

了解C#的和逆

前言 在引用类型系统时,、逆和不变性具有如下定义。 这些示例假定一个名为 Base 的基类和一个名为 Derived的派生类。...Invariance 表示只能使用最初指定的类型。 固定泛型类型参数既不是,也不是逆。 你无法将 List 的实例分配给 List 类型的变量,反之亦然。...以上来自于官方文档对、逆、不变性的解释 为啥C#需要和逆?...、方法或者委托的输入参数 当要进行类型转换,占位符T要转换的目标类型也必须是其子类,上述例子则是FooBase转为Foo 总结 和逆只对泛型委托和泛型接口有效,对普通的泛型类和泛型方法无效 和逆类型必须是引用类型...,因为值类型不具备继承性,因此类型转换存在不兼容性 泛型接口和泛型委托可同时存在和逆类型参数,即占位符T 参考 泛型中的和逆 | Microsoft Docs 《你必须知道的.NET(第2

86010
领券