方法重载和覆盖中的编译时和运行时绑定

Question

据我了解：

类的私有、最终和静态方法遵循编译时绑定，即在编译时决定调用哪个方法。

但是，对非私有实例方法的调用是在运行时决定的。

到目前为止，这曾经解决了我所有的问题。但是，我遇到了一些问题，即上述语句没有得到正确的输出。

代码如下：

class Item
{
    Integer size;
    Item(Integer size)
    {
      this.size=size;
    }
    public boolean equals(Item item2) //not overriding the method of Object class
    {
        if(this==item2)
        return true;
        return this.size.equals(item2.size);
     }

  }

public class Test 
{
    public static void main(String[] args)
     {
        Item itemA= new Item(10);
        Item itemB= new Item(10);
        Object itemC=itemA;
        System.out.println("|"+ itemA.equals(itemB) + "|" + itemC.equals(itemB)+ "|");
     }

}

它给出的输出：|true|false|

我期望的输出：|true|true|

这里，class Item 的equals 方法没有覆盖Object 的equals 方法，但是由于equals 方法的方法签名不同，正在发生重载。

问题：在调用itemC.equals(itemB)时，为什么会调用Object类的equals方法。

据我说：itemC 在运行时拥有class Item 的对象，因此，应该调用Item class 的equals。在运行时，Item class 中有两个equals 方法，一个是它自己的，另一个是从Object 类继承的。所以，应该调用equals(Item) 而不是equals(Object)，因为调用的是equals(Item)。

我在概念上到底缺少什么？

Answer 1

重载是在编译时确定的，而不是运行时。所以itemC.equals(itemB)调用Object的equals方法，因为itemC变量的类型是Object。

Answer 2

来自jls reg overloading 的片段

When a method is invoked (§15.12), the number of actual arguments (and any explicit type
arguments) and the compile-time types of the arguments are used, at compile time, to determine the 
signature of the method that will be invoked (§15.12.2). If the method that is to be invoked is an 
instance method, the actual method to be invoked will be determined at run time, using dynamic method 
lookup (§15.12.4). 

基于上面的语句，itemC.equals(itemB) 调用了Object 类的equals 方法，因为在编译时类型itemC 是Object

Answer 3

问题：在调用itemC.equals(itemB)时，为什么会调用Object类的equals方法。

因为itemC的编译时类型是Object。

重写是在执行时根据目标对象的实际类型进行的，而重载是在编译时根据目标的编译时类型进行的表达。

如果您使用javap -c -v Test，您将看到涉及的两个方法调用：

常量池：

...
#6 = Methodref #2.#32    //  Item.equals:(LItem;)Z
#7 = Methodref #16.#33   //  java/lang/Object.equals:(Ljava/lang/Object;)Z
...

然后是main 方法：

33: invokevirtual #6  // Method Item.equals:(LItem;)Z
...
40: invokevirtual #7  // Method java/lang/Object.equals:(Ljava/lang/Object;)Z

这样就显示了正在调用的方法的签名。执行该签名的哪个实现取决于执行时类型。因此，如果您在 Item 中覆盖 equals(Object)，那么将为 itemC.equals(itemA) 调用该覆盖。