java逆变与协变(待完善)

Posted uuhh

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了java逆变与协变(待完善)相关的知识,希望对你有一定的参考价值。

协变:若B是A的子类,且F(B)是F(A)的子类,则F为协变

逆变:若B是A的子类,且F(B)是F(A)的父类,则F为逆变

java中的协变:B是A的子类,则List是List的子类

java中的逆变:B是A的子类,则List是List的子类

java中协变与逆变的约束:java中的协变逆变和约束,都是出于对多态的应用。

多态:同一个接口,使用不同的实例执行不同的操作。

协变约束:协变方法支持对传入参数的读操作,但不支持修改操作

逆变约束:

 

以上是关于java逆变与协变(待完善)的主要内容,如果未能解决你的问题,请参考以下文章

[JAVA冷知识]什么是逆变(contravariant)与协变(covariant)?数组是否支持协变&逆变?泛型呢?

[JAVA冷知识]什么是逆变(contravariant)与协变(covariant)?数组是否支持协变&逆变?泛型呢?

Java中的逆变与协变

Java中的逆变与协变

逆变与协变详解

逆变(contravariant)与协变(covariant)