首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Swift 之类型的协变与逆变

List 是和它的原来类型协变(共同变化)的。...() -> Cat 和 () -> Animal 的关系与 Cat 和 Animal 之间的关系一致,也就是说是在 Swift 中函数的返回值是协变的。...也就是说函数的参数是逆变的。 得到的结论是: 函数的参数是逆变的,返回值是协变的。 我们知道了变化的规则,就能判断出类型的关系,就可以知道一个类型是否可以替换另外一个类型。...其他类型的协变和逆变 上面我们提到了函数的参数和返回值的分别是逆变和协变,在 Swift 中除了函数,还有属性(property),范型(Generic)等。...对于范型来说,范型本身其实没有特殊的变化,它的变化与范型使用的环境紧密相关,如果是用作函数的返回值或者覆盖父类的 readonly 属性,它的协变的,如果用做函数的参数,它是逆变的,如果是用做覆盖父类的

92620

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

String 类型的 ArrayList 记录了 toString 方法返回值的泛型信息。...泛型的逆变 定义有如下方法: interface Filter { public boolean test(E element); } //根据传入的filter过滤器过滤列表并返回被过滤的元素...image.png 逆变后的继承关系 image.png 因此 Number 类型的 filter 过滤类可以认为是逆变之后的 Double 类型的 Filter 的子类型。...通过逆变,可以让泛型的约束变得更加宽松。 与协变不同,逆变放宽的是对父类的约束,而协变放宽的是对子类的约束。 但同样,逆变放宽类型约束是存在一定代价的: List类型的泛型对象可以进行赋值,但同样会失去调用 add 存储功能时传递该泛型对象的能力: //泛型的协变 List<?

78030
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

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

    逆变和协变 先来段维基百科的定义: 协变与逆变(covariance and contravariance)是在计算机科学中,描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父...协变(Covariance) 那么想象一下,现在我们分别有这两个子类型的数组,他们之间的父子关系应该是怎么样的呢?...那么,对于 type MakeArray = T[] 这个类型构造器来说,它就是 协变(Covariance) 的。...在 TS 中 当然,在 TypeScript 中,由于灵活性等权衡,对于函数参数默认的处理是 双向协变 的。...结语 这篇文章结合我自己最近学习类型相关知识的一些心得整理而成,如果有错误或者疏漏欢迎大家指出。 参考资料 Subsets & Subtypes TypeScript 官方文档 维基百科-协变与逆变

    1.3K31

    文件夹变无类型的文件的数据恢复方法

    文件夹变无类型的文件是计算机使用过程中常见的故障之一,造成这种情况的原因有很多,同时也有相应的解决方法。...一、文件夹变无类型的文件的原因:病毒感染:恶意软件或病毒可能会修改文件夹的属性,使其变为无类型文件。文件系统错误:例如NTFS或FAT32的文件系统错误可能导致文件夹变为无类型。...四、如何正确使用,避免出现文件夹变无类型的文件丢失数据:定期维护存储设备,包括磁盘检查、碎片整理等。安装可靠的安全软件,包括杀毒软件和防火墙,并定期更新病毒库。...关注操作系统的更新与安全警告,及时采取措施应对潜在的安全风险。提高自己的计算机知识和安全意识,以更好地保护数据和设备的安全。总结:文件夹变无类型的文件是一个可能由多种原因导致的问题。...在遇到文件夹变无类型的问题时,可以根据具体情况选择合适的方法进行解决。

    40400

    在Java中为什么不同的返回类型不算方法重载?

    从方法签名的组成规则我们可以看出,方法的返回类型不是方法签名的组成部分,所以当同一个类中出现了多个方法名和参数相同,但返回值类型不同的方法时,JVM 就没办法通过方法签名来判断到底要调用哪个方法了,如下图所示...: 那为什么返回类型不能做为方法签名的一部分呢?...,所以方法的返回类型不能作为方法签名的一部分。...方法返回类型不能作为方法重载的依据,因为它不是方法签名的组成部分。...方法重载有 5 个匹配原则:精准匹配、基本类型自动转换成更大的基本类型匹配、自动装/拆箱匹配、按照继承路线依次向上匹配、可变参数匹配。 参考资料:《码出高效》

    3.4K10

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

    (与代码中能被替换的类型有关) 子类型的方法参数必须是支持逆变的 子类型的返回类型必须是支持协变的 子类型不能引发不属于已有异常层次结构中的新异常 契约 我们经常会说,要面向接口编程或面向契约编程。...因为不使用泛型类型,C#方法的返回类型就不是协变的。换句话说,这种情况下(普通类)的继承是不具备协变能力的。...EntityRepository和UserRepository两个类的父子继承关系也得以保留。 逆变 协变是与方法返回类型的处理有关,而逆变是与方法参数类型的处理有关。...C#语言的方法参数类型和返回类型都是不可变的,只有在设计泛型时才能将类型定义为可协变的或可逆变的。...Liskov类型系统规则 子类型的方法参数必须是支持逆变的 子类型的返回类型必须是支持协变的 子类型不能引发不属于已有异常层次结构中的新异常 异常机制的主旨就是将错误的汇报和处理环节分隔开。

    1.3K20

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

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

    47820

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

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

    1.3K40

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

    什么时候生成桥接方法? 为了实现哪些Java语言特性会生成桥接方法?最常见的两种情况就是协变返回值类型和类型擦除,因为它们导致了父类方法的参数和实际调用的方法参数类型不一致。...协变返回类型 协变返回类型是指子类方法的返回值类型不必严格等同于父类中被重写的方法的返回值类型,而可以是更 "具体" 的类型。...在Java 1.5添加了对协变返回类型的支持,即子类重写父类方法时,返回的类型可以是子类方法返回类型的子类。...方法,Parent的get方法返回类型为Number,而Child类中get方法返回类型为Integer。...因为在JVM方法中,返回类型也是方法签名的一部分,而桥接方法的签名和其父类的方法签名一致,以此就实现了协变返回值类型。

    32050

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

    什么时候生成桥接方法? 为了实现哪些Java语言特性会生成桥接方法?最常见的两种情况就是协变返回值类型和类型擦除,因为它们导致了父类方法的参数和实际调用的方法参数类型不一致。...协变返回类型 协变返回类型是指子类方法的返回值类型不必严格等同于父类中被重写的方法的返回值类型,而可以是更 “具体” 的类型。...在Java 1.5添加了对协变返回类型的支持,即子类重写父类方法时,返回的类型可以是子类方法返回类型的子类。...方法,Parent的get方法返回类型为Number,而Child类中get方法返回类型为Integer。...**因为在JVM方法中,返回类型也是方法签名的一部分,而桥接方法的签名和其父类的方法签名一致,以此就实现了协变返回值类型。

    78441
    领券