递归类型界限的使用

Question

我的一个朋友在Java
API（https://docs.oracle.com/javase/7/docs/api/java/lang/Enum.html）中找到了这个窍门，

Class Enum<E extends Enum<E>>

并通过阅读以下文章https://docs.oracle.com/javase/tutorial/java/generics/genTypes.html我可以理解上述行在语法上的含义，但是从给出的示例中我无法弄清楚这超出了Enum类（已检查源代码）。

我想详细了解上述可能提出的解决方案。

Answer 1

例如，允许子类使用自己的类型很有用

想象一个像

class Node {
    Node next;
}

如果您扩展该类，则会陷入困境Node。

class SpecialNode extends Node {
    void foo() {
        // euwww
        SpecialNode nextNode = (SpecialNode) this.next;
    }
}

您也不能像这样定义它

class Node<T> {
    T next;
}

因为这样可以做任何事情T。您确实想要T那个，extends Node否则您将无法Node在Node不进行强制转换的情况下从内部使用T。不过，它适用于儿童班。

通过使用递归边界

class Node<T extends Node<T>> {
    T next;
}

您将T限制为您自己或您自己的子类，然后您就可以

class SpecialNode extends Node<SpecialNode> {
    void foo() {
        SpecialNode nextNode = this.next; // type-safe!
    }
}

这样，父类和子类都可以完全抽象安全地访问其抽象级别上的所有内容。