在泛型中接受自己作为类型参数有什么用

Question

我在一个不相关的问题上看到了一些代码，但这让我很好奇，因为我从未见过 Java 泛型的这种构造。创建一个可以作为类型参数本身或其后代的泛型类有什么用。这是示例：

abstract class A<E extends A<E>> {
    abstract void foo(E x);
}

首先想到的是一个以列表为参数的列表。使用这段代码感觉很奇怪，你如何声明一个类型为 A 的变量？递归声明！？

这还有效吗？如果是这样，你们中有人在代码中看到了吗？它是如何使用的？

---

编辑

事实上，我的问题与this one 相同，只是措辞不同，但该问题的答案也会回答我的问题。

也感谢您对Curiously Recurring Template Pattern 的引用，它提供了一些历史背景和对该主题的进一步解释。

这个老 blog entry 可能给出了我为我们 Java 人找到的最好的全面解释。

现在很难在这里选择正确的答案，因为它们都很有帮助，所以我会选择最终产生最多阅读材料的那个（参考上文）

Answer 1

没有这个，foo 方法的参数不能绑定到类型E。

如果您有此抽象类的实现B，您现在可以强制该方法foo 还要求其参数为B 类型。

 class B extends A<B> {
      void foo (B x){}
 }

否则，foo 将不得不采用任何种A。

我同意这个语法不够优雅。

Answer 2

泛型不仅仅适用于列表等容器。这种“扩展自身”类型参数用于让超类在方法参数和返回类型等位置引用子类，即使在编译超类时没有实际的特定子类可用。它类似于 C++ 中的curiously recurring template pattern。

您的示例的子类将被声明为

class Foo extends A<Foo>

继承的foo()方法变成了

void foo(Foo x)

了解A 如何定义一个采用Foo 参数的方法，即使它实际上并不知道Foo？

是的，这种事情很不寻常，但并非闻所未闻：内置的Enum 类使用了类似的技巧。