Java 中的动态绑定的一个问题

[leebs]

一个 Employee 类的大致结构:

public class Employee {
	...
    // Override
    public boolean equals(Object otherObject) {
        System.out.println("Choose parent");
        ...
    }
    
    // Overload
    public boolean equals(Employee otherObject) {
        System.out.println("Choose child");
        ...
    }
}

一个测试类:

public class EmployeeTest {
	psvm {
        Employee e1 = new Employee("lee", 3000, 1999, 10, 1);
        Employee e2 = new Employee("lee", 3000, 1999, 10, 1);
        Object obj1 = e2;
        System.out.println(e1.equals(obj1));        // 1.result: Choose parent
        System.out.println(obj1.equals(obj1));      // 2.result: Choose parent    
        System.out.println(obj1.equals(e1));        // 3.result: Choose parent
        System.out.println(e1.equals(e1));          // 4.result: Choose child
    }
}

根据 dynamic binding，四个语句都会调用 Employee 中的方法，然后再根据 overloading resolution 进行参数匹配，我的猜想是 1, 2 会匹配 Object otherObject 参数，3, 4 会匹配 Employee otherObject 参数，但实际 3 的匹配和我的设想不一样，我以为这和方法定义的顺序有关，调换了之后并没有用；

Core Java 里面说 overloading resolution 的时候提到:

The situation can get complex because of type conversions (int to double, Manager to Employee, and so on).

所以到底是怎么个回事情...

[wenzhoou]

和我想象的一样。
我是这样想的。
调用哪个方法是在编译时候决定的。
编译器决定 invokeVirtual 的 是 object 类型参数的 equals，还是以 Employee 类型作为参数的 equals。

对于 1 和 4，因为 employee 类里面定义了这两种类型作为参数的方法。那就恰好调用这两种类型对应的方法。

对于 2 和 3,object 类型只定义了 object 类型作为参数的 equals 方法。打死编译器他也想象不出来 object 类型以外的 equals 方法。所以编译器决定了要调这个。

至于具体执行的时候。因为是 Virtual 函数，所以自然而然选择了子类的实现。这个没有疑问。

来，掌声呢。

[lexno]

对于 obj1 的类 Object 来说，只有一个 equals 方法，就是 equals(Object ) 这个方法，所以调用这个方法有什么不对吗？

[rayingecho]

Overload 方法的选择只基于**静态类型**, 只有 4 匹配 Employee.equals(Employee)
至于 overloading resolution, 要先方法接收者的静态类型是 Employee 才会有选择的问题, 否则根本不需要选, 因为接收者为 Object 时只有一个方法
在原代码里加了两行来说明一下这个问题:

System.out.println(e1.equals(obj1)); // 1.result: Choose parent
System.out.println(obj1.equals(obj1)); // 2.result: Choose parent
System.out.println(obj1.equals(e1)); // 3.result: Choose parent
System.out.println(e1.equals(e1)); // 4.result: Choose child
System.out.println(((Employee) obj1).equals(e1)); // 5.result: Choose child
System.out.println(e1.equals((Employee) obj1)); // 6.result: Choose child

[leebs]

@wenzhoou 选择子类 override 的实现的时候，不去考虑子类中其它 overload 的实现了嘛

[momocraft]

a.foo(b); 生成的字节码 (invokeinterface/invokedynamic) 只基于 a 和 b 的编译时类型。但运行时 JVM 会挑 a 的运行时类型 (或"实际类型") 带的那个 foo 来运行。

[wenzhoou]

@leebs 你是针对那种情况说的？编译时还是执行时？