Java构造函数内部的多态

Question

码：

class A{

    A()  {
        test();
    }
    void test(){
        System.out.println("from A");
    }
}

class B extends A {

    void test() {

        System.out.println("from B");

    }

}

class C {

    public static void main(String args []){

        A a = new B();

        a.test();
    }
}

输出：

from B 
from B

为什么以这种方式打印？

Answer 1

当您在运行时调用多态方法时，Java使用特殊的数据结构来决定需要调用哪个类的方法。在构造对象时，即
在执行用户提供的任何构造函数和初始化程序代码之前，都会 建立此结构。

创建时A a = new B()，在输入的构造函数 之前 已准备好“何时test()调用，则需要调用A.test()或B.test()”
的数据结构。由于此结构是为类准备的，因此即使调用代码在内部的构造函数中，它也指向。这就是为什么您看到两次打印的原因。
__A``B``B.test()``A``"from B"

但是请注意，尽管从技术上讲您的代码将执行您想要的操作，但从逻辑上来说，这是一个非常糟糕的决定。这段代码很烂的原因与初始化序列有关：想象一个test()依赖于B在构造函数中初始化的私有字段的方法，如下所示：

class B extends A {
    private final String greeting;
    public B() {
        greeting = "Hello";
    }
    void test() {
        System.out.println(greeting + " from B");
    }
}

人们会期望看到"Hello from B"被印刷。但是，您只会在第二个呼叫中看到它：在进行第一个呼叫时，greeting它仍然是null。

这就是为什么您应该避免从构造函数内部调用方法重写的原因：它打破了方法已假定对象已完全初始化的假设，有时会产生非常不幸的后果。