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)?数组是否支持协变&逆变?泛型呢?