尽管是可变的，但这在技术上线程安全吗？

Question

是的，私有成员变量 bar 应该是 final 对吧？但实际上，在本例中，简单地读取 int 的值是一个原子操作。那么这在技术上是线程安全的吗？

class Foo {
    private int bar;
    public Foo(int bar) {
        this.bar = bar;
    }
    public int getBar() {
        return bar;
    }
}

// 假设无限数量的线程在同一个 Foo 实例上重复调用 getBar。

编辑：

假设这是 Foo 类的所有代码；任何引用 Foo 实例的线程将无法更改 bar 的值（无需使用反射等）

Answer 1

最终更新：所以我的第一个结论碰巧是正确的，只是我的推理是错误的:-(我重新编辑了我的答案，使其有些连贯，而不是隐藏我之前错误的痕迹。

结论

正如 @Wyzard 指出的，即使在构造后无法更改 bar，Foo 仍然不是线程安全的，问题不在于原子性，而在于线程 1 的可见性。正在更改构造函数中 bar 的值（默认值 0），无法保证其他线程何时会看到新值（或者它们是否根本看到它） ）。

所以 foo 看起来像一个不可变的对象，引用自 Java 并发实践。 ，第 3.4 节：

如果满足以下条件，则对象是不可变的：

• 其状态在构建后无法修改；
• 其所有字段均为最终字段；和
• 它的构造正确（this 引用在构造过程中不会转义）。

Foo 在 1) 和 3) 上看起来不错，但在 2) 上则不然。由于上述推理，这是一个关键点。声明变量 final 是确保其在不同线程之间可见性的一种方法。其他方法是声明 bar 易失性，或同步其访问方法。但当然，对于不可变对象，这些都没有多大意义。

Final Fields

那么为什么final字段可以保证可见性呢？ Java并发实践中的回答，第3.5.2节：

由于不可变对象如此重要，JavaMemory 模型为共享不可变对象提供了特殊的初始化安全保证。正如我们所看到的，对象引用对另一个线程可见并不一定意味着该对象的状态对使用线程可见。为了保证对象状态的一致视图，需要同步。

另一方面，即使不使用同步来发布对象引用，也可以安全地访问不可变对象。为了保证初始化安全性，必须满足不变性的所有要求：不可修改的状态、所有字段都是最终的以及正确的构造。 [...]

任何线程都可以安全地使用不可变对象，无需额外的同步，即使不使用同步来发布它们也是如此。

此保证扩展到正确构造的对象的所有最终字段的值；无需额外同步即可安全访问 Final 字段。但是，如果最终字段引用可变对象，则仍然需要同步才能访问它们引用的对象的状态。

如果该字段不是最终字段，会发生什么情况？其他线程可能会默默地看到该字段的陈旧值。没有例外或任何类型的警告 - 这就是此类错误如此难以追踪的原因之一。