Java泛型中的协变和逆变（哈工大软件构造）

  在软件构造课程的进行中，讲到复用性和LSP原则的时候，提到了一些协变和逆变的概念，以及在特定的数据结构，如 数组 、Collections 、 泛型 中的协变和逆变情况。但在课堂上并没有完全理解，通过在课后查询资料，有一点收获，在此分享。

协变和逆变？

  简而言之，协变和逆变是用来描述类型转换前后的继承关系的两个概念。以A 、B表示类型，f(⋅)表示类型转换（f（A）表示A转换后的类型），≤表示继承关系（比如，A≤B表示A是由B派生出来的子类），其定义可概括如下：
f(⋅)是协变（covariant）的，当A≤B时有f(A)≤f(B)成立；
f(⋅)是逆变（contravariant）的，当A≤B时有f(B)≤f(A)成立；
f(⋅)是不变（invariant）的，当A≤B时上述两个式子均不成立，即f(A)与f(B)相互之间没有继承关系。
  协变和逆变的概念实际上就只有这些，下面我们以具体的例子来看看协变和逆变的应用。

数组是协变的

  我们创建类型为 Number 和 Integer 类型的两个数组，并分别输出数组的类名，代码以及运行结果如下：

Number[] n1 = new Number[1];
Integer[] n2 = new Integer[1];
System.out.println(n1.getClass().getName());
System.out.println(n2.getClass().getName());

java.lang.Number;
java.lang.Integer;

  可以发现，其结果是协变的。

泛型是不变的（类型擦除）

  给定一个以泛型编程构建的列表List<T>，如果B是A的子类型，我们会习惯性的认为List<B>是List<A>的的子类型，List<A>中随意存放B类型的元素，但实际上由于泛型结构的特殊性，泛型只存在编译阶段，在运行时会进行类型擦除，导致泛型的不变性，List<A>和List<B>实际上是一种兄弟关