Java中如何让子类重写泛型方法时使用自身类型参数？

这是个很典型的泛型重写场景，你遇到的编译错误核心原因是父类的泛型方法和子类的方法签名不匹配，直接把泛型参数换成具体子类类型不算合法重写。下面我给你一步步分析并给出最优解决方案：

为什么原来的代码会报错？ #

你的父类Animal定义的是一个泛型方法：

public abstract <T extends Animal> T copyAnimal(T animal);

这个方法的契约是：接受任意Animal子类的实例作为参数，返回同类型的实例。而你在Duck里写的Duck copyAnimal(Duck duck)，相当于定义了一个全新的重载方法，而非重写——因为它只能接受Duck类型，违背了父类方法“支持所有Animal子类”的契约，所以Java编译器会判定你没有实现父类的抽象方法。

最优方案：用泛型类替代泛型方法 #

想要在子类中直接用自身类型作为参数/返回值，同时避免强制类型转换和运行时检查，最优雅的方式是把泛型从方法层面移到类层面，让父类的泛型参数绑定子类自身类型。

调整后的父类代码 #

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

这里的泛型约束T extends Animal<T>是一种“递归泛型”，它要求子类在继承时必须传入自身作为类型参数，确保copyAnimal方法的参数和返回值类型与子类一致。

子类Duck的实现 #

public class Duck extends Animal<Duck> {
    @Override
    public Duck copyAnimal(Duck duck) {
        // 实现Duck的复制逻辑，示例：
        Duck copyOfDuck = new Duck();
        // 复制duck的属性到copyOfDuck...
        return copyOfDuck;
    }
}

这样写完全符合重写规则：父类的copyAnimal方法在Duck继承后，签名自动变为Duck copyAnimal(Duck)，子类的实现完美匹配，编译通过，而且全程不需要任何强制类型转换，也没有额外的运行时检查开销。

其他备选方案（不推荐） #

如果出于某些原因你无法修改父类，那只能退而求其次，严格按照泛型方法的规则重写，同时加入类型检查：

public class Duck extends Animal {
    @Override
    public <T extends Animal> T copyAnimal(T animal) {
        if (!(animal instanceof Duck)) {
            throw new IllegalArgumentException("Only Duck instances are supported");
        }
        Duck copy = new Duck();
        // 复制属性逻辑
        return (T) copy;
    }
}

但这个方案存在两个问题：一是需要强制类型转换，二是必须加入运行时类型检查来保证类型安全，完全不符合你想要避免这些操作的需求，所以只作为应急备选，不推荐使用。

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