Java 递归通用模板：... S extends Writer> 是什么意思？扩展实体

Question

有人可以解释下面相当复杂的递归通用模板用法吗？

public abstract class Data<E extends Data<E, S>,
                           S extends Writer<E>> extends Entity<E,S>

像上面一样，在使用递归泛型时我们应该记住什么。以及这些类型之间的关系和规则如何，这里是E & S？

如果有的话，请提供一些有关此类通用用法的资源/链接/书籍。 我知道一本讨论这个问题的书，Effective Java，第二版，作者：Joshua Bloch（第 27 项）

Answer 1

让我们从最简单的开始

S extends Writer<E>

任何类型 S 的类都必须是类 E 的编写者

extends Entity<E,S>

这里只是继承，Data 类扩展了 Entity 类。

E extends Data<E, S>

用于 E 的任何类本身都必须从 Data 类继承，并使用其自己的类型和与其自身兼容的编写器继承/实现 Data 的通用方法。

E与E之间的关系S 应该类似于以下内容：

//E = Example, S = ExampleWriter
public class ExampleWriter implements Writer<Example>{
//...
}
public class Example extends Data<Example,ExampleWriter>{
//...
}

要记住：使用提供 Writer 或 Writer 的泛型可能会或可能不会创建编译器错误，这取决于两个泛型类型中定义的泛型方法。

Answer 2

Data 有两个参数，E 最终必须是其自身的实例，S 必须能够 Writer > 自身的实例（更具体地说，由 E 指定的同一类型的自身实例）。最后，Data 还限定为/继承由相同 E 和 S 参数化的 Entity 的功能> （即 Entity 属于 Data 和 Writer）。

具体实现可能类似于

NumericalData extends Data，其中 NumWriter 实现/扩展 Writer 和 NumericalData 也符合 Entity 的资格。

编辑：

为什么要做这样的事情？人们可能希望在抽象类中定义通用方法，这些方法依赖于满足条件 Data 的参数/返回，但也希望能够返回/使用更显式的类型。例如，在 Data 中，可能有

E doSomething(E toThis) { toThis.aDataClassMethod(); return toThis; }

该类可以进行第一个调用，因为它知道 E 是一个 Data;，并返回更具体的类型，因为它知道 toThis 是 E。

老实说，递归泛型通常是通往聪明之路。它们可能很有用，但很多时候它们只是“简洁”，人们试图通过一些巧妙的方法来解决问题，而不是反之亦然。

Answer 3

我同意 Carl 的观点，即递归类型往往会“聪明”，但会牺牲可用性。然而，在很多情况下，Java rtl 应该使用这种习惯来强制执行严格的类型安全，并避免我们作为类库遇到的麻烦。

例如，即使是 Object 也应该是一个抽象递归类型，至少可以强制执行严格的相等规则：

public abstract class Object<T extends Object<T>> {
  ...
  public boolean equals( o :T ) {
     ...
  }
}

在 equals() 实现中不再进行 instanceof 检查，更重要的是，可以更好地进行 equals 编译时检查() 调用。

也就是说，也许更合适且不太复杂的功能是“自我”类型......