带接收者参数的方法与无该参数的同方法是否为覆盖等价？

这确实是个容易让人混淆的Java语法细节问题，我来给你拆解清楚！首先直接给核心结论：带接收者参数的方法与同签名的无接收者参数方法是覆盖等价的，完全符合JLS 8.4.2中关于覆盖等价的定义。

先快速回顾接收者参数 #

接收者参数是Java里一个相对冷门但合法的语法特性：它是实例方法参数列表开头的特殊参数，命名必须为this，类型就是方法所属的类/接口类型。比如：

public class MyClass {
    // 带接收者参数的实例方法
    public void printMessage(MyClass this, String content) {
        System.out.println(content);
    }
}

平时写代码我们不需要显式声明它——编译器会隐式处理，但它的存在是为了明确表示方法操作的是当前类的实例。

为什么二者是覆盖等价的？ #

严格遵循JLS的规则就能理清逻辑：

1. 接收者参数不参与方法签名构成：根据JLS的定义，方法签名仅由方法名称、类型参数列表（若有）和参数类型列表组成，接收者参数会被编译器忽略，不会成为签名的一部分。
2. 覆盖等价的核心判定是签名一致：JLS 8.4.2明确，两个方法只要签名相同（考虑类型擦除），且返回类型满足协变要求（针对实例方法），就属于覆盖等价。

举个实际例子验证：
父类代码：

public class Parent {
    public String handleInput(int num) {
        return "Parent handled: " + num;
    }
}

子类代码（带接收者参数）：

public class Child extends Parent {
    @Override // 注解会被编译器认可，说明是合法覆盖
    public String handleInput(Child this, int num) {
        return "Child processed: " + num;
    }
}

这里子类的handleInput显式声明了接收者参数，但编译器依然判定它和父类的方法是覆盖等价的，@Override不会报错，运行时也会正常触发子类的方法实现。

额外说明 #

很多人会误以为带接收者参数的方法是另一个不同方法，本质是因为这个特性平时极少被用到，甚至不少开发者不知道它的存在。但只要紧扣JLS的定义就能明确：接收者参数只是语法上的“显式声明”，不会改变方法的签名，自然也不会影响覆盖等价性的判定。

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