用继承和重写方法困扰Java输出

Question

我偶然发现了这段代码。
在实际运行它之前，我试图猜测运行它的结果是什么。当我看到它们时，我真的很困惑&需要一些解释。
这是代码：

public class A {
    String bar = "A.bar";
    A() { foo(); }

    public void foo() {
        System.out.println("A.foo(): bar = " + bar);
    }
}

public class B extends A {
    String bar = "B.bar";
    B() { foo(); }
    public void foo() {
        System.out.println("B.foo(): bar = " + bar);
    }
}

public class C {
    public static void main(String[] args) {
        A a = new B();
        System.out.println("a.bar = " + a.bar);
        a.foo();
    }
}

B.foo(): bar = null
B.foo(): bar = B.bar
a.bar = A.bar
B.foo(): bar = B.bar

为什么会这样？

• bar=null如何？
• 为什么还要出现a.bar=a.bar？我根本没有实例化一个。
• 并且如果出现A，为什么会出现在B之后？

Answer 1

在我开始解释代码执行中的每一个步骤之前，您应该知道以下几个事实：

• 根据引用类型解析字段引用，并根据对象类型在运行时（以动态方式）解析方法调用。
• super()隐式地放置在每个构造函数中，即使您自己不把它放在那里（例如，如果调用super(int x,int y），则不会调用它）。
• 从构造函数调用“可重写”的方法被认为是非常糟糕的做法--在执行过程中您将看到原因。

现在让我们一步一步地分解您的代码：

• 通过调用其默认构造函数b()来实例化b。
• 正如我前面所说，对super()的调用被隐式地添加到任何构造函数中，因此a()被立即调用。
• 在a()内部调用foo()，它在类b中被重写，这就是为什么从b调用foo()。
• 在b的foo()中可以得到输出b.foo():bar=null，因为Java还没有初始化b的字段（它的构造函数还没有执行！）对象类型的字段默认初始化为null.
• 现在我们已经完成了A()的构造函数，我们回到B()的构造函数。
• 在所述构造函数中，我们再次调用foo()，这也是b的foo()。但与上次不同的是，b正确地初始化了字段（在调用super()之后），以便获得预期的b.foo():bar=b.bar.
• 现在我们又回到了main.
的温暖怀抱
• 您访问a.bar，因为正如我所说的，字段引用是根据引用类型解析的，所以您将获得A.
的字段 bar
• 最后，出于同样的原因，您调用a.foo()，它再次触发b的foo()，它再次打印b.bar。

我们完蛋了！：）

进一步的参考资料和值得阅读的材料:
静态和动态绑定解释了
构造函数调用的顺序