Java中如何在超类中支持子类对this以外的参数进行特化？

首先看你给出的代码示例：

父类代码：

abstract class Numeric {
    abstract public Numeric add(Numeric other);
}

子类代码：

class Real extends Numeric {
     private double inner;

     public Real add(Real other) {
          return new Real(this.inner + other.inner); // 修正原代码返回值错误，需返回Real实例
     }
}

你提到的编译器报错原因很明确：Real类的add(Real)并没有覆盖父类的add(Numeric)方法，只是重载了一个新方法。而Real作为具体类，必须实现父类的抽象方法，因此编译器会提示未实现抽象方法的错误。

核心结论 #

不使用泛型的前提下，无法在超类中声明允许子类对this以外的方法参数进行特化。

原因分析 #

Java的方法重写规则严格遵循里氏替换原则：子类重写的方法必须能够接受父类方法所能接受的所有参数类型，同时返回父类方法所能返回的类型的子类型（协变返回）。这意味着：

• 重写方法的参数类型必须与父类方法完全匹配，或者是父类参数类型的超类型（实际场景中基本只能完全匹配，因为Java不支持方法参数的逆变重写）。
• 如果子类定义了参数更具体的方法，这属于方法重载而非重写，父类的抽象方法依然未被实现，必然触发编译错误。

非泛型下的替代实现 #

如果必须避免泛型，只能通过重载+类型检查的方式模拟参数特化的效果，同时实现父类的抽象方法：

class Real extends Numeric {
    private double inner;

    public Real(double inner) {
        this.inner = inner;
    }

    @Override
    public Numeric add(Numeric other) {
        // 运行时检查参数类型，不符合则抛出异常
        if (!(other instanceof Real)) {
            throw new IllegalArgumentException("仅支持添加Real类型的实例");
        }
        return add((Real) other);
    }

    // 重载的特化方法，仅接受Real类型参数
    public Real add(Real other) {
        return new Real(this.inner + other.inner);
    }
}

这种方式虽然能达到“只接受同类型参数进行加法”的效果，但本质是在运行时做类型校验，而非编译层面的约束。它并没有改变Java的方法重写规则，只是通过重载补充了特化的方法入口。

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