java中cast arraylist和cast array之间的区别[重复]

Question

正如乔恩对此post 的回答所说，如果编译器允许这种转换（如下所示），那么稍后添加一些其他对象对程序来说可能是一件坏事。

    ArrayList<String> temList = new ArrayList<String>();
    ArrayList<Object> obList = (ArrayList<Object>)temList;//compile error
    //obList.add(1); --bad

但让我困惑的是为什么在相同的情况下，数组有不同的行为。

    String[] strings = new String[10];
    Object[] temp = (Object[])strings;//nothing happens

那么谁能解释一下这里的区别是什么以及为什么java会做出这样的设计？谢谢。

编辑：一个类似的question

Answer 1

如果数组的组件类型可分配给已分配数组的组件类型，则数组被设计为允许协变分配。类型检查是由 JVM 在运行时完成的，如果尝试将值存储在不兼容的数组中，则会抛出 ArrayStoreException。使用得当，这可以表达数组的协变类型，这通常很方便。

但是，这种语言特性可能会导致分散的运行时异常，Sun 不想为 Java 5 引入的泛型类型分配重复这些异常。相反，Sun 希望在编译时发现这种无效使用。这似乎特别重要，因为泛型引入了比数组类型更复杂的类型系统组件，因此如果 Sun 做出不同的决定，类似于 ArrayStoreException 的运行时错误肯定会变得更加普遍。相反，对于泛型，协变和逆变问题由通​​配符解决，允许在编译时而不是运行时发现类型错误。

Answer 2

数组不是 100% 的对象，它们是平凡的对象。但是ArrayList 100% 的对象。

如果您尝试将 Integer 分配给 temp 数组，它将抛出 ArrayStoreException。

所以转换数组很好。

但是将ArrayList 转换为底层ArrayList 实现只能保存一个字符串（子类）的超级对象会在运行时引起问题。

感谢泛型，编译器可以在它发生之前识别它并显示编译器错误。这是一个很好的设计，否则程序会在运行时失败。

在 Java 1.5 泛型之前

List list = new ArrayList();
list.add(1);
list.add("One");
list.add(100l);

编码人员必须进行大量instanceof 检查是合法的。他们未能检查程序在运行时崩溃的地方。