在编译时捕获ArrayStoreException

Question

考虑下面的Java
ArrayList#toArray方法测试。请注意，我从这个有用的答案中借用了代码。

public class GenericTest {
    public static void main(String [] args) {
        ArrayList<Integer> foo = new ArrayList<Integer>();
        foo.add(1);
        foo.add(2);
        foo.add(3);
        foo.add(4);
        foo.add(5);
        Integer[] bar = foo.toArray(new Integer[10]);
        System.out.println("bar.length: " + bar.length);

        for(Integer b : bar) { System.out.println(b); }

        String[] baz = foo.toArray(new String[10]);       // ArrayStoreException
        System.out.println("baz.length: " + baz.length);
    }
}

但是，请注意，会有一个ArrayStoreException试图把一个时Integer进入String[]。

输出：

$>javac GenericTest.java && java -cp . GenericTest
bar.length: 10
1
2
3
4
5
null
null
null
null
null
Exception in thread "main" java.lang.ArrayStoreException
        at java.lang.System.arraycopy(Native Method)
        at java.util.ArrayList.toArray(Unknown Source)
        at GenericTest.main(GenericTest.java:16)

可以通过Java泛型在编译时防止此错误吗？

Answer 1

ArrayStoreException
之所以存在，恰恰是因为Java的类型系统无法正确处理这种情况（IIRC，在泛型出现之前，以与集合框架相同的方式改造数组为时已晚）。

因此，通常无法在编译时防止此问题。

当然，您可以创建内部API来包装此类操作，以减少意外错误输入类型的可能性。