我们可以将 Java 中的最终重新排序规则视为发生在规则之前吗？

Question

Java中存在两种最终记录规则，如下：

1. a write to final field in constructor 和 the constructed instance reference is assigned to variable afterwards 无法重新排序
2. read a instance reference 和 read the final field in the instance afterwards 无法重新排序

我们可以将上述规则视为发生之前的规则吗？

1. a write to final field in constructor 发生在the constructed instance reference is assigned to variable afterwards
2. read a instance reference 发生之前read the final field in the instance afterwards

我认为happens-before规则语义更强。

Answer 1

finally在我的理解中，final关键字和happens-before规则的语义保证属于不同的范畴。以上推导是错误的，没有必要的。

Answer 2

我认为happens-before规则语义更强。

在这种情况下，最终的重新排序规则肯定更强：

• happens-before 规则不禁止在本地重新排序语句，前提是重新排序后的行为顺序一致；即仅从创建对象的线程的角度来看。

• 相比之下，最终的重新排序规则确实明确禁止在构造函数中进行某些重新排序，除了那些会违反顺序一致性的内容。

推论：HB 不包含最终的重新排序规则。

^{（如果确实如此，那么根本没有必要说明后者。但是 JLS 的作者不会仅仅为了它而添加这些东西。给他们和成千上万的其他人已经阅读/研究了这些东西。）}

---

设计目标应该是可以在任何线程中使用final 字段，而无需任何显式同步或内存模型相关的性能开销；即没有用于读取的内存屏障。

如果在构造函数中允许对 final 字段进行本地重新排序，则另一个线程将需要内存屏障以确保它看到受影响字段的一致值。我想不出一种实用的方法来优化它。在构造函数中不重新排序的潜在小影响（平均而言）小于每次读取字段的读取障碍的影响。