在Java中运行构造函数代码之前是否初始化了字段？

Question

有人能解释一下以下程序的输出吗？我以为构造函数是在实例变量之前初始化的。所以我希望输出是“xzy”。

class X {
    Y b = new Y();

    X() {
        System.out.print("X");
    }
}

class Y {
    Y() {
        System.out.print("Y");
    }
}

public class Z extends X {
    Y y = new Y();

    Z() {
        System.out.print("Z");
    }

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

Answer 1

调用构造函数时，实例变量初始值设定项在构造函数主体之前运行。你认为以下程序的输出是什么？

public class Tester {
    private Tester internalInstance = new Tester();
    public Tester() throws Exception {
        throw new Exception("Boom");
    }
    public static void main(String[] args) {
        try {
            Tester b = new Tester();
            System.out.println("Eye-Opener!");
        } catch (Exception ex) {
            System.out.println("Exception catched");
        }
    }
}

main方法调用Tester构造函数，该构造函数引发异常。您可能希望catch子句捕获此异常，并打印捕获的异常。但是如果你试着运行它，你会发现它没有做任何类似的事情，它会抛出一个stackoverflowerrror。

Answer 2

如果查看类文件的反编译版本

class X {
    Y b;

    X() {
        b = new Y();
        System.out.print("X");
    }
}

class Y {
    Y() {
        System.out.print("Y");
    }
}

public class Z extends X {

    Y y;

    Z() {
        y = new Y();
        System.out.print("Z");
    }

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

您可以发现实例变量y在构造函数中移动，因此执行顺序如下

1. 调用Z

所有实例变量都是使用构造函数语句初始化的。

Answer 3

正确的初始化顺序是：

1. 静态变量初始值设定项和静态初始值设定块，如果类以前没有初始化过，则按文本顺序
2. 构造函数中的super（）调用，无论是显式的还是隐式的
3. 实例变量初始化器和实例初始化块，按文本顺序排列
4. super（）之后构造函数的剩余主体

参见Java虚拟机规范§2.17.5-6节。