为什么我不能将对象数组强制转换为泛型类的泛型子类的数组？

Question

此代码有效。它以“未检查或不安全操作”警告进行编译和运行。

class Foo<T> {
  T[] items = (T[]) new Object[10];

  public static void main(String[] args) {
    Foo<Integer> foo = new Foo<Integer>();
  }
}

当这两个给我运行时错误时

class Foo<T> {
  class FooItem { T item; }

  FooItem[] items = (FooItem[]) new Object[10];

  public static void main(String[] args) {
    Foo<Integer> foo = new Foo<Integer>();
  }
}

class Foo<T> {
  static class FooItem<E> { E item; }

  FooItem<T>[] items = (FooItem<T>[]) new Object[10];

  public static void main(String[] args) {
    Foo<Integer> foo = new Foo<Integer>();
  }
}

我遇到的错误如下：

Answer 1

您的foo类的所有版本都有同样的问题。您忽略的类型安全：Unchecked cast from object[]to x警告只显示了它在执行过程中不同阶段的后果。

以下是打破第一个版本的方法：

class Foo<T> {
    T[] items = (T[]) new Object[10];

    public static void main(String[] args) {
        Foo<Integer> foo = new Foo<Integer>();

        Integer i = foo.items[1] * 2;
    }
}

它和...同样的问题：

Exception in thread "main" java.lang.ClassCastException: [Ljava.lang.Object; cannot be cast to [Ljava.lang.Integer;
    at stackoverflow.Foo.main(Main.java:17)

正如不能将new Object()强制转换为integer一样，也不能将new Object[10]强制转换为integer[]。只是这个类强制转换异常只在运行实际强制转换时才显示出来。对于第一个代码片段，它不是在声明语句t[]items=(t[])new object[10]；（因此出现警告）上运行，而是在items用作t的类型参数时运行。

您的其他版本更早地显示了这个问题，只是因为它们强制转换为具体类型，如(Fooitem[])new Object[10]，导致声明语句本身崩溃。
为什么编译器允许这种强制转换？因为类型关系是有效的，所以假定这样的代码

Object[] items = new Integer[10];
Integer[] i = (Integer[])items;
Integer val = i[0];

是有效和受支持的。