在构造函数外部初始化的最终字段是否在运行构造函数之前初始化？[重复]

Question

假设你有这个代码片段

private final Set set = new HashSet() {{ add(1); }};


SomeConstructor() {
   printSet();
}

long printSet() {
    new Thread(() -> {System.out.println(set)}).start();
}

例如，如果编译器决定让它看起来像

private final Set set;
SomeConstructor() {
   printSet();
   set = new HashSet() {{ add(1); }};
}

这将是一个问题，因为calculateWaitTime（）生成一个新线程，该线程可能会将集合视为null或其中没有1。

那么问题又来了，这种重新排序可能吗？或者所有在构造函数之外初始化的最终字段都是在构造函数之前初始化的，或者至少总是由编译器移动到构造函数的顶部

Answer 1

final字段是不可能的。

只需看看17.5.2在构建过程中读取最终字段“>Java®语言规范Java SE 8版本

17.5.2施工期间读取最终字段

在构造该对象的线程中，读取该对象的最后一个字段的顺序与构造函数中该字段的初始化顺序有关，按照通常的before规则执行。如果读取发生在构造函数中设置字段之后，则会看到最后一个字段分配的值，否则会看到默认值。

但正如您也可以看到的，它并不能保证后续使用反射进行final字段修改。详见17.5.3。