如果数组列表在内部使用Object[]Array，它是如何异构的

Question

arraylist在内部使用对象[]数组，该数组是同构的，那么arraylist是如何异构的

以下内容在运行时引发异常：

Object[] array = new String[3];
array[0] = "a";
array[1] = 1;   // throws java.lang.ArrayStoreException

不像下面的编译和运行没有问题

ArrayList list = new ArrayList<String>();
list.add("a");
list.add(1);    // works
list.add(new Object());  // works

Answer 1

由于它持有Object，它是所有类的父类，因此最终我们将同构变为异构。这不是定义数组表的理想方式。但技术上我们可以做到。

Answer 2

泛型是Java语言的编译时特性。在运行时，所有定义的泛型类型都被视为对象类型。因此，使用对象[]作为支持列表非常有意义。

将这两个编译为同样的事情（相同的字节码）：

ArrayList<String> list = new ArrayList<>();
ArrayList<Integer> list = new ArrayList<>();

另一方面，数组类型在编译和运行时是一致的。编译后会产生不同的字节码：

String[] arr = new String[];
Integer[] arr = new Integer[];

Answer 3

数组列表的后备数组是一个对象[]，即该数组的元素类型是对象类，而不是对象的任何子类，因此可以在其中放置任何引用类型（以及自动装箱到相应包装类型的原语）。

以下不会引发异常：

Object[] array = new Object[3];
array[0] = "a";
array[1] = 1;

您可以在ArrayList构造函数中看到后备数组的初始化：

public ArrayList(int initialCapacity) {
    if (initialCapacity > 0) {
        this.elementData = new Object[initialCapacity]; // here
    } else if (initialCapacity == 0) {
        this.elementData = EMPTY_ELEMENTDATA;
    } else {
        throw new IllegalArgumentException("Illegal Capacity: "+
                                           initialCapacity);
    }
}