Java递归泛型是否可以被视为继承和重写的语法糖

在这种编写构建器的情况下，使用递归泛型参数(也就是CRTP)只是为了避免调用方的大量强制转换.也就是说，如果您首先调用超类中的方法之一，则需要将其强制转换为子类以继续构建子类的字段，例如

(
    (DogBuilder)new DogBuilder().setName("Foo") // setName() makes it an AnimalBuilder
).setBreed("Bar").build()

不过，我不会把它叫做"句法糖".语法糖通常指的是只需lowers个代码的语言功能.这里没有贬低的意思.编译器does在其可能的情况下在这里强制执行泛型.例如，你不能把DogBuilder传递给期望AnimalBuilder<CatBuilder>的东西.

还请注意，使用CTRP时，在传递AnimalBuilder时必须提供泛型类型参数.有人可能会说，这是一个轻微的不便.

不过，一般而言，CRTP可以做的不仅仅是简单的继承.这基本上是Java中缺少"self"类型的解决方案.如果您想要一个方法总是接受一个"不管这是什么子类"的实例，您可以这样做

abstract class Animal<TSelf extends Animal<TSelf>> {
    public abstract TSelf makeBabiesWith(TSelf other);
}

这至少为您提供了一定程度的编译时安全性.人们不会意外地错过你意想不到的东西(尽管如果他们真的想要的话，他们仍然可以).如果你用简单的继承来做到这一点，

abstract class Animal {
    public abstract Animal makeBabiesWith(Animal other);
}


class Dog {
    public abstract Dog makeBabiesWith(Animal other) {
        // you must check this:
        if (other instanceof Dog) {
            // ...
        } else {
            throw new Exception(); // or something similar
        }
    }
}

人们可能会意外地传入非Dog到Dog.makeBabiesWith的值，而编译器对此完全没有意见.

我还建议看看龙目鱼的@SuperBuilder是如何工作的.它使用两个递归泛型类型参数，如下所示.一个表示"当前构建器类型"，如您所示，另一个表示"这个构建器正在构建什么"，以实现toBuilder特性.