如何创建多层泛型子类并使参数为子类类型？支持任意层级子类方案

首先得指出你原来代码里的核心问题：Duck类本身没有定义泛型参数，所以Mallard extends Duck<Mallard>这种写法是编译不通过的——Duck不是泛型类，没法接收<Mallard>这个类型参数。要支持任意层级的子类，我们需要让每一层父类都保留泛型传递的能力，确保每个子类都能把自己的类型“告诉”上层父类。

重构后的泛型类结构 #

我们需要调整Animal和Duck的泛型定义，让泛型参数沿着继承链传递下去：

1. 顶层抽象类Animal #

保持它的自限定泛型约束，确保子类必须传递自身类型作为泛型参数：

public abstract class Animal<A extends Animal<A>> {
    public abstract A copyAnimal(A animal);
}

2. 中间层Duck改为泛型类 #

让Duck也使用自限定泛型，继承Animal时传递自己的泛型参数，这样它的子类就能继续传递自身类型：

public abstract class Duck<D extends Duck<D>> extends Animal<D> {
    // 这里可以实现Duck通用的copy逻辑，或者留空让子类实现
    @Override
    public abstract D copyAnimal(D duck);
}

3. 具体子类Mallard #

现在Mallard可以正确继承Duck<Mallard>，并实现参数为Mallard类型的copyAnimal方法：

public class Mallard extends Duck<Mallard> {
    @Override
    public Mallard copyAnimal(Mallard mallard) {
        // 这里实现Mallard的复制逻辑，比如new Mallard()并复制属性
        Mallard copy = new Mallard();
        // 复制mallard的属性到copy中
        return copy;
    }
}

4. 扩展更多层级的子类 #

如果还要加一层子类，比如RedMallard，只需要沿用同样的模式：

public class RedMallard extends Duck<RedMallard> {
    @Override
    public RedMallard copyAnimal(RedMallard redMallard) {
        RedMallard copy = new RedMallard();
        // 复制属性
        return copy;
    }
}

或者如果Mallard也需要作为父类被扩展，那把Mallard改成抽象泛型类即可：

public abstract class Mallard<M extends Mallard<M>> extends Duck<M> {
    @Override
    public abstract M copyAnimal(M mallard);
}

public class RedMallard extends Mallard<RedMallard> {
    @Override
    public RedMallard copyAnimal(RedMallard redMallard) {
        return new RedMallard();
    }
}

为什么这样可行？ #

这种自限定泛型（X extends X<X>）的设计，能确保每一层子类在继承时，都把自身类型传递给父类的泛型参数。这样父类中定义的copyAnimal(A animal)方法，在子类中就会被类型化为参数是子类自身类型的方法，既满足了重写的要求，又实现了类型安全——你不能把一个Duck传给Mallard的copyAnimal方法，编译器会直接报错。

注意事项 #

• 如果某个类是最终的（不需要再被继承），可以不用定义为抽象泛型类，直接写成具体类继承泛型父类即可，比如上面的Mallard如果不需要被扩展，就可以是具体类。
• 泛型约束的核心是A extends Animal<A>，确保泛型参数必须是Animal的子类，且传递自身类型，避免出现类型不匹配的问题。

内容的提问来源于stack exchange，提问作者Stephane Grenier