静态/动态绑定和静态/动态调度有点混乱

Question

我想澄清一些关于绑定和调度的事情。

绑定是将方法调用附加到方法签名。 Dispatch 正在选择方法实现。首先是绑定，然后是调度。好的，我知道了，但是：

1. 没有被覆盖的实例方法是否使用静态绑定？
2. 为什么重载方法使用静态绑定，因为它们是虚拟的并且可以在子类中被覆盖？

过去几天我读了很多解释，现在对我来说一团糟。其中一些是相互冲突的或完全相反的。据我所知，Java 中所有非static、非private 和非final 方法默认都是虚拟的，必须使用动态绑定和动态调度。

Answer 1

绑定是将方法调用附加到方法签名。 Dispatch 正在选择方法实现。

您所说的绑定是指重载。您所说的调度是指覆盖。

首先是绑定，然后是调度。

是的。编译器进行绑定，JVM 进行调度。

好的，我知道了，但是：

1. 没有被覆盖的实例方法是否使用静态绑定？

没有。编译器无法判断，除了private 方法，在这种情况下它使用invokespecial 字节码。

1. 为什么重载方法使用静态绑定，因为它们是虚拟的并且可以在子类中被覆盖？

他们没有。

据我所知，Java 中的所有非静态、非私有和非最终方法默认情况下都是虚拟的，并且必须使用动态绑定和动态调度。

正确。

Answer 2

java中的绑定规则：

1) 对静态方法的调用是静态绑定的。

2) 对构造函数的调用是静态绑定的。

3) 对非静态方法的调用是动态绑定的：

例外情况： 3.a) 对私有的非静态方法的调用是静态绑定的。

3.b) 在子类中使用super 调用的非私有、非静态方法也是静态绑定的。

那么对于第一个问题，即没有被覆盖的实例方法是否使用静态绑定？

答案是否定的。 如果该方法尚未被覆盖，但它可以（将来）。由于它是一个实例方法，因此可以使用实例（动态绑定）调用或使用超级（静态绑定）调用。

第二个问题：为什么重载的方法使用静态绑定，因为它们是虚拟的并且可以在子类中被覆盖？

答案：重载的方法不存在静态绑定。

说明：

class Sample{

    public void method1(){
        System.out.println("hello from A");
    }

    public void method1(String user){
        System.out.println("hello "+user+" from overloaded method");
    }

        public static void main(String []argh){ 
        Sample s = new Sample();
        s.method1();
        s.method1("name");
    }
}

在上面的代码中，方法method1()被重载了，但由于它既不是static，final也不是private，所以它生成invokevirtual指令，这意味着它是动态绑定的不是静态的。

要清除绑定和调度的区别，请参考Question