具有非最终字段的不可变对象如何成为线程不安全的？

Question

说我们有这个

// This is trivially immutable.
public class Foo {
    private String bar;
    public Foo(String bar) {
        this.bar = bar;
    }
    public String getBar() {
        return bar;
    }
}

是什么使该线程不安全？接下来是这个问题。

Answer 1

Foo一旦安全发布，它就是线程安全的。例如，此程序可能会打印“不安全”（它可能不会使用hotspot /
x86的组合）-如果您进行bar最终定格，则不会发生：

public class UnsafePublication {

    static Foo foo;

    public static void main(String[] args) {
        new Thread(new Runnable() {
            @Override
            public void run() {
                while (foo == null) {}
                if (!"abc".equals(foo.getBar())) System.out.println("unsafe");
            }
        }).start();

        new Thread(new Runnable() {
            @Override
            public void run() {
                foo = new Foo("abc");
            }
        }).start();
    }
}