V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
leebs
V2EX  ›  Java

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

  •  
  •   leebs · 2019-02-18 14:34:59 +08:00 · 1735 次点击
    这是一个创建于 2109 天前的主题,其中的信息可能已经有所发展或是发生改变。

    一个 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).

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

    6 条回复    2019-02-18 15:46:29 +08:00
    wenzhoou
        1
    wenzhoou  
       2019-02-18 14:51:12 +08:00 via Android
    和我想象的一样。
    我是这样想的。
    调用哪个方法是在编译时候决定的。
    编译器决定 invokeVirtual 的 是 object 类型参数的 equals,还是以 Employee 类型作为参数的 equals。

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

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

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

    来,掌声呢。
    lexno
        2
    lexno  
       2019-02-18 14:55:47 +08:00
    对于 obj1 的类 Object 来说,只有一个 equals 方法,就是 equals(Object ) 这个方法,所以调用这个方法有什么不对吗?
    rayingecho
        3
    rayingecho  
       2019-02-18 15:06:58 +08:00
    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
        4
    leebs  
    OP
       2019-02-18 15:08:44 +08:00
    @wenzhoou 选择子类 override 的实现的时候,不去考虑子类中其它 overload 的实现了嘛
    momocraft
        5
    momocraft  
       2019-02-18 15:29:58 +08:00
    a.foo(b); 生成的字节码 (invokeinterface/invokedynamic) 只基于 a 和 b 的编译时类型。但运行时 JVM 会挑 a 的运行时类型 (或"实际类型") 带的那个 foo 来运行。
    wenzhoou
        6
    wenzhoou  
       2019-02-18 15:46:29 +08:00 via Android
    @leebs 你是针对那种情况说的?编译时还是执行时?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5457 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 07:36 · PVG 15:36 · LAX 23:36 · JFK 02:36
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.