为什么实例变量在构造函数调用之前被初始化？

Question

我有以下这段代码：

public abstract class UCMService{
    private String service;

    protected DataMap dataMap = new DataMap();

    protected class DataMap extends HashMap<String,String> {

        private static final long serialVersionUID = 4014308857539190977L;

        public DataMap(){
            System.out.println("11111");
            put("IdcService",service);
        }
    }

    public UCMService(String service){
        System.out.println("2222");
        this.service = service;
    }
}

现在在控制台中System.out.println，DataMap构造函数要在的构造函数之前执行UCMService。

我想知道为什么会这样。

Answer 1

这是因为在编译时，编译器会将在声明位置完成的每个初始化都移到类的每个构造函数中。因此，UCMService类的构造函数可以有效地编译为：

public UCMService(String service){
    super();  // First compiler adds a super() to chain to super class constructor
    dataMap = new DataMap();   // Compiler moves the initialization here (right after `super()`)
    System.out.println("2222");
    this.service = service;
}

因此，显然DataMap()构造函数是在类的print语句之前执行的UCMService。同样，如果您的类中还有其他构造函数UCMService，则初始化将移至所有它们。

让我们看一个简单类的字节码：

class Demo {
    private String str = "rohit";

    Demo() {
        System.out.println("Hello");
    }
}

编译该类，并执行命令- javap -c Demo。您将看到以下构造函数的字节码：

Demo();
    Code:
       0: aload_0
       1: invokespecial #1   // Method java/lang/Object."<init>":()V
       4: aload_0
       5: ldc           #2   // String rohit
       7: putfield      #3   // Field str:Ljava/lang/String;
      10: getstatic     #4   // Field java/lang/System.out:Ljava/io/PrintStream;
      13: ldc           #5   // String Hello
      15: invokevirtual #6   // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      18: return

您可以putfield在第7行看到该指令，将field初始化str为"rohit"，位于print语句之前（在的指令15）