就最终字段而言,就并发而言,构造函数的末尾是一个特殊的地方。从Java语言规范的17.5节开始:
对象的构造函数完成后,就认为该对象已完全初始化。保证只有在对象完全初始化之后才能看到对对象的引用的线程才能确保看到该对象的最终字段的正确初始化值。
最终字段的使用模型很简单。在该对象的构造函数中设置该对象的最终字段。不要在对象的构造函数完成之前,在另一个线程可以看到它的地方编写对正在构造的对象的引用。如果执行此操作,则当另一个线程看到该对象时,该线程将始终看到该对象的最终字段的正确构造版本。它还将查看那些最终字段引用的任何对象或数组的版本,这些版本至少与最终字段一样。
换句话说,如果侦听器检查另一个线程中的对象,则最终可能会看到带有默认值的最终字段。如果在构造函数完成之后进行了侦听器注册,则不会发生这种情况。
就正在发生的事情而言,我怀疑构造函数的末尾存在隐式的内存屏障,以确保所有线程都“看到”新数据。如果没有应用该内存屏障,则可能会出现问题。



