为什么不可变对象在双重检查锁定中是安全的？

Question

可变一的示例和说明如下：

// Broken multithreaded version
// "Double-Checked Locking" idiom
class Foo { 
  private Helper helper = null;
  public Helper getHelper() {
    if (helper == null) 
      synchronized(this) {
        if (helper == null) 
          helper = new Helper();
      }    
    return helper;
    }
  // other functions and members...
  }

它不起作用的第一个原因

它不起作用的最明显的原因是初始化Helper对象的写操作和对Helper字段的写操作可能不按顺序进行或被感知。因此，调用getHelper（）的线程可以看到对helper对象的非空引用，但看到的是helper对象字段的默认值，而不是构造函数中设置的值。

谢谢

Answer 1

通常对象的代码被“破坏”的原因是helper可能是非空的，但它指向的对象还没有完全初始化，正如您在引文中所解释的那样。

但是，如果Helper类是不可变的，这意味着它的所有字段都是最终的，那么Java内存模型保证它们是安全发布的，即使对象通过数据竞争获得可用（在您的示例中就是这样）：

final字段还允许程序员在没有同步的情况下实现线程安全的不可变对象。线程安全的不可变对象被所有线程视为不可变的，即使使用数据竞争在线程之间传递对不可变对象的引用。这可以提供安全保证，防止不正确或恶意代码误用不可变类。final字段必须正确使用，以提供不变性的保证。