安全发布以及不可变与有效不可变的优势

朱鸿畅

2023-03-14

问题内容：

我正在重读Java Concurrency in Practice，但不确定我是否完全了解有关不变性和安全发布的章节。

这本书说的是：

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

我不明白的是，为什么有人（有 兴趣使自己的代码正确无误 ）发布不安全的参考资料？

如果对象是不可变的，并且不安全地发布，那么我知道获得该对象引用的任何其他线程都将看到其正确状态，这是由于适当的不可变性（带有final字段等）提供了保证。

但是，如果发布是不安全的，则在发布后可能仍会看到另一个线程null或该发布之前的引用，而不是对不可变对象的引用，在我看来这似乎是没人希望的。

而且，如果使用安全发布来确保所有线程都能看到新引用，那么即使对象实际上是 不可变的
（没有final字段，也没有使它们静音的方法），那么一切都将再次变得安全。正如书中所说：

安全发布的 有效不变 对象可以被任何线程安全使用，而无需额外的同步。

那么，为什么不变性（相对于有效不变性）如此重要？在什么情况下会要求发表不安全的出版物？

问题答案：

出于以下两个原因，需要设计不需要同步的对象：

由于上述原因非常重要，因此最好学习有时困难的规则，并以编写者的身份创建不需要同步的安全对象，而不是希望代码的所有用户都记住正确使用它。

还请记住，作者并不是说对象是不安全发布的，它是在没有同步的情况下安全发布的。

关于您的第二个问题，我刚刚检查了一下，而书中并未保证其他线程将始终看到对更新对象的引用，只是如果这样做，它将看到完整的对象。但是我可以想象，如果它是通过另一个（Runnable？）对象的构造函数发布的，那将是美好的。但这确实有助于解释所有情况。

编辑：

有效不可变和不可变有效不可变和不可变
之间的区别是，在第一种情况下，您仍然需要以安全的方式发布对象。对于真正的不可变对象，这是不需要的。因此，首选真正不变的对象，因为出于上述原因，它们更易于发布。