不可变对象上的线程安全

Question

我正在阅读有关Java中不可变对象的信息。

有一条声明指出-“不可变对象是线程安全的”。 对于上述声明，我需要进一步说明：

如果我具有与多个线程共享的类型为'String'的共享资源（例如3），并且如果其中一个线程对共享引用进行了更改，它将创建一个新的String对象，并且该对象仅在该Thread对象中可用而其他线程将不了解其中一个线程所做的更改。

会不会导致数据不一致？

那么有人可以帮我理解这一点吗？

提前致谢。

Answer 1

不变类的对象始终是线程安全的。 但是，对此类对象的引用与此无关。 它可能是线程安全的，也可能不是线程安全的，这取决于包含对此线程安全对象（例如，String对象）的引用的类以及操作此类引用的方法。

请参见下面的示例，以说明其解释：

public class User {
   private string name;

   public User(String name) {
      this.name=name;
   }

   public String getName() {
      return name;
   }

   public void setName(String name) {
      this.name=name;
   }
}

因此，即使String是一个不可变且线程安全的类，但上面的User类中对其的引用也不是线程安全的，因为它的方法可以同时将此引用更改为新的String对象。

如果您希望它是线程安全的，将有很多选择。 其中之一是将所有可以更改名称对象的方法设置为sync 。

Answer 2

不可变类型（任何语言）都是特殊的引用类型。 它们的独特之处在于，当更改它们时，它们会被一个全新的实例替换，该实例反映以前的状态+更改

假设有2个线程运行一个函数，该函数接收一个不可变的引用类型对象作为参数（当然，在此示例中，我将使用字符串）

//伪代码！

  main() 
  {
      var str = "initialState";  
      new Thread(Do,str,1).Start();
      new Thread(Do,str,2).Start();
  }

  void Do(string arg,int tid)
  {
      int i = 0; 
      while(true)
      {
          arg += "running in thread " + tid + "for the " + i + "time";
          Console.WriteLine(arg);
      }
   }

该程序并行打印每个线程中运行的出现次数，而不会影响另一个线程中打印的内容。

为什么呢

如果您认为字符串是引用类型，则它是通过引用而不是通过值传递的，这意味着仅在引用的副本出现时才将其复制。 尽管它最初是同一对象。 第一次更改后，它将不再存在，并且将创建另一个更改。 如果更改后它仍然是同一对象，则它将是2个线程之间的共享资源，并且将破坏那些线程无法打印的状态。