具有多个孩子的树的数组中的泛型类型

Question

我正在尝试实现一个有多个孩子的树，并且需要以某种方式存储这些孩子。我决定可以使用a，LinkedList但我想先尝试使用数组。

（请不要使用任何导入。）

class Node<T extends Comparable<? super T>>
{
    Node<T> arrChildren[] = new Node<T>[size];
}

这是行不通的。

class Node<T extends Comparable<? super T>>
{
    Comparable<Node<T>> arrChildren[] = new Comparable[size];
    T element;
}

这行得通，但是我无法将其arrChildren[0]与普通的进行比较Node<T>，如果我将所有Node<T>s
Comparable节点都设为“我”，则无法到达其中的元素。

这是我关于堆栈溢出的第一篇文章，我希望也能获得良好的答复，我不介意批评。

谢谢。

Answer 1

泛型和数组在Java中根本混合不好。仅使用List<T>您正在考虑的实现会容易得多：

List<Node<T>> arrChildren = new LinkedList<>();

更长的解释：

数组：

• 在运行时跟踪其组件类型。
• 是协变的（a Integer[]是a Number[]是an Object[]）。

通用类型：

• 将其类型参数由编译器删除，以使其在运行时不可用。呼叫到并使用适当的强制转换为Node<String>呼叫。Node``String
• 不是协变的（一个List<Integer>是 不是 一个List<Number>）。

new Node<T>[size]不允许的原因是因为数组需要在运行时知道其组件类型，这时不再有的概念T。只new Node<?>[size]允许类似的东西。

忽略创建一个数组的限制Node<T>是不安全的，因为可能出现以下情况：

Node<Integer>[] intNodeArray = ...;
Object[] objArray = intNodeArray; //legal because arrays are covariant
objArray[0] = new Node<String>("asfd"); //should fail but doesn't

...

//sometime later
Node<Integer> intNode = intNodeArray[0]; //still doesn't fail because of erasure
Integer i = intNode.getValue(); //only now do we get a runtime exception

向Node<String>数组添加a 应该会 引发运行时异常，但这不是因为数组仅知道其组件类型为Node，而不是Node<Integer>。

有关更多信息，请参见Angelika
Langer的泛型常见问题解答：是否可以创建其组件类型为具体参数化类型的数组？