String s = "foobar" 是吗？原子？

Question

String s = "foobar"; 是原子的吗？

分配对象引用应该是，但我不太确定。

谢谢。

Answer 1

是。在java中所有的引用赋值都是原子的。

请注意，像 String s = new String("foobar") 这样的复合语句不是原子的，因为它包含对象创建和单独的赋值。

另请注意，“对 long 和 double 变量的赋值可能不是原子的”，来自 JLS-17.7

Answer 2

这里已经给出了许多很好的答案。我仍然想要一些更“官方”的关于“所有引用分配在 java 中都是原子的”这样的声明，以及为什么 String s = "foobar" 不在运行时创建新对象。以下是 Java 语言规范 中的内容。 （缩写JLS）。

下面是一些示例：

String str1 = "foo";                // line 1, atomic
String str2 = "foo" + "bar";        // line 2, atomic
String str3 = str1;                 // line 3, atomic
String str4 = str1 + str2;          // line 4, not atomic
String str5 = new String("foobar"); // line 5, not atomic

第 1 行和第 2 行是原子的，因为：

1. 它们都是常量表达式，并且在编译时计算。运行时没有发生对象构造。

JLS - 15.28：常量表达式是表示基本类型值或不会突然完成的字符串的表达式，并且由...基本类型文字和字符串类型文字组成。

JSL - 3.10.5：由常量表达式（第 15.28 节）计算的字符串在编译时计算，然后将其视为文字。

2. 写入和读取引用始终是原子的。

JLS - 17.7：引用的写入和读取始终是原子的，无论它们是实现为 32 位还是 64 位值。

第 3 行是原子的，因为：

该行中只有一个引用赋值。

JLS - 17.7

第 4 行不是原子，因为：

通过连接两个字符串变量，在运行时创建一个新的 String 对象。对象构造不是原子的。

JLS - 15.8.1 - 字符串连接运算符 +：除非表达式是常量表达式（第 15.28 节），否则新创建字符串对象（第 12.5 节）。

JLS - 3.10.5 - 字符串文字：在运行时通过连接计算的字符串是新创建的，因此是不同的。

第 5 行不是原子的，因为：

String 对象是在运行时在该行中构造的。

Answer 3

是的，但如果您担心竞争条件，您至少应该注意“同步”方法/块。

请注意，这不是原子的，因为它包含两个操作：

String s = string_a + string_b;