比较字符串引用

Question

我正在尝试理解Java中的引用比较。 假设我们有以下主要代码：

public static void main (String args[]) {
   String str1 = "Love!";  
   String str2 = "Love!";
   String str3 = new String("Love!");  
   String str4 = new String("Love!");
   String str5 = "Lov"+ "e!";  
   String str6 = "Lo" + "ve!";  
   String s = "e!";
   String str7 = "Lov"+ s;  
   String str8 = "Lo" + "ve!";
   String str9 = str1;
}

我理解str1 == str2 == str5 == str6 == str8 == str9，它们都是指向常量池中相同的值"Love!"。

s也是指向常量池中的值，但它指向的是"e!"。

我明白str1 != s。

我知道str3和str4是指向堆(heap)中的引用，并且它们各自指向不同的对象。 str3 != str4。

但是，我不明白为什么str1 != str7，希望得到解释。

- DifferentPulses

---

如果你“理解”str1 == str4，那么你需要忘记你认为自己知道的，因为它并不是这样。str3、str4和str7都是独立的三个对象。 - Andreas

简单来说：当您连接两个字符串时，编译器会特殊处理它，并且编译器知道这些字符串是什么（因为它们是字符串文字或static final常量）。 s是一个变量，这就是为什么str7不符合该情况的原因。 - ajb

编译器会对字面值和/或编译时常量进行字符串拼接，因此拼接结果将添加到字符串池中。涉及非常量变量的拼接将始终创建一个新字符串。由于s不是常量，所以str7是一个新字符串。 - Andreas

ajb，你能详细说明一下吗？ - DifferentPulses

相关：在Java中比较使用final声明的字符串时使用== - Pshemo

Answer 1

String s = "e!";
String str7 = "Lov"+ s;

虽然"e!"是一个常量表达式，但s不是一个常量变量(JLS §4.12.4)；因此，引用s的"Lov" + s不能成为常量表达式(JLS §15.28)。要使像s这样的变量成为常量变量，它需要同时是final和从常量表达式初始化。

如果你写成：

final String s = "e!";
String str7 = "Lov" + s;

那么str1 == str7 将会是真。

- HTNW