挥发性变量和其他变量

您的问题的答案在JLS＃17.4.5中：

在随后每次对该字段进行读取之前，都会写入一个易失字段（第8.3.1.4节）。

所以如果在一个线程中

aNonVolatileVariable = 2 //w1aVolatileVariable = 5 //w2

然后在另一个线程中：

someVariable = aVolatileVariable //r1anotherOne = aNonVolatileVariable //r2

anotherOne即使该变量不是volatile，您也可以保证等于2。因此，是的，使用volatile对使用非易失性变量也有副作用。

更详细地讲，这是由于同一部分中的Java内存模型（JMM）提供了2个其他保证：线程内顺序和可传递性（hb（x，y）表示x发生在y之前）：

如果x和y是同一线程的动作，并且x按程序顺序位于y之前，则hb（x，y）。
[…]
如果hb（x，y）和hb（y，z），则hb（x，z）。

在我的示例中：

• hb（w1，w2）和hb（r1，r2）（线程内语义）
• hb（w2，r1）由于易失性保证
  因此可以通过传递性得出hb（w1，r2）的结论。

而且，JMM保证，如果程序与事前发生的关系正确同步，则该程序的所有执行将保持顺序一致（即看起来好像没有任何重排序）。因此，在这种特定情况下，可以保证非易失性读取可以看到非易失性写入的效果。