java - Java 中的泛型

Question

我想了解以下类型的语法。

例子:

public interface A < T extends A < T> > {

}

这个接口(interface)的逻辑是什么？

Answer 1

这将按如下方式使用:

class X implements A<X> { /* ... */ }

换句话说，你被强制制作A的参数类(class)X本身，以及类似 class X implements A<Unrelated> 的东西被禁止。

此构造使接口(interface)可以访问 X通过通用参数，类型限制确保它不会被滥用。例如，T现在可以假设公开所有方法 A

_{注意这个结构形式上有点类似于curiously recurring template pattern在 C++ 中(尽管它在技术上是完全不同的)。在这两种语言中，它都允许“基类”推断其最终的派生用法。}