脚本宝典收集整理的这篇文章主要介绍了

Java 协变、逆变与不变

脚本宝典小编觉得挺不错的,现在分享给大家,也给大家做个参考,希望能帮助你少写一行代码,多一份安全和惬意。

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

  • f(⋅) 是协变(Covariant)的,当 X≤Y 时,f(X)≤f(Y) 成立;如数组,当然,泛型也可以通过通配符(extendssuper)来实现协变与逆变

  • f(⋅) 是逆变(Contravariant)的,当 X≤Y 时,f(Y)≤f(X) 成立

  • f(⋅) 是不变(Invariant)的,当 X≤Y 时上述两个式子均不成立,即 f(X) 与 f(Y) 相互之间没有继承关系。如泛型

总结

以上是脚本宝典为你收集整理的

Java 协变、逆变与不变

全部内容,希望文章能够帮你解决

Java 协变、逆变与不变

所遇到的程序开发问题,欢迎加入QQ群277859234一起讨论学习。如果觉得脚本宝典网站内容还不错,欢迎将脚本宝典网站推荐给程序员好友。 本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。

80%的人都看过