Java泛型之协变、逆变、extends与super选择方法

要了解协变与逆变，首先要引入：

根据 Liskov替换原则，如果C是P的子类，则P可以代替C，即 P p = new C();C继承于P，记做为 C

什么是不变

如果F是不变，当 C

除例如 Integer是 Number的子类，根据 Liskov替换原则

Number number = new Integer(1);  //correct

但是如果这样写就会报错

List list = new ArrayList(1);  //error

虽然 Number和 Integer存在继承关系：Integer List 和List 不存在任何继承关系

立即学习“Java免费学习笔记（深入）”；

什么是协变

如果F是协变的，当 C

Java 提供了一个extends来将不变转为协变，例如：

List list = new ArrayList(1);  //corrent

此时的List extends Number>可以看作为ArrayList的父类

? extend Number可以看作为一个类型范围，表示Number的某一个子类

数组默认是协变的

Number[] numbers = new Integer[3];

什么是逆变

如果F是逆变的，当 C = F(P)

Java 提供了一个super来将不变转为协变，例如：

List list = new ArrayList