使用不可变数据进行延迟初始化是否始终是线程安全的？

Question

我有两个类A和B:

class A {
    private final String someData;
    private B b;

    public String getSomeData() { return someData; }

    public B getB() {
        if (b == null) {
             b = new B(someData);
        }
        return b;
    }
}

where B是不可变的,只从一个实例计算其数据A.A具有不可变的语义,但它的内部结构是可变的(如hashCodein java.lang.String).

当我getB()从两个不同的线程调用,并且调用重叠时,我假设每个线程都有自己的实例B.但由于构造函数B只获取不可变数据,因此两个实例B应该相等.

那是对的吗？如果没有,我必须getB()同步以使其线程安全吗？

假设B实现了equals(),它比较了B的所有实例变量.对于hashCode()

Answer 1

这不是线程安全的,因为您没有与volatileor 创建任何"before-before"关系synchronized,因此两个线程可能会相互干扰.

问题是虽然b = new B(someData)意味着"为一个实例分配足够的内存B,然后在那里创建实例,然后指向b它",系统可以实现它"为一个实例分配足够的内存B,然后指向b它,然后创建实例"(因为,在单线程应用程序中,这是等效的).因此,在您的代码中,两个线程可以创建单独的实例但返回相同的实例,一个线程有可能在实例完全初始化之前返回另一个线程的实例.