将字符串与在 Java 中声明为 final 的 == 进行比较

小编典典

将字符串与在 Java 中声明为 final 的 == 进行比较

all

我对 Java 中的字符串有一个简单的问题。下面的简单代码段只是连接两个字符串，然后将它们与==.

String str1="str";
String str2="ing";
String concat=str1+str2;

System.out.println(concat=="string");

比较表达式concat=="string"返回很明显（我理解和false之间的区别）。equals()``==

当这两个字符串这样声明final时，

final String str1="str";
final String str2="ing";
String concat=str1+str2;

System.out.println(concat=="string");

比较表达式concat=="string"，在这种情况下返回true。为什么会final有所作为？它与实习生池有关还是我被误导了？

阅读 78

2022-06-13

共1个答案

小编典典

当您将String（ 不可变
的）变量声明为final，并使用编译时常量表达式对其进行初始化时，它也将成为编译时常量表达式，并且其值由使用它的编译器内联。因此，在您的第二个代码示例中，在内联值之后，编译器将字符串连接转换为：

String concat = "str" + "ing";  // which then becomes `String concat = "string";`

与之相比，它"string"会给你true，因为字符串文字是实习的。

来自JLS 搂4.12.4
-final变量：

使用编译时常量表达式（拥抱15.28）初始化并初始化的原始类型或类型String变量称为 常量变量 。final __

同样来自JLS 搂15.28 -
常量表达式：

类型的编译时常量表达式String始终是 “内部的”
，以便使用方法共享唯一实例String#intern()。

在您的第一个代码示例中不是这种情况，其中String变量不是final.
因此，它们不是编译时常量表达式。那里的连接操作将延迟到运行时，从而导致创建一个新String对象。您可以通过比较两个代码的字节码来验证这一点。

第一个代码示例 （非final版本）被编译为以下字节码：

  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用于执行连接操作。

而您的第二个代码示例 （final版本）如下所示：

  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所以它在编译时直接内联final变量来创建String
，由ldcstep中的操作加载0。ldc然后通过step中的操作加载第二个字符串文字7。它不涉及String在运行时创建任何新对象。字符串在编译时就已经知道了，它们是被实习的。

2022-06-13