使用构建器/工厂模式确保内存可见性

Question

下面的类：

class Pizza {

    Ingredients ingredients;
    Price price;

    public setIngredients(Ingredients ing) {
        if (ingredients != null) {
            throw new IllegalStateException();
        }
        ingredients = ing;
        return this;
    }

    public setPrice(Price p) {
        if (price != null) {
            throw new IllegalStateException();
        }
        price = p;
        return this;
    }

}

可以在构建器模式中使用，并且在构建之后，它实际上是不可变的，因为每个属性只能设置一次。也就是说：

Pizza pizza = new Pizza().setIngredients(something).setPrice(somethingelse);

但是，Pizza 不是线程安全的：不能保证线程 B 可以看到线程 A 设置到其中的成分。有一些方法可以修复它

• ： >最终。但是这样你就不能使用构建器模式了。
• 同步对成员的访问。但这似乎是浪费，因为它们只写一次。
• 让它们易失。感觉很浪费，就像同步一样。
• 使用AtomicReference。
• ETC。？

我的问题是，告诉 JVM 类成员在调用某个方法后不会更改的最佳方法是什么？我是否应该只同步对它的访问，并相信 JVM 会优化锁定？这感觉很浪费，因为我知道成员应该在设置后表现得像final。难道就没有更好的解决办法吗？

Answer 1

构建器模式通常意味着构建器是一个单独的对象。在这种情况下，您可以将正在构建的对象的字段设置为 final，并在构建器对象调用的构造函数中初始化它们：

Pizza pizza = 
    new PizzaBuilder()
        .setIngredients(something)
        .setPrice(somethingelse)
        .build(); 

或者，您可以确保 Pizza 对象的安全发布。请注意，安全发布习惯用法适用于包含对正在发布的对象的引用的字段，而不是该对象本身的字段。例如，如果 pizza 是某个对象的字段，您可以使其易失性或同步对其的访问 - 这将确保 Pizza 的安全发布> 分配给该字段的对象。

Answer 2

如果成员值永远不会改变，更好的模式是有一个 Pizza 构造函数，其参数为 Ingredients 和 Price ，并且对象上根本没有 setter 方法。实际上，在第一次调用后抛出异常的 setSomething() 方法并没有什么用处。

考虑一下 String 类的工作原理。一旦用某些文本实例化了String，文本值就无法更改。获取具有不同值的 String 的唯一方法是构造一个新的。看来这就是你想要的。

使用此模式还可以避免同步问题。