這篇文章說：在這個不合規的代碼示例中，Helper 類通過將其字段聲明為 final 使其不可變。JMM 保證不可變對象在它們對任何其他線程可見之前被完全構造。getHelper() 方法中的塊同步保證所有可以看到 helper 字段的非空值的線程也將看到完全初始化的 Helper 對象。public final class Helper {  private final int n;  public Helper(int n) {    this.n = n;  }  // Other fields and methods, all fields are final}final class Foo {  private Helper helper = null;  public Helper getHelper() {    if (helper == null) {            // First read of helper      synchronized (this) {        if (helper == null) {        // Second read of helper          helper = new Helper(42);        }      }    }    return helper;                   // Third read of helper  }}但是，此代碼不能保證在所有 Java 虛擬機平臺上都能成功，因為在 helper 的第一次讀取和第三次讀取之間沒有發生之前的關系。因此，第三次讀取 helper 有可能獲得一個陳舊的空值（可能是因為它的值被編譯器緩存或重新排序），導致 getHelper() 方法返回一個空指針。我不知道該怎么辦。我同意一讀和三讀之間沒有發生之前的關系，至少沒有直接的關系。從某種意義上說，第一次讀取必須在第二次之前發生，第二次讀取必須在第三次之前發生，因此第一次讀取必須在第三次之前發生時，是否存在傳遞性發生在之前的關系？有人能更專業地闡述嗎？