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

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;
    }
}

现在在控制台中，DataMap 构造函数的 System.out.println 在 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() 构造函数在UCMService 类的print 语句之前执行。同样，如果您的 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

在第7行可以看到putfield指令，将str字段初始化为"rohit"，在print语句之前（指令在15行）

Answer 2

简答：
因为规范是这么说的。

长答案：
构造函数不能使用内联初始化的字段会很奇怪。

你希望能够写作

SomeService myService = new SomeService();
public MyConstructor() {
    someService.doSomething();
}