如果只有一个写线程，声明一个字段的易变性是否足够？

Question

考虑以下代码：

public class MyAtomicInteger {
    private volatile int value;

    public int get() {
        return value;
    }

    public void increment() {
        value++;
    }

}

在一次采访中，我被问到了以下问题：如果只有一个线程调用increment（），而多个线程可以调用get（），那么这个代码是线程安全的吗？

我知道，如果我们有多个写入线程，竞争条件可能会发生。然而，当每个读取线程中只有一个写入线程时，我们将按顺序获取值，即我们不会在1之后读取0，因为1的写入发生在第一次读取1之前，因此，在同一线程中的所有后续读取。这个推理是正确的，还是我漏掉了什么？

Answer 1

通常，问题来自于读-修改-写的原子性，即值 。因为只有一个线程在做，所以只有一个线程在写值，其他线程在读值。

这就是易失性所提供的（线程所做更改的可见性），这就是所需要的。

当然，每个人都知道，设计这样的代码仍然不安全。有人添加了另一个线程，你的代码在你没有注意到的情况下被破坏了。