在这种情况下，是否保证线程B看到的ArrayList成员至少与MyClass的构造函数完成时的成员保持最新？
对，他们是。
线程在首次遇到引用时需要读取内存。因为哈希映射是构造而成的，所以其中的所有条目都是全新的，因此对对象的引用up-to-date是指构造函数完成后的对象。
初次遇到之后，将应用通常的可见性规则。因此，当其他线程更改最终引用中的非最终字段时，其他线程可能看不到该更改，但仍会看到构造函数发出的引用。
实际上，这意味着如果不在构造函数之后修改最终的哈希映射，则其内容对于所有线程都是常量。
我知道我以前曾经见过这种保证。
新的JMM还寻求提供初始化安全性的新保证- 只要正确构造了一个对象（这意味着在构造函数完成之前不会发布对该对象的引用），那么所有线程都将看到它的最终字段是在其构造函数中设置的，无论是否使用同步将引用从一个线程传递到另一个线程。此外，也可以保证通过适当构造的对象的最终字段（例如，由最终字段引用的对象的字段）可以到达的任何变量也对其他线程可见。这意味着，除了其他线程可以看到的正确值之外，如果最终字段还包含对LinkedList的引用，而且在构建时该LinkedList的内容对于其他线程也是可见的，而无需同步。结果显着增强了final的含义- 可以安全地访问final字段而无需同步，并且编译器可以假定final字段不会更改，因此可以优化多次提取。
602392714
清零编程群