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

发布时间：2020-12-15 04:18:28 所属栏目：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具有不

我有两个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指向它,然后创建实例“(因为,在单线程应用程序中,这是等效的).因此,在您的代码中,两个线程可以创建单独的实例但返回相同的实例,一个线程有可能在实例完全初始化之前返回另一个线程的实例.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!