public class Covariant_array {
public static void test() {
Object[] sObjects=new String[10];
sObjects[1]=19;
}
public void test1() {
//List<Object> sArrayList=new ArrayList<String>();
}
public static void main(String[] args) {
test();
}
}
test部分编译可以通过,运行出错,而test1编译无法通过。
因为数组具有共变性。一个Object[]类型的引用可以指向一个String[]对象,所以编译时通过。而运行时错误是因为运行时数组才回去判读具体的类型,具体化后发现类型不同,所以运行错误。
而对于泛型来说,泛型会擦除,所以在编译时就无法通过。