Java构造函数内部的多态行为可能带来的问题

《Thinking in Java》

Java构造函数的初始化顺序

1. 在所有事情发生之前，将该类以及其基类的所有对象分配的存储空间初始化为二进制的零。比如int类型会分配为0，对象会被初始化为null。

2. 调用基类的构造方法，并且不断递归下去。也就是必须先调用最上层的基类的构造方法，直到最底层的导出类

3. 按照声明的顺序，调用成员变量的初始化方法。一般成员变量都会声明在类的前面，在调用构造函数的主体之前，会先对这些变量初始化赋值。

4. 调用导出类的构造方法的主体

Java构造函数的初始化顺序看起来没有什么大问题，不过在一些特殊的情况下，还是有可能会出现错误的。比如下面的类：

public class Main{

    public static void main(String[] args){
        new Child(5);
    }

}

class Parent{
    public Parent(){
        System.out.println("Build parent before");
        printValue();
        System.out.println("After parent before");
    }

    public void printValue(){
        System.out.println("Parent printValue");
    }
}

class Child extends Parent{
    private int value=1;
    public Child(int value){
        this.value=value;
    }

    public void printValue(){
        System.out.println("Child printValue: value="+value);
    }
}

输出结果

Build parent before
Child printValue: value=0
After parent before

可以看到，由于在导出类的基类的构造函数中调用了多态方法printValue()，这个方法在对象被完全初始化之前就调用了，也就是基类的构造方法调用了导出类的方法，而这个方法所使用的成员变量在导出类中可能还没有被初始化，因此会出现一些可怕的错误。比如在这个例子中，输出的是int的系统初始化值0

从上面的例子我们可以看出，由于多态机制的存在，在构造函数中使用多态方法可能会导致难以察觉的错误，因此我们要尽量避免在构造函数中调用其它方法，如果无法避免，也应该用那些在基类中属于final或者private类型的方法。