方法在Java中绑定

Question

当我最近阅读Thinking in Java （第4版）时，我遇到了一个关于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()

根据这个结果，我有以下问题：

1. 根据书中的定义，由于我的所有方法都是可继承的，因此Java将对所有三个语句使用后期绑定（动态绑定）。 但是，我读到了其他一些文章，其中说Java在处理重载时使用静态绑定。 这似乎是矛盾的，因为显然声明1正在超载。
2. 我不完全理解为什么Java在语句2中调用基类的ovrLd（）。如果它使用动态绑定，它应该调用子类的overLd（），因为运行时JVM应该清楚sub2是BindingTest_Sub类的一个实例。 另一方面，如果它使用静态绑定，它也应该调用子类的overLd（），因为编译器能够观察到给定参数的类型是一个Integer。 你能告诉我编译器或JVM处理语句2时做了什么工作吗？
3. 陈述3的结果对我有意义。 但是，我仍然很好奇编译器如何识别它（ovrRd（））作为一种重写方法。 换句话说，编译器如何知道有另一个类具有覆盖此ovrRd（）的方法。

任何有关上述问题或Java方法绑定机制的想法都表示赞赏。 另外，请随意指出我的错误。

Answer 1

TL; DR; 你并没有真正重载ovrLd(Object) ，而不是在运行时。 编译器使用编译时类型信息来确定哪个是最佳的虚拟方法。 sub1和sub2具有不同的编译时类型。 而sub1的类型与ovrLb(Integer)有不同的最佳匹配。

解释。 你想知道：

• if sub1.ovrLd(new Integer(1))调用BindingTest_Sub.ovrLd(Integer)
• 那么为什么sub2.ovrLd(new Integer(2))正在调用BindingTest_Base.ovrLd(Object)

在这种情况下它的工作方式如下：

编译器使用变量的编译时类型信息来决定调用哪个方法。 sub2的编译时类型是BindingTest_Base ，在运行时你要为它分配一个BindingTest_Sub ，但这与编译器无关。

BindingTest_Base中唯一匹配该调用参数的方法是： BindingTest_Base.ovrLd(Object)

所以编译器发出对orvLd(Object)的虚拟调用

现在，基于被调用方法的完整签名（名称+参数）来决定虚拟调用的运行时方法。 并且BindingTest_Sub ovrLd(Object)没有重载因此调用了基类方法。

使用sub1 ，编译器sub1更多信息。 sub1的编译时类型是BintdingTest_Sub并且有一个方法匹配ovrLd(Integer) 。

查看字节码，您可以清楚地看到：

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

Answer 2

在做了一些研究后，我想我明白了Thinking in Java试图传达的内容。

作者说， Java中的所有方法绑定都使用后期绑定，除非该方法是静态的或最终的。

我认为这是真的，但含糊不清。 歧义来自后期绑定这一术语。 从我的理解，这里的结合意味着具体的实现方法，而不是方法的分辨率的确定（解析到符号表中的符号）。 换句话说，编译器只是将一个方法引用到一个符号，但该符号指向的内存中的哪个不确定。

在类加载时， 静态方法和最终方法（ 私有方法是隐式最终的 ）与方法的实际内存地址（具体实现）相关联。 由于这些方法无法被其他人覆盖甚至访问，因此无法动态更改其实现方式。 除了这些方法之外，其他方法在运行时绑定到特定实现。