Scala 和 Java 内存模型

Question

Java 内存模型(自 1.5 起)对待 final 字段与非 final 字段的方式不同。特别是，如果 this 引用在构造期间不会转义，则即使对象可用，也保证对构造函数中的 final 字段的写入在其他线程上可见通过数据竞争到另一个线程。 (对非 final 字段的写入不保证可见，因此如果您不正确地发布它们，另一个线程可能会看到它们处于部分构造的状态。)

有没有关于 Scala 编译器如何/是否为类创建 final (而不是非 final)支持字段的文档？我查看了语言规范并搜索了网络，但找不到任何明确的答案。 (相比之下，@scala.volatile 注释被记录为将字段标记为 volatile )

Answer 1

我挖掘了历史记录以找出更改的时间。

• Bug Report 2007 年 10 月
• Commit 2007 年 11 月

语言规范未涵盖 Scala 到 JVM 的映射。