Java 协变、逆变与不变

最新推荐文章于 2024-09-21 10:38:43 发布

weixin_34277853

最新推荐文章于 2024-09-21 10:38:43 发布

阅读量55

点赞数

文章标签： java

原文链接：https://segmentfault.com/a/1190000008639986

版权

逆变与协变用来 描述类型转换（type transformation）后的继承 关系，其定义：如果 X、Y 表示类型，f(⋅) 表示类型转换，≤ 表示继承关系（比如，A≤B 表示 A 是由 B 派生出来的子类）。

f(⋅) 是协变（Covariant）的，当 X≤Y 时，f(X)≤f(Y) 成立；如数组，当然，泛型也可以通过通配符（extends、super）来实现协变与逆变
f(⋅) 是逆变（Contravariant）的，当 X≤Y 时，f(Y)≤f(X) 成立
f(⋅) 是不变（Invariant）的，当 X≤Y 时上述两个式子均不成立，即 f(X) 与 f(Y) 相互之间没有继承关系。如泛型