Java协变、逆变、类型擦除。列表优先于数组

什么是协变、逆变、类型擦除。

假设F(X)代表Java中的一种代码模式，其中X为此模式中可变的部分。如果B是A的派生类，而F(B)也享受F(A)派生类的待遇，那么F模式是协变的，如果F(A)反过来享受F(B)派生类的待遇，那么F模式是逆变的。如果F(A)和F(B)之间不享受任何继承待遇，那么F模式是不变的。

• 总结：
  是否享受继承待遇：
  数组 Object[] = Apple[] 协变
  某个东西 Apple * = Object * 就是逆变
  泛型 是不能够享受 所以是不可变

数组是协变的、具体化的。泛型是不可变的、编译时强化、运行时擦除的。

数组是协变可具体化的，泛型是不可变的且可以被擦除的。

数组提供了运行时的类型安全但是没有编译时的类型安全，所以有些错误需要等到运行的时候才发现。

而列表<泛型> 时相反的，在编译时强化对类型安全的判定，而在运行时进行类型擦除。 能够更早的发现错误。

所以 列表优先于数组。