用继承和重写方法使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。
• 如果A出现，为什么 之后 B呢？

Answer 1

在我开始解释代码执行的每一步之前，您应该了解一些事实：

• 根据引用类型解析字段引用，并在运行时基于对象类型解析方法调用（以动态方式）。
• super()即使您自己没有将其 隐式 放置在 每个 构造函数中（如果您调用它也不会被调用super(int x, int y)）。
• 从构造函数中调用“可重写的”方法被认为是非常不好的做法-您将了解为什么执行此过程。

现在，让我们逐步分解代码：

• 您可以B通过调用其默认构造函数实例化B()。
• 就像我之前说过的那样，对的调用super()被 隐式 添加到任何构造函数中，因此A()立即被调用。
• 在内部A()调用foo()，在类中覆盖了B这就是为什么foo()从调用B。
• 在Bs 内部，foo()您将获得输出，B.foo(): bar = null因为Java B尚未初始化的字段（尚未执行其构造函数！），并且null默认将对象类型的字段初始化为。
• 现在，我们已经完成了的构造函数，A()回到的构造函数B()。
• 里面说的构造函数，我们必须调用foo()一次，而这又是B的foo()。但是与上次不同的是，正确地B初始化了它的字段（在调用之后super()），以便您获得期望的B.foo(): bar = B.bar。
• 现在我们回到了热情的拥抱main。
• 您访问a.bar，并因为正如我所说的字段引用是基于引用类型解决，你得到的场bar的A。
• 最后，出于相同的原因，您调用a.foo()再次触发B的foo()，该再次打印b.bar。

我们完成了！:)

进一步的参考和有价值的阅读材料：
静态和动态绑定说明
构造函数调用的顺序