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

今天小编给大家分享一下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