Java如何在编译时强制子类方法参数为自身类型？

这是个很实用的场景需求！要在编译时强制子类重写follow方法只能接受自身类型，我们可以用**泛型自限定（Self-bounded Generics）**来实现，这是Java里处理这类“子类专属参数约束”问题的经典方案。

步骤1：改造抽象父类Animal #

我们给父类添加一个自限定的泛型参数，让它的follow方法参数类型被约束为子类自身：

public abstract class Animal<T extends Animal<T>> {
    public abstract void follow(T a);
}

这里的T extends Animal<T>是关键——它要求泛型参数T必须是Animal的子类，同时这个子类本身也要用自己作为泛型参数传入父类，从而形成“自限定”的约束。

步骤2：子类继承时指定自身为泛型参数 #

子类在继承Animal时，把泛型参数指定为自己的类型，这样重写follow方法时就能直接用自身类型作为参数，而且编译完全合法：

public class Fish extends Animal<Fish> {
    @Override
    public void follow(Fish f) {
        // 这里可以放心编写Fish专属的逻辑，比如：
        System.out.println("这条鱼跟着另一条鱼游");
    }
}

此时父类的follow方法经过泛型替换后，签名就是void follow(Fish)，和子类的方法签名完全匹配，完美实现了“只能接受自身子类类型”的要求。

编译期的错误防护 #

如果子类不小心指定了错误的泛型参数（比如Bird extends Animal<Fish>），编译阶段就会强制它实现follow(Fish)而不是follow(Bird)，这种明显不符合预期的要求会立刻提醒开发者修正：

// 错误示例：泛型参数指定错误
public class Bird extends Animal<Fish> {
    // 编译要求必须实现follow(Fish)，而不是follow(Bird)，一眼就能发现问题
    @Override
    public void follow(Fish f) {}
}

只要把泛型参数修正为Bird extends Animal<Bird>，就能回到正确的约束轨道上。

原理补充 #

这种自限定泛型的思路在Java标准库中也有应用，比如Enum类的定义public abstract class Enum<E extends Enum<E>>，就是用同样的方式确保枚举类型的方法只能接受自身枚举类型的参数。

内容的提问来源于stack exchange，提问作者The Impaler