不可变对象和具有线程安全性的初始化安全性

Question

我得到的是它们是线程安全的。

杰里米·曼森博客的片段-

class String {
  // Don't do this, either.
  static String lastConstructed;
  private final byte[] bytes;
  public String(byte[] value) {
    bytes = new byte[value.length];
    System.arraycopy(value, 0, bytes, 0, value.length);
    lastConstructed = this;         
  }
}

因为this引用存储在lastconstructed中“，因此转义构造函数

请建议。

Answer 1

一个常见的误解是在Java中有对象字段。您只有引用和原语。这意味着

static String lastConstructed;

字段lastconstructed是一个可变引用。它的可见性不是线程安全的。具有不可变对象不会赋予对该对象的引用任何属性。

类似地，如果您有final字段，这不会使您的对象变得不可变。

final Date today = new Date();

volatile Date now = new Date();

now.setTime(System.currentTimeMillis()); // no thread safe.

这不是线程安全的原因有两个。1）对now的访问是读而不是写，其次，它在任何情况下都发生在写之前。所需要的是写之后的屏障。你看到的东西看起来是无稽之谈。

now = now; // this adds a write barrier.

一个相关的神话是，如果您使用线程安全的集合，那么您执行的任何一系列操作也是线程安全的。这有点像仙女的灰尘，你只是洒在周围，你的许多虫子消失了，但这并不意味着你真的是线程安全的。

简而言之，线程安全就像一个依赖关系链，如果访问数据的任何方面不是线程安全的，就没有一个是。