Java中如何在重写方法参数中强制实现Enum接口？

问题的核心在于原Animal接口使用了泛型方法，泛型方法的类型参数由调用方决定，实现类无法在重写时缩小参数范围。要实现编译期类型校验，需将接口改为泛型接口，让实现类绑定具体的AnimalSound类型：

1. 重构Animal为泛型接口 #

将接口定义为带类型参数的形式，限定参数必须实现AnimalSound：

public interface Animal<T extends AnimalSound> {
    T getSound();
    void setSound(T sound);
}

2. 修改Cow类实现泛型接口 #

实现接口时指定具体类型参数为CowSound，此时getSound和setSound方法可直接使用CowSound类型，编译期会自动校验参数合法性：

public class Cow implements Animal<CowSound> {
    @Override
    public CowSound getSound() {
        return CowSound.BOO;
    }

    @Override
    public void setSound(CowSound sound) {
        // 直接处理CowSound，无需运行时类型检查
    }
}

3. 编译期校验效果验证 #

现在若尝试传入非CowSound类型的参数调用setSound，编译器会直接报错：

Cow cow = new Cow();
cow.setSound(SheepSound.BAA); // 编译错误：不兼容的类型

原方案失效原因 #

原接口的泛型方法<T extends AnimalSound> void setSound(T sound)意味着调用者可传入任意AnimalSound子类，实现类无法通过重写限制参数类型，只能依赖运行时校验。而泛型接口让实现类提前绑定具体类型，编译器可在编译阶段确保参数类型正确，彻底避免运行时异常。

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