Java方法重载+双重分派

Question

谁能详细解释在我的测试代码中使用Child 实例时调用重载方法print(Parent parent) 的原因？

这里涉及到 Java 中虚拟方法或方法重载/解析的任何特性？ 任何直接参考 Java 语言规范？ 哪个术语描述了这种行为？ 非常感谢。

public class InheritancePlay {

    public static class Parent {        
        public void doJob(Worker worker) {
            System.out.println("this is " + this.getClass().getName());

            worker.print(this);
        }
    }

    public static class Child extends Parent {
    }

    public static class Worker {
        public void print(Parent parent) {
            System.out.println("Why this method resolution happens?");
        }

        public void print(Child child) {
            System.out.println("This is not called");
        }
    }

    public static void main(String[] args) {
        Child child = new Child();
        Worker worker = new Worker();

        child.doJob(worker);
    }
}

Answer 1

§8.4.9 Overloading 中的 JLS 状态：

1. 调用方法时（第 15.12 节），在编译时使用实际参数（以及任何显式类型参数）和编译时参数类型来确定将被调用的方法的签名（第 15.12.2 节）。
2. 如果要调用的方法是实例方法，则要调用的实际方法将在运行时使用动态方法查找 (§15.12.4) 确定。

所以在你的情况下：

1. 方法参数 (this) 是编译时类型 Parent，因此会调用方法 print(Parent)。
2. 如果 Worker 类是子类并且子类将覆盖该方法，并且 worker 实例属于该子类，则将调用被覆盖的方法。

Java 中不存在双重分派。你必须模拟它，例如通过使用Visitor Pattern。在这种模式下，基本上，每个子类都实现了一个accept 方法并以this 作为参数调用访问者，而this 具有该子类的编译时类型，因此使用了所需的方法重载。

Answer 2

原因是doJob在Parent中实现，在Child中没有重载。它将this 传递给worker 的print 方法，因为this 属于Parent 类型，所以将调用Worker::print(Parent) 方法。

为了让Worker::print(Parent)被调用，你需要在Child中重载doJob：

public static class Child extends Parent {
    public void doJob(Worker worker) {
        System.out.println("from Child: this is " + this.getClass().getName());

        worker.print(this);
    }
}

在上面的代码中this.getClass() 中的Child 等价于Child.class。