是否说每个运行时绑定都是编译期间的静态绑定？

Question

我对主题绑定很困惑。 正如我们所知，在静态绑定中，会检查引用的类型以确定绑定，而不是它所引用的对象，而在动态绑定中，会考虑引用所指向的对象的类型。

class A
{
    void show()
    {
        System.out.println("From A");
    }
}
class B extends A
{
    void show()
    {
        System.out.println("From B");
    }
}
class Main
{
    public static void main(String[] quora)
    {
        A a1 = new A();
        A a2 = new B();

        a1.show(); //line 1
        a2.show(); //line 2
    }
}

在上面的例子中，我们可以看到在编译期间，Line1 和 line2 都会被静态绑定处理，它们会链接到 A 类方法 show( 因为引用的类型是 A)。 但在运行时，调用被解析，line1 链接到 A 类方法 show()，line2 链接到 B 类方法，即对象类型，或者我们可以说是动态绑定。

所以我的主要目的是了解以下内容。

1. 动态绑定总是在静态绑定之后产生吗？还是我理解错了？

2. 如果是真的，那么是不是说每个方法在运行时都是动态链接的？

3. 我们可以概括一下吗？

Answer 1

基本上，每次调用方法时，编译器都必须根据传递给方法的类型和参数确定要调用哪个重载。这是静态绑定。然后在运行时，运行时会确定要调用哪个实现的重载（此时已经决定）。

考虑：

class A
{
    void f(Object o)
    {
        System.out.println("From A");
    }
}
class B extends A
{

    void f(Object o)
    {
        System.out.println("From B (Object)");
    }

    void f(String s)
    {
        System.out.println("From B (String)");
    }
}

你做到了：

A a = new B();
a.f("");

会发生什么？在编译时，由于a 的类型为A，编译器选择了重载f(Object)（只有一种方法可供选择！）。然后在运行时，因为a 实际上是指B 的一个实例，所以B 的f(Object) 重载实现被调用，打印From B (Object)。我见过的一个误解是期望输出为From B (String)。这是错误的，因为编译器不知道 a 上存在此重载。

静态绑定后总是产生动态绑定吗？

从上面代码的结果我们可以看出，答案是肯定的。静态绑定发生在编译时，动态绑定发生在运行时，所以前者总是先发生。

如果是真的，那么说每个方法在运行时都是动态链接的是真的吗？

我不确定你的意思是什么，所以希望上面的详细解释已经回答了这个问题。

不管怎样，每次方法调用都会有静态绑定，然后是动态绑定？

是的，但有时这两个过程可以很快进行，因为选择很少。当您调用方法的类是最终类时，您可能不需要在动态绑定中做出“选择”，对吗？