将(不可变的)变量声明为 时,并使用编译时常量表达式对其进行初始化时,它也将成为编译时常量表达式,并且其值由使用它的编译器内联。因此,在第二个代码示例中,在内联值后,编译器会将字符串串联转换为:String
final
String concat = "str" + "ing"; // which then becomes `String concat = "string";`
当与相比时,会给你,因为字符串文本是被拘禁的。"string"
true
来自 JLS §4.12.4 - 最终
变量:
基元类型或类型的变量,即使用编译时常量表达式 (§15.28) 进行初始化,称为常量变量。String
final
同样来自 JLS §15.28 - 常量表达式:
类型的编译时常量表达式始终是“interned”的,以便使用方法 String#intern()
共享唯一的实例。String
在第一个代码示例中,情况并非如此,其中变量不是 。因此,它们不是编译时常量表达式。那里的串联操作将延迟到运行时,从而导致创建新对象。您可以通过比较两个代码的字节代码来验证这一点。String
final
String
第一个代码示例(非最终
版本)编译为以下字节代码:
Code:
0: ldc #2; //String str
2: astore_1
3: ldc #3; //String ing
5: astore_2
6: new #4; //class java/lang/StringBuilder
9: dup
10: invokespecial #5; //Method java/lang/StringBuilder."<init>":()V
13: aload_1
14: invokevirtual #6; //Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
17: aload_2
18: invokevirtual #6; //Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
21: invokevirtual #7; //Method java/lang/StringBuilder.toString:()Ljava/lang/String;
24: astore_3
25: getstatic #8; //Field java/lang/System.out:Ljava/io/PrintStream;
28: aload_3
29: ldc #9; //String string
31: if_acmpne 38
34: iconst_1
35: goto 39
38: iconst_0
39: invokevirtual #10; //Method java/io/PrintStream.println:(Z)V
42: return
显然,它正在将和存储在两个单独的变量中,并用于执行串联操作。str
ing
StringBuilder
然而,您的第二个代码示例(最终
版本)如下所示:
Code:
0: ldc #2; //String string
2: astore_3
3: getstatic #3; //Field java/lang/System.out:Ljava/io/PrintStream;
6: aload_3
7: ldc #2; //String string
9: if_acmpne 16
12: iconst_1
13: goto 17
16: iconst_0
17: invokevirtual #4; //Method java/io/PrintStream.println:(Z)V
20: return
因此,它直接内联最终变量以在编译时创建 String,该字符串由步骤 中的操作加载。然后,第二个字符串文本通过步骤 中的操作加载。它不涉及在运行时创建任何新对象。字符串在编译时是已知的,并且它们被暂存。string
ldc
0
ldc
7
String