什么是协变、逆变、类型擦除。
假设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 * 就是逆变
泛型 是不能够享受 所以是不可变
数组是协变的、具体化的。泛型是不可变的、编译时强化、运行时擦除的。
数组是协变可具体化的,泛型是不可变的且可以被擦除的。
数组提供了运行时的类型安全但是没有编译时的类型安全,所以有些错误需要等到运行的时候才发现。
而列表<泛型> 时相反的,在编译时强化对类型安全的判定,而在运行时进行类型擦除。 能够更早的发现错误。
所以 列表优先于数组。