为何Java子类的Stock参数方法无法重写抽象类的Stockable参数方法？

这其实是Java方法重写规则里的两个核心关键点：参数匹配的严格要求和协变返回类型的支持，咱们拆开来说清楚：

一、为什么Stock get(String key)能成功重写父类方法？ #

Java从1.5版本开始支持协变返回类型——简单理解就是：子类重写父类方法时，返回值可以是父类方法返回值的子类/实现类类型。

放到你的代码场景里：

• 父类AbstractDbManager的get方法声明返回Stockable接口
• 子类StockDbManager的get方法返回Stock类，而Stock刚好是Stockable的实现类

这种情况完全符合重写规则：当调用者通过父类引用调用get方法时，拿到的是Stockable类型的对象，而实际返回的Stock是它的子类，完全兼容调用方的类型预期，不会有任何类型冲突，所以Java允许这种重写。

二、为什么insert(Stock stk)和save(Stock stk)无法重写父类方法？ #

方法重写对参数列表有严格的一致性要求：子类重写的方法，参数类型不能比父类方法的参数类型更“严格”，这是为了遵守里氏替换原则——简单说就是子类对象必须能完全替换父类对象，而不破坏原有逻辑。

看你的代码细节：

• 父类AbstractDbManager的insert和save方法参数是Stockable，意味着这两个方法可以接受任何实现了Stockable接口的类对象（比如如果以后新增Book implements Stockable，也能正常传入）
• 子类StockDbManager把参数改成了Stock，相当于把方法的接收范围缩小成了仅能接受Stock对象

如果Java允许这种“伪重写”，就会出现逻辑矛盾：当你把StockDbManager对象赋值给AbstractDbManager类型的引用时，调用insert(new Book())（假设Book是Stockable的实现），子类的insert方法根本无法处理这个参数，这就彻底破坏了多态的契约。所以Java会判定这两个方法是子类自己新增的重载方法，而不是对父类方法的重写。

怎么修改才能让它们正确重写？ #

如果想让子类的insert和save正确重写父类方法，必须保持参数类型和父类一致，你可以在方法内部做类型判断来处理：

@Override
public int insert(Stockable rm) {
    if (rm instanceof Stock) {
        Stock stk = (Stock) rm;
        // 这里写针对Stock的业务逻辑
        return 0;
    }
    // 处理非Stock类型的情况，比如抛异常或返回错误码
    throw new IllegalArgumentException("仅支持Stock类型的参数");
}

当然，更优雅的方式是用泛型来实现类型安全的重写：

public abstract class AbstractDbManager<T extends Stockable> {
    public abstract boolean createTable();
    public abstract int insert(T rm);
    public abstract T get(String key);
    public abstract int save(T rm);
}

public class StockDbManager extends AbstractDbManager<Stock> {
    @Override
    public boolean createTable() { return true; }
    @Override
    public int insert(Stock stk) { return 0; }
    @Override
    public Stock get(String key) { return null; }
    @Override
    public int save(Stock stk) { return 0; }
}

这样既满足了类型安全，又能完美实现方法重写，是更合理的解决方案。

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