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

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

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

什么是不变

如果F是不变，当 C <= P 时，那么 F(C) 和 F(P) 没有任何继承关系

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

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

但是如果这样写就会报错

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

虽然 Number和 Integer存在继承关系：Integer < Number, 但在Java里，泛型默认是不变的， 因此也可以看作为 List 和List 不存在任何继承关系

什么是协变

如果F是协变的，当 C <= P 时，那么 F(C) <= F(P)

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

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

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

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

数组默认是协变的

Number[] numbers = new Integer[3];

什么是逆变

如果F是逆变的，当 C <= P 时，那么 F(C) >= F(P)

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

List list = new ArrayList