1、数组的协变性是指:
base类是sub类的基类,那么base[]也是sub[]的基类。数组是在运行时才去判断数组元素的类型约束
数组的协变性会导致一些错误:编译时可以通过但是运行时会报异常(ArrayStoreException)。
public static void main(String[] args) { Object[] array = new String[10]; array[0] = 10; }
因为数组是协变的,Object是String的基类,Object[]类型的引用可以指向一个String[]类型的对象 。
2、 泛型不是协变的,在运行时,泛型的类型信息是会被擦除的,只有编译的时候才会对类型进行强化。