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

2022-08-31 05:54:27

我有一个关于Java中字符串的简单问题。以下简单代码段仅连接两个字符串,然后将它们与 进行比较。==

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

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

比较表达式返回时很明显(我理解 和 之间的区别)。concat=="string"falseequals()==


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

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

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

比较表达式 ,在本例中返回 。为什么会有所作为?它是否必须与实习生池有关,或者我只是被误导了?concat=="string"truefinal


答案 1

将(不可变的)变量声明为 时,并使用编译时常量表达式对其进行初始化时,它也将成为编译时常量表达式,并且其值由使用它的编译器内联。因此,在第二个代码示例中,在内联值后,编译器会将字符串串联转换为:Stringfinal

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

当与相比时,会给你,因为字符串文本是被拘禁的"string"true

来自 JLS §4.12.4 - 最终变量

基元类型或类型的变量,即使用编译时常量表达式 (§15.28) 进行初始化,称为常量变量Stringfinal

同样来自 JLS §15.28 - 常量表达式:

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


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

第一个代码示例(非最终版本)编译为以下字节代码:

  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

显然,它正在将和存储在两个单独的变量中,并用于执行串联操作。stringStringBuilder

然而,您的第二个代码示例最终版本)如下所示:

  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,该字符串由步骤 中的操作加载。然后,第二个字符串文本通过步骤 中的操作加载。它不涉及在运行时创建任何新对象。字符串在编译时是已知的,并且它们被暂存。stringldc0ldc7String


答案 2

根据我的研究,所有这些都被关押在Java中。来自其中一篇博客文章:final String

因此,如果您确实需要使用 == 或 != 比较两个 String,请确保在进行比较之前调用 String.intern() 方法。否则,请始终首选 String.equals(String) 进行字符串比较。

因此,这意味着如果您调用,则可以使用运算符比较两个字符串。但这不是必需的,因为在Java中是内部实习的。String.intern()==String.intern()final String

您可以使用 == 运算符和 Javadoc for String.intern() 方法找到更多信息 String compareision

另请参阅此 Stackoverflow 帖子以获取更多信息。