Java错误：新的通用TreeNode数组

Question

我有TreeNode的通用类：

public class TreeNode<E> {
public E key;
public int num_of_children;
public TreeNode<E> [] children;


public TreeNode(int num_of_children)
{
    this.num_of_children = num_of_children;
    children = new TreeNode[num_of_children];// Why not: new TreeNode<E>[num_of_children]?
}

public TreeNode<E> clone()
{
    TreeNode<E> node = new TreeNode<E>(num_of_children);
    return node;
}

}

当我尝试做时：children = new TreeNode<E> [num_of_children];

我出错了。但是“ new TreeNode
[num_of_children]”有效。我读了有关类型擦除的文章，但我不明白为什么TreeNode<E>[]它不起作用。这是为什么？请赐教！

Answer 1

之类的东西new TreeNode<String>[]，并new TreeNode<E>[]通过Java是不允许的。您唯一可以做的就是new TreeNode[]和new TreeNode<?>[]（无界通配符参数）。

这样做的原因有些复杂，但很有启发性。Java中的数组在运行时知道它们的组件类型，并且每次您放入某些东西时，它都会检查它是否是组件类型的实例，如果不是，则会引发异常（这与数组类型如何协变有关，因此本质上在编译时是不安全的）。

Object[] foo = new Integer[5];
foo[2] = "bar"; // compiles fine, but throws ArrayStoreException at runtime

现在添加泛型。泛型组件类型的问题在于，由于从运行时类型中删除了泛型，因此TreeNode<Integer>在运行时（与相对TreeNode<String>），您无法检查对象是否是say的实例。它只能检查TreeNode，而不能检查组件类型。但是程序员可能已经期望数组中的这种检查和异常抛出行为，因为它可以正常工作。因此，为避免这种意外失败，Java禁止这样做。（在大多数代码中，无论如何您都不会遇到这个问题，因为您不会混合使用相同类型但类型参数不同的对象。但是从理论上讲是有可能的。）

当然，您可以通过以下方法解决此问题：创建原始或通配符参数类型的html" target="_blank">数组，然后强制转换为适当的类型，例如(TreeNode<Integer>)new TreeNode[5]。有什么不同？好吧，这是未经检查的强制转换，它会生成警告，而您（程序员）应对以后可能发生的所有不安全事件负责。如果它执行了某些意外操作，则编译器会说：“我们告诉您了！”。