java - JVM 执行代码以构建对象的顺序

Question

我正在学习 Oracle 的 OCA 8 认证。在我的研究中，我遇到了一个问题，让我对 Java 对象的初始化顺序(静态 block 、构造函数、变量初始化，...)产生了一些疑问。问题如下:

public class InitTest{
   static String s1 = sM1("a");{
      s1 = sM1("b");
   }
   static{
      s1 = sM1("c");
   }
   public static void main(String args[]){
      InitTest it = new InitTest();
   }
   private static String sM1(String s){
      System.out.println(s);  return s;
   }
}

我的问题是对象的每个部分的启动顺序:

1) {...}

2) 静态{...}

3) 初始化测试{...}

4) static String s1 = sM1("a");

你能解释一下吗？

Answer 1

初始化顺序总是如下:

1. 递归地初始化父类(super class)(与所讨论的示例无关，因为它没有父类(super class))
2. 静态字段和静态初始化器
3. 实例字段和实例初始化器
4. 构造器

因此，您的示例中的初始化顺序为:

1) 静态字符串 s1 = sM1("a"); - 静态初始化 block 和静态字段成员最先被处理，这发生在类加载器加载类之后(在您开始使用类或创建对象之前)。如果有更多的初始化器或静态成员声明，​​它们将按照它们编写的顺序执行。这就是为什么这个静态字段将在静态初始化程序 block 之前被初始化的原因。

2) static {...} - 在第 1 点中进行了解释。静态初始化器出现在静态变量 s1 的声明之前，因此它在这个顺序(两者具有相同的优先级，但如果两者具有相同的优先级，则类内部的顺序获胜)。

3) {...} - 在静态初始化器和静态字段之后，实例初始化器和实例字段被初始化，所以实例初始化器在静态初始化器和静态字段之后是下一个 s1。在使用构造函数创建新对象时，它们是第一个被处理的，并且这发生在构造函数实际执行之前。

4.) InitTest {...} - 在初始化所有其他内容(所有初始化 block 和字段初始化)后调用构造函数。

有关类和对象初始化顺序的更多详细信息，您可以在 Java 语言规范中找到:https://docs.oracle.com/javase/specs/jls/se11/html/jls-12.html#jls-12.4.1 , https://docs.oracle.com/javase/specs/jls/se11/html/jls-12.html#jls-12.4.2 , https://docs.oracle.com/javase/specs/jls/se11/html/jls-12.html#jls-12.5