Java 共变数组和类型擦除

共变数组（covariant array）, 类型擦除（type erasure）

数组的共変性

如果类A是类B的基类，那么A[]是B[]的基类
但泛型是不可变的(invariant)
看一个例子：

编译的时候没有报错（IDEA没有报红在写上这段代码的时候），因为数组是共变的，Object是String的基类，但运行时会报错

类型擦除

把上面的代码改成：

IDEA就报红了，我们也强行运行一下这个java

发现在build（编译）的过程就报错了，因为就是类型擦除。
Java的泛型机制是在编译级别实现的，只有编译的时候才会对类型进行强化，编译器生成的字节码在运行期间并不包含泛型的类型信息（泛型的类型信息是会被擦除的）。
Object是String的基类，但在泛型类型里List< Object>并不是List< String>的基类，不能这么使用

为什么Java不允许泛型数组

直接就报错了

不允许创建泛型数组
假设允许创建的话，上面的代码obj就可以当做list1的基类，obj[0]是一个String的list，最后以为list_int.get(0)是一个Integer类型，可实际上是String，那么在调用方法的时候就会出错，这样做将破坏要提供的类型安全泛型
上面例子可能稍复杂，见下：

如果允许泛型也是共变的话，那么就可以放任意类型的数据进去List< Integer>中，这就破坏了蕴含在 list2定义中的类型安全承诺