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

我有两个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;
    }
}

其中B是不可变的并且仅从A的实例计算其数据.A具有不可变的语义,但它的内部是可变的(如java.lang.String中的hashCode).

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

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

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

解决方法:

这不是线程安全的,因为您没有创建任何与volatile相关的“事先发生”关系,因此两个线程可能会相互干扰.

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

标签：java,multithreading,thread-safety,immutability,lazy-initialization
来源： https://codeday.me/bug/20190728/1563310.html