java - 为什么下面的代码没有抛出 ArrayStoreException？

Question

private static void genericArrayTest() {
    ArrayList<? extends Exception>[] exceptionListArray = new ArrayList[10]; 
    Object[] exceptionObjectListArray  = exceptionListArray;

    ArrayList<String> wrongArrayList = new ArrayList<String>();
    wrongArrayList.add("String One");

    ArrayList<NullPointerException> exceptionList = new ArrayList<>();

    ArrayList rawList = new ArrayList();

    exceptionListArray[0] = exceptionList;
    //exceptionListArray[0] = wrongArrayList; // Compile error?
    //exceptionListArray[0] = rawList;

    exceptionObjectListArray[0] = wrongArrayList; 
// No compile time error, there is no ArrayStoreException why ?

    ArrayList<? extends Exception> list = exceptionListArray[0]; // No exception here as well ??
    Exception e = list.get(0); 
// Exception only when accessing data, why not ArrayStoreException when we stored wrong list ??
    System.out.println();
}

谁能解释一下这是怎么回事？

谷歌搜索说下面的数组声明是允许的
ArrayList<Exception>[] exceptionListArray = new ArrayList[10];
但不是这个
ArrayList<Exception>[] exceptionListArray = new ArrayList<Exception>[10];
这两个声明之间有什么区别？为什么允许一个而不允许另一个？

Creating an array to store generic types in Java正在谈论如何创建通用数组。但是这个问题不是关于如何创建通用数组，而是关于为什么在运行时不抛出 ArrayStoreException 以及 java 中通用数组创建语法的差异

Answer 1

在 Java 中，泛型参数化没有类来区分它们:

ArrayList<Exception> : class is ArrayList
ArrayList<String>    : class is ArrayList

这是因为泛型是用 type erasure 实现的，这意味着在编译期间，它们被转换为替换:

ArrayList<Exception> list = new ArrayList<Exception>();
list.add(new Exception());
Exception e = list.get(0);

变成:

ArrayList list = new ArrayList();
list.add(new Exception());
Exception e = (Exception) list.get(0);

没有ArrayStoreException被抛出是因为 ArrayList<Exception>和 ArrayList<String>在程序执行期间具有相同的类型。

通用数组是不允许的，因为在执行期间无法对类型参数执行这些检查。 (因为类型参数不存在了。)

当我们有这个时:

ArrayList<Exception>[] a =
    new ArrayList[10];

这称为未经检查的转换。 a实际上是一个 ArrayList[] , 一个存储任何 ArrayList 的数组但我们基本上说 “暂时假装它是 ArrayList<Exception>[]”。数组对象 a指向的仍然是一个 ArrayList[] .

---

看下面的程序来说明:

import java.util.*;

class Example {
    public static void main(String[] args) {
        ArrayList<Exception> a = new ArrayList<Exception>();
        ArrayList<String>    b = new ArrayList<String>();

        System.out.println("ArrayList<Exception> class is:");
        System.out.println("\t" + a.getClass());
        System.out.println("ArrayList<String> class is:");
        System.out.println("\t" + b.getClass());
        System.out.println(
            "ArrayList<Exception> class == ArrayList<String> class:");
        System.out.println("\t" + ( a.getClass() == b.getClass() ));

        ArrayList<Exception>[] c = new ArrayList[0];
        ArrayList<String>[]    d = new ArrayList[0];

        System.out.println("ArrayList<Exception>[] class is:");
        System.out.println("\t" + c.getClass());
        System.out.println("ArrayList<String>[] class is:");
        System.out.println("\t" + d.getClass());
        System.out.println(
            "ArrayList<Exception>[] class == ArrayList<String>[] class:");
        System.out.println("\t" + ( c.getClass() == d.getClass() ));
    }
}

http://ideone.com/dfCZjy

输出:

ArrayList<Exception> class is:
    class java.util.ArrayList
ArrayList<String> class is:
    class java.util.ArrayList
ArrayList<Exception> class == ArrayList<String> class:
    true
ArrayList<Exception>[] class is:
    class [Ljava.util.ArrayList;
ArrayList<String>[] class is:
    class [Ljava.util.ArrayList;
ArrayList<Exception>[] class == ArrayList<String>[] class:
    true