数组的协变性与范型的不可变性

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、 泛型不是协变的,在运行时,泛型的类型信息是会被擦除的,只有编译的时候才会对类型进行强化。 
原文地址:https://www.cnblogs.com/fatfatdachao/p/3269523.html