字符串池行为

Question

我读到了这个Questions about Java's String pool 并了解字符串池的基本概念但仍然不了解行为。

首先：如果您直接分配值并且 s1 和 s2 都引用池中的同一个对象，则它可以工作

String s1 = "a" + "bc";
String s2 = "ab" + "c";
System.out.println("s1 == s2? " + (s1 == s2));

但是如果我更改字符串 s1+="d"，那么池应该有一个字符串对象“abcd”？那么当我更改 s2+="d" 时，它应该在池中找到字符串对象“abcd”并将该对象分配给 s2？但事实并非如此，它们也没有引用同一个对象。这是为什么呢？

String s1 = "abc";
String s2 = "abc";
System.out.println("s1 == s2? " + (s1 == s2));

s1 += "d";                  
s2 += "d";
System.out.println("s1 == s2? " + (s1 == s2));

Answer 1

当您在字符串上调用String.intern() 时，保证会合并字符串。

String s1 = "abcd".intern();
String s2 = "abc";
s2 += "d";
s2 = s2.intern();
s1 == s2 // returns true

当编译器看到一个常量时，它足够聪明地优化和池化字符串文字，即：

String s1 = "abcd";
String s2 = "abcd";
s1 == s2 // returns true

Java Language Specification 状态：

每个字符串字面量都是一个引用 (§4.3) 到一个实例 (§4.3.1, §12.5) 类字符串（§4.3.3）。细绳 对象具有恒定值。细绳 文字，或者更一般地说，字符串 这是常量的值 表达式（第 15.28 节）- 被“实习”所以 至于共享独特的实例，使用 String.intern 方法。

所以在s2 += "d" 的情况下，编译器没有你那么聪明，只是汇集了"d"。

Answer 2

对此我不确定，所以这只是猜测，但我怀疑第一个示例中可能存在一些编译器诡计（它是内联的并且很明显发生了什么），但这并不聪明足以在第二个示例中完成它（它不是那么明显）。

如果我是对的，要么编译器看到"a" + "bc" 并在编译时简单地将其压缩为"abc"，要么它看到这两行并合并字符串，因为它意识到它们将被使用。我赌的是前者..

并非所有字符串都必须被合并。

Answer 3

请参阅String#intern() 的文档。那里的最后一行声明：

所有文字字符串和字符串值常量表达式都是 实习。

您的+= 示例既不是文字字符串也不是字符串值的常量表达式，因此它不会放入字符串池中。

Answer 4

编译器可以执行常量评估，但不能在您修改值的情况下执行

尝试跟随，看看如果从任一变量中删除 final 会发生什么。

final String s1 = "abc";
final String s2 = "abc";
System.out.println("s1 == s2? " + (s1 == s2));

String s3 = s1 + "d";                  
String s4 = s2 + "d";
System.out.println("s3 == s4? " + (s3 == s4));

Answer 5

这是我的猜测：

字符串 s1 = "a" + "bc"; 字符串 s2 = "ab" + "c";

我认为这是编译时，它们被确定为生成相同的字符串，因此只为两者创建一个对象。

但是当你给它们都加上“d”时，这两个字符串是分开完成的（因为它是在实时完成的，可能会有异常中断它等，所以它不能预先做）所以它不会自动让它们引用一个对象。

Answer 6

我认为这里发生的是： 1.对于 字符串 s1 = "a" + "bc"; 字符串 s2 = "ab" + "c"; Java 编译器足够聪明，知道 s1 和 s2 的字面值是相同的，所以编译器将它们指向字符串池中相同的字面值

1. 为 s1 += "d";
   s2 += "d";

编译器无法知道 s1 和 s2 是否最终会是相同的值， 在运行时，除非您调用 String.intern()，否则 jvm 不会检查字符串文字池以查看该值是否已经存在。