做“最新”的事情Java 最终字段值的保证扩展到间接引用？

Question

Java 语言规范在 第 17.5 节中定义了最终字段的语义< /a>:

final 字段的使用模型很简单。在对象的构造函数中设置该对象的最终字段。在对象的构造函数完成之前，不要将对正在构造的对象的引用写入其他线程可以看到的位置。如果遵循这一点，那么当另一个线程看到该对象时，该线程将始终看到该对象的最终字段的正确构造版本。它还会看到这些最终字段引用的任何对象或数组的版本，这些版本至少与最终字段一样最新。

我的问题是 - “最新”保证是否扩展到嵌套数组和嵌套对象的内容？

简而言之：如果一个线程将可变对象图分配给对象中的最终字段，并且该对象图从未更新，那么所有线程是否可以通过最终字段安全地读取该对象图？

示例场景：

1. 线程 A 构造 ArrayList 的 HashMap，然后将 HashMap 分配给类“MyClass”实例中的最终字段“myFinal”。
2. 线程 B 看到对 MyClass 实例的（非同步）引用并读取“myFinal”，并访问和读取 ArrayList 之一的内容

在这种情况下，线程 B 所看到的 ArrayList 成员是否保证至少与 MyClass 的构造函数完成时一样最新？

我正在寻找 Java 内存模型和语言规范的语义澄清，而不是同步等替代解决方案。我梦想的答案是肯定或否定，并参考相关文本。

更新：

• 我对 Java 1.5 及更高版本的语义感兴趣，即通过 JSR 133 引入的更新的 Java 内存模型。此更新中引入了对 Final 字段的“最新”保证。

Answer 1

在这种情况下，成员是
线程 B 看到的 ArrayList
保证至少达到
日期与 MyClass 时一样
构造函数完成了吗？

是的，他们是。

当线程第一次遇到引用时，需要读取内存。由于哈希映射已构建，其中的所有条目都是全新的，因此对对象的引用是构造函数完成时的最新内容。

初次相遇后，通常的可见性规则将适用。因此，当其他线程更改最终引用中的非最终字段时，其他线程可能看不到该更改，但它仍然会看到来自构造函数的引用。

实际上，这意味着如果您不在构造函数之后修改最终的哈希映射，则其内容对于所有线程都是常量。

编辑

我知道我以前在某处见过这个保证。

以下是这篇文章中描述 JSR 133 的一段有趣内容

初始化安全

新的 JMM 还致力于提供
初始化安全的新保证
——只要一个对象被正确构造（意味着一个
对对象的引用不是
在构造函数之前发布
完成），然后所有线程都会看到
其最终字段的值
在其构造函数中设置，
无论是否
同步用于传递
从一个线程到另一个线程的引用。
此外，任何变量都可以
通过最后一个字段达到
正确构造的对象，例如
a 引用的对象的字段
最后的字段，也保证是
对其他线程也可见。这
意味着如果最终字段包含
引用，比如说，一个 LinkedList，
除了正确的值
引用对其他人可见
线程，还有该线程的内容
LinkedList 在构造时会
对其他线程可见，无需
同步。结果是
显着加强
Final 的含义——final 字段
可以安全地访问，无需
同步，并且编译器
可以假设最终字段不会
改变，因此可以优化
多次获取。

Answer 2

如果构造函数是这样编写的，则应该没有问题：

public class MyClass {
    public final Map myFinal;
    public MyClass () {
        Map localMap = new HashMap();
        localMap.put("key", new ArrayList());
        this.myFinal = localMap;
    }
}

这是因为映射在分配给公共引用之前已完全初始化。一旦构造函数完成，最终的 Map 将是最新的。