是的，你是对的。必须使访问变量也是线程安全的。您可以通过使其成为
final或来实现
volatile，或者确保所有线程在同步块内再次访问该变量。如果您不这样做，则可能是例如一个线程已“看到”变量的新值，而另一个线程可能仍“看到”
null了。
因此，对于您的示例，
NullPointerException当线程访问该
mySharedObject变量时，有时可能会出现一个。但这可能仅在具有多个缓存的多核计算机上发生。
Java内存模型
这里的重点是Java内存模型。它指出，只有在某个线程在所谓 的before-before关系中
读取该状态之前发生更新时，才保证该线程看到另一个线程的内存更新。在之前发生关系可以通过强制执行
final，
volatile或
synchronized。如果不使用这些构造中的任何一个，则永远不能保证一个线程对变量的赋值不会被其他任何线程可见。
您可以认为线程在概念上具有本地缓存，并且只要您不强制多个线程的缓存进行同步，线程就可以对其本地缓存进行读写操作。这可能导致以下情况：从同一字段读取时，两个线程看到的值完全不同。
请注意，还有其他一些方法可以增强内存更改的可见性，例如，使用静态初始化程序。此外，新创建的线程始终会看到其父线程的当前内存，而无需进一步同步。因此，您的示例甚至可以在不进行任何同步的情况下工作，因为在初始化字段之后，将以某种方式强制执行线程的创建。
但是，
依靠这样一个微妙的事实会带来很大的风险，并且如果您以后重构代码而又不考虑细节的话，很容易破坏。Java语言规范中描述了（但很难理解）有关事前发生关系的更多详细信息。
