递归类型边界的使用答案

【问题标题】：Uses of recursive type bounds递归类型边界的使用
【发布时间】：2014-11-27 18:38:20
【问题描述】：

Class Enum<E extends Enum<E>>

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

我想详细了解以上可能提供解决方案的可能问题。

【问题讨论】：

【解决方案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 中使用 T 作为 Node 而不进行强制转换。不过它适用于子类。

通过使用递归边界，如

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

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

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

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

【讨论】：

【解决方案2】：

这个成语几乎总是意味着'E 应该是子类的类型'。例如，您可能会注意到 Enum implements Comparable<E>。

当类被扩展时，你会得到类似的东西：

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

现在 AnEnum 也是一个 Comparable<AnEnum> 并且 getDeclaringClass 返回一个 Class<AnEnum>。

我见过这个与curiously recurring template pattern 相关的成语。目的是超类可以泛指子类。

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

【讨论】：

【解决方案3】：

通常，它对于定义超类（例如Enum）中的某些行为很有用，这取决于特定于所讨论类的子类型（I actually asked a similar question a wee while ago）的类型信息。

【讨论】：