递归类型边界的使用

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

一般来说，它对于定义超类中的一些行为很有用（例如在Enum中），它取决于特定于所讨论的类的子类型的类型信息（我实际上不久前问了一个类似的问题）。

Answer 2

这个成语几乎总是表示“E应该是子类的类型”。例如，您可能注意到Enum实现了Comparable

当类被扩展时，您可以得到如下结果：

//         E extends Enum<E> ┐
class AnEnum extends Enum<AnEnum> {...}

现在AnEnum也是一个可比的

我见过这个与奇怪的重复模板模式相关的习语。目的是超类可以泛指子类。

（由于Enum的子类是由编译器生成的，因此我认为实际上没有理由特别需要以这种方式声明Enum。它可能就是Enum

Answer 3

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

想象一个班级

class Node {
    Node next;
}

如果扩展该类，您将无法使用节点。

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

你也不能这样定义它

class Node<T> {
    T next;
}

因为这将允许T的任何内容。您真的需要一个扩展Node的T，或者您不能再将T用作Node从Node中的Node而不进行转换。不过，它适用于子类。

通过使用递归边界，如

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

你将T限制在自己或自己的子类中，然后允许你这样做

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

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