为何Java中该重写函数签名被标记错误？类型匹配疑问

报错原因 #

Java的方法重写严格遵循方法签名匹配规则，同时必须满足里氏替换原则：子类重写父类方法时，必须能接受父类方法所能处理的所有参数，否则会破坏多态逻辑的一致性。

你遇到的具体问题是：

• 当DummyService继承AbstractObjectService<DummyObj>后，父类的方法签名固定为public DummyObj fromMNO(MNO<DummyObj> mno)
• 你在子类中用DummyMNO作为参数，本质是定义了一个重载方法而非重写——因为DummyMNO是MNO<DummyObj>的子类，参数范围更窄，父类方法能接受所有MNO<DummyObj>的实现，而子类方法只认DummyMNO，如果用父类引用指向子类实例，传入其他MNO<DummyObj>实现会导致运行时错误，因此编译器直接禁止这种写法。

合理解决方案 #

方案1：扩展泛型参数，显式限定MNO的具体类型 #

给上层接口和抽象类增加第二个泛型参数，明确指定MNO的实现类型，既能保留类型约束，又能合法重写方法：

// 修改泛型接口，新增M参数限定为MNO<T>的子类
interface ObjectService<T, M extends MNO<T>> {
    T fromMNO(M mno);
}

// 修改抽象类，同步泛型参数定义
abstract class AbstractObjectService<T, M extends MNO<T>> implements ObjectService<T, M> {
    @Override
    public abstract T fromMNO(M mno);
}

// DummyService指定泛型参数，直接用DummyMNO作为重写方法的参数
class DummyService extends AbstractObjectService<DummyObj, DummyMNO> {
    @Override
    public DummyObj fromMNO(DummyMNO mno) {
        // do stuff
        return new DummyObj();
    }
}

这种方式完全符合Java类型系统规则，无需强制转换，同时明确约束了参数类型。

方案2：保留原有接口结构，增加类型安全检查 #

如果无法修改上层接口或抽象类，可以在重写方法中增加参数校验，比直接强制转换更安全：

@Override
public DummyObj fromMNO(MNO<DummyObj> mno) {
    // 先校验参数类型，避免强制转换异常
    if (!(mno instanceof DummyMNO)) {
        throw new IllegalArgumentException("参数必须是DummyMNO类型");
    }
    DummyMNO d = (DummyMNO) mno;
    // do stuff
    return new DummyObj();
}

这种方式兼容原有接口设计，通过显式类型检查避免了无提示的强制转换风险，也能明确告知调用者参数要求。

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