java - 为什么我不能分配给这个通用变量？

Question

我正在尝试实现一个节点是通用的树:

public class BinarySearchTree<U extends BinarySearchTree.Node, T extends Comparable<? super T>> 
{
    public U root;
    ...

    public class Node {
        T data;
        U left;
        U right;

        public Node(T data) {
            this.data = data;
            left = null;
            right = null;
        }
    }
}

但是当我尝试在我的一种方法中进行赋值时，我得到一个“Expected U but found BinarySearchTree.Node:

public void display(U root) {
    if (root != null) {
        display(root.left); // gives compile time error
        System.out.print(" " + root.data);
        display(root.right); // gives compile time error
    }
}

Answer 1

由于 Node 不是静态的，每个 Node 实例都属于一个包含 BinarySearchTree 的实例。但是泛型不可能指定它属于哪一个。因此，如果您指定 BinarySearchTree.Node，它可以属于任何 BinarySearchTree。由于您还使用了原始类型(不要忽略警告!)，因此不知道 U 是什么。因此，Java 无法检查 root.left 和 root.right 是否属于同一类型，这就是您收到错误的原因。

您可以通过如下指定类来修复编译错误:

class BinarySearchTree<U extends BinarySearchTree<U,T>.Node, T extends Comparable<? super T>> 
{ ... }

但这并没有解决节点可以属于任何包含 BinarySearchTree 的潜在问题，这可能不是您想要的。

如果你真的想使用一个通用的节点类型，你可以让它成为静态的，这样它就不再属于包含实例了:

public static class Node<U,T> 
{
    ...
}

但我首先质疑是否需要一个通用节点类。通常，此类节点被视为实现细节，您希望完全控制从您的类中创建它们。这不适用于通用节点，因为您的类不知道要实例化哪种节点。

所以我将按如下方式定义您的 BinarySearchTree 类:

public class BinarySearchTree<T extends Comparable<? super T>>
{
    private Node<T> root;

    private static class Node<T> 
    {
        T data;
        Node<T> left;
        Node<T> right;
    }

    ...
}