java - 泛型、数组和 ClassCastException

Question

我认为这里一定发生了一些我不知道的微妙事情。请考虑以下事项:

public class Foo<T> {
  private T[] a = (T[]) new Object[5];

  public Foo() {
    // Add some elements to a
  }

  public T[] getA() {
    return a;
  }
}

假设您的主要方法包含以下内容:

Foo<Double> f = new Foo<Double>();
Double[] d = f.getA();

您将收到一个 CastClassException 消息 java.lang.Object cannot be cast to java.lang.Double。

谁能告诉我为什么？我对 ClassCastException 的理解是，当您尝试将对象转换为无法转换的类型时抛出它。也就是说，对于它不是实例的子类(引用文档)。例如:

Object o = new Double(3.);
Double d = (Double) o; // Working cast
String s = (String) o; // ClassCastException

看来我可以做到这一点。如果 a 只是一个 T 而不是数组 T[]，我们可以得到 a 并在没有一个问题。为什么数组会破坏这个？

谢谢。

Answer 1

Foo<Double> f = new Foo<Double>();

当你使用这个版本的泛型类 Foo 时，那么对于成员变量 a，编译器本质上是采用这样一行:

private T[] a = (T[]) new Object[5];

并用 Double 替换 T 得到这个:

private Double[] a = (Double[]) new Object[5];

您不能从 Object 转换为 Double，因此会出现 ClassCastException。

更新和澄清:实际上，在运行一些测试代码后，ClassCastException 比这更微妙。例如，这个 main 方法可以正常工作，没有任何异常:

public static void main(String[] args) {
    Foo<Double> f = new Foo<Double>();
    System.out.println(f.getA());
}

当您尝试将 f.getA() 分配给 Double[] 类型的引用时会出现问题:

public static void main(String[] args) {
    Foo<Double> f = new Foo<Double>();
    Double[] a2 = f.getA(); // throws ClassCastException
    System.out.println(a2);
}

这是因为关于成员变量a 的类型信息在运行时被删除。泛型仅在编译时 提供类型安全(我在最初的帖子中以某种方式忽略了这一点)。所以问题不在于

private T[] a = (T[]) new Object[5];

因为在运行时这段代码确实是

private Object[] a = new Object[5];

当方法 getA() 的结果(在运行时实际上返回一个 Object[])被分配给类型为 Double 的引用时，就会出现问题[] - 此语句抛出 ClassCastException，因为 Object 无法转换为 Double。

更新 2:回答您的最后一个问题“为什么数组会破坏它？”答案是因为语言规范不支持创建泛型数组。 See this forum post for more - 为了向后兼容，运行时 T 的类型一无所知。