ts 协变和逆变一个不怎么有趣的问题

最新推荐文章于 2024-04-23 22:51:31 发布

阿豪boy

最新推荐文章于 2024-04-23 22:51:31 发布

阅读量214

点赞数

文章标签： java 编程语言 android mybatis vue

本文链接：https://blog.csdn.net/qq_35516360/article/details/122064983

版权

本文探讨了在TypeScript中函数类型、数组类型的协变和逆变概念。函数类型的参数是逆变的，返回值是协变的，例如(Dog->Dog)的子类型可能是(Animal->D1)，其中D1是Dog的子类。而对于数组，如果列表不可变，List是List的子类；如果可变，为了安全性，其参数类型不能协变。在Java中，数组是协变的但不安全。

摘要由CSDN通过智能技术生成

原文链接: ts 协变和逆变一个不怎么有趣的问题

上一篇: ts utility-types 源码解读 Object operators

下一篇: 基于C的WebAssembly 和 Web Worker

https://segmentfault.com/a/1190000022724899

我们将基础类型叫做T，复合类型叫做Comp<T>：

协变 (Covariant)：协变表示Comp<T>类型兼容和T的一致。
逆变 (Contravariant)：逆变表示Comp<T>类型兼容和T相反。
双向协变 (Covariant)：双向协变表示Comp<T>类型双向兼容。
不变 (Bivariant)：不变表示Comp<T>双向都不兼容。