Java中字符串连接时为“ ==”

Question

String a = “devender”;
String b = “devender”;
String c = “dev”;
String d = “dev” + “ender”;
String e = c + “ender”;

    System.out.println(a == b);     //case 1: o/p true

    System.out.println(a == d);     //case 2: o/p true

    System.out.println(a == e);     //case 3: o/p false

a 和 b 都指向字符串常量池中的同一String Literal。所以true在情况1

String d = "dev" + "ender";

应该在内部使用类似-

String d = new StringBuilder().append("dev").append("ender").toString();

a 和 d 如何指向同一参考而不是 a ＆ e ？

Answer 1

发生了四件事：

1. （您清楚地知道这一点，但对于潜伏者来说）==测试以查看变量是否指向 同一String对象，而不是 等效的 字符串。所以，即使x是"foo"和y也"foo"，x == y可能是真的还是假的，这取决于是否x和y指向同一个String对象或不同的。这就是为什么我们使用equals而不是==比较字符串的等效性的原因。以下所有内容仅是为了解释为什么==有时是正确的，并不是建议使用==字符串进行比较。:-)

2. 相同类中的等效字符串常量（根据JLS中的各种规则，编译器知道的字符串是常量）由编译器（它也在类的“常量池”中列出）引用相同的字符串。这就是为什么a == b。

3. 当类被加载，它的每一个字符串常量自动 扣留 - JVM的字符串池检查等效字符串，如果找到一个，即String使用对象（如果没有，新String的恒新对象添加到池）。因此，即使x是在类中初始化的字符串常量Foo和在类中初始化y的字符串常量Bar，它们也将==彼此存在。

JLS§3.10.5部分覆盖了以上第2点和第3点。（关于类常量池的一点是实现细节，因此是到JVM规范的链接；
JLS只是讲到了内部。）

1. 编译器在处理常量值时会进行字符串连接，因此

   String d = "dev" + "ender";
   

编译为

    String d = "devender";

并且"devender"是一个字符串常量，编译器和JVM将上面的第2点和第3点应用于该常量。例如，不StringBuilder使用，则串联发生在
编译时 ，而不是运行时。JLS§15.28-
常量表达式
中对此进行了介绍。所以a == d是真正出于同样的原因a == b是正确的：它们指向同一个常量字符串，所以编译器确保他们指的在类的常量池相同的字符串。

当任何一个操作数都不是常量时，编译器将无法执行此操作，因此它不能使用以下操作：

    String e = c + "ender";

…即使代码分析可以很容易地显示出的价值c肯定是"dev"，因此e也肯定是"devender"。具体来说，该规范仅允许编译器使用常量值进行连接。因此，由于编译器无法执行此操作，因此它将输出StringBuilder您引用的代码，并且工作在运行时完成，从而创建了一个新String对象。该字符串不会自动e插入，因此最终会指向与该String对象不同的对象a，因此a == e为false。

请注意，如Vinod所说，如果您声明c为final：

    final String c = "dev";

然后它将是一个
常量变量
（是的，它们确实被称为该
变量
），因此将应用§15.28，并且编译器将打开

    String e = c + "ender";

进入

    String e = "devender";

并且a == e也将是如此。

只是重申一下：这都不意味着我们应该使用==比较字符串的等效性。:-)那equals是为了什么。