半构造对象对其他线程不可见
这不是真的。如果对象具有任何 非最终/易失性
字段,则该对象在构造时对其他线程可见。因此,其他线程可能会看到一个默认值,
permits即
0可能与当前线程不一致的默认值。
Java内存模型为不可变对象(仅具有最终字段的对象)提供了 初始化安全性
的特殊保证。对另一个线程可见的对象引用并不一定意味着该对象的状态对于使用线程是可见的-
JCP $3.5.2
从清单3.15中的Java并发实践中:
似乎在构造函数中设置的字段值似乎是写入这些字段的第一个值,因此没有“旧”值被视为过时的值,但在子类构造函数运行之前, Object
构造函数首先将默认值写入所有字段。因此,可以将字段的 默认 值视为 过时的 值。



