Java中的方法绑定

Question

我最近在读Java中的思维（第四版）时，遇到了一个关于Java中方法绑定的问题。首先让我们看看书中的两个定义：

1. 将方法调用连接到方法体称为绑定。
2. Java中的所有方法绑定都使用后期绑定，除非方法是静态的或最终的。

您可以在多态性章节的方法调用绑定一节中找到这些定义。（第281-282页）

public class Test3{
    public static void main(String[] args) {
        BindingTest_Sub sub1 = new BindingTest_Sub();
        BindingTest_Base sub2 = new BindingTest_Sub();

        sub1.ovrLd(new Integer(1));       //  statement 1
        sub2.ovrLd(new Integer(2));       //  statement 2
        sub2.ovrRd();                     //  statement 3
    }
}

class BindingTest_Base {
    void ovrLd(Object obj){
        System.out.println("BindingTest_Base ovrLd()");
    }
    void ovrRd(){
        System.out.println("BindingTest_Base ovrRd()");
    }
}

class BindingTest_Sub extends BindingTest_Base{
    void ovrLd(Integer i){
        System.out.println("BindingTest_Sub ovrLd()");
    }
    void ovrRd(){
        System.out.println("BindingTest_Sub ovrRd()");
    }
}

BindingTest_Sub ovrLd()
BindingTest_Base ovrLd()
BindingTest_Sub ovrRd()

null

Answer 1

TL；DR；您并没有真正重载ovrld(Object)，而不是在运行时重载。编译器使用编译时类型信息来决定哪个是要调用的最佳虚方法。sub1和sub2具有不同的编译时类型。sub1的类型与OVRLB(Integer)有不同的最佳匹配。

解释。你在想：

• 如果sub1.ovrld（新整数(1))调用bindingtest_sub.ovrld（整数）
• 那么为什么sub2.ovrld(new Integer(2))调用bindingtest_base.ovrld(Object)

aload 1   // sub1
// ... blah blah blah creating the integer
// the last opcode issued by the compiler for "statement 1"
INVOKEVIRTUAL com/ea/orbit/actors/samples/helloworld/BindingTest_Sub.ovrLd (Ljava/lang/Integer;)V

aload 2  // sub2
// ... blah blah blah creating the integer
// the last opcode issued by the compiler for "statement 2"
INVOKEVIRTUAL com/ea/orbit/actors/samples/helloworld/BindingTest_Base.ovrLd (Ljava/lang/Object;)V