Java继承多态方法调用结果不符问题排查与实现方案

问题涉及的完整测试代码 #

接口定义：

interface Test{
    public void test1();
    public void test2();
}

父类实现：

class TestParent implements Test{
    public TestParent(){}

    @Override
    public void test1(){
        System.out.println("test1");
    }

    @Override
    public void test2(){
        System.out.println("test2");
        test1();
    }
}

子类实现：

class TestChild extends TestParent{
    public TestChild(){}

    @Override
    public void test1() {
        System.out.println("test3");
    }

    @Override
    public void test2() {
        System.out.println("test4");
        super.test2();
    }
}

主类入口：

public class main {

    public static void main(String[] args){
        Test ob = new TestChild();
        ob.test2();
    }
}

代码预期输出为test4 test2 test1，实际运行输出为test4 test2 test3。

核心技术关键词 #

• 动态方法分派（运行时多态）：Java对非private、非static、非final的实例方法采用动态绑定机制，方法调用的实际执行版本在运行时根据实例的真实类型确定，和引用变量的声明类型无关。
• 方法重写（Override）：子类对父类的可继承同名实例方法提供自定义实现，重写后的方法会在动态分派中优先级高于父类实现。
• super关键字调用边界：super仅能让当前这一次方法调用绕过当前类的重写逻辑、直接执行父类版本，该次调用触发的后续嵌套方法调用，依然遵循动态分派规则。

结果不符合预期的根本原因 #

出现预期偏差的核心误区是认为父类方法内部的方法调用会固定绑定父类自身的实现，实际规则如下：

1. 变量ob的声明类型是Test，但真实运行类型是TestChild，调用ob.test2()时会动态分派到TestChild重写的test2()方法，首先打印test4。
2. 后续TestChild.test2()通过super.test2()调用父类TestParent的test2()方法，打印test2，这一步符合预期。
3. 但TestParent.test2()中调用的test1()属于普通实例方法调用，依然走动态分派逻辑，会匹配实例真实类型TestChild重写的test1()版本，因此最终打印test3而非test1。

注意：不存在“调用进入父类方法后，后续所有调用都固定绑定父类方法”的规则，只要是可被重写的实例方法调用，在任意位置调用都会优先匹配实例真实类型的重写版本。

不修改TestChild类的修正方案 #

核心思路是让TestParent.test2()中调用的test1逻辑绕过动态分派，固定执行TestParent自身的实现。由于私有方法是静态绑定的，不会参与动态分派、也无法被子类重写，仅需要调整TestParent的代码，将test1的核心逻辑抽为私有方法即可：

class TestParent implements Test{
    public TestParent(){}

    // 私有核心逻辑，静态绑定，不受子类重写影响
    private void doTest1(){
        System.out.println("test1");
    }

    @Override
    public void test1(){
        doTest1();
    }

    @Override
    public void test2(){
        System.out.println("test2");
        // 调用私有方法，固定执行本类逻辑
        doTest1();
    }
}

修改后运行代码，即可得到预期输出test4 test2 test1。

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