关于java中==运算符的问题

Question

public class Demo {  

    public static void main(String[] args) {

        String s1 = "Hello";
        String s2 = "Hello";
        System.out.println("s1 == s2 " + (s1 == s2));

        String s5 = "Hel" + "lo";
        String s6 = "He" + "llo";
        System.out.println("s5 == s6 " + (s5 == s6));

        String s7 = "He";
        String s8 = "Hello";
        s7 = s7.concat("llo");
        System.out.println("s7 == s8 " + (s7 == s8));

        String s10 = "He";
        s10 = s10 + "llo";
        System.out.println("s1 == s10 "+(s1 == s10));
    }
}

在前面的代码中 s7 == s8 和 s1 == s10 给出 false。有人可以解释一下， s7 = s7.concat ("llo"); 中实际发生了什么吗？ s10 = s10 + “llo”；我理解 == 运算符检查引用，而 equal() 检查对象的内容。但我需要知道为什么 s7 和 s10 参考变量位模式与 s8 和 s1 不同。如果这些事情与编译时生成的字符串和运行时生成的字符串有关，那么我如何识别它是编译时还是运行时字符串？

Answer 1

发生这种情况的原因是 Java 在编译器中进行了优化。当它发现您将文字字符串 "Hello" 分配给 s1 时，它会对 s2 使用相同的“Hello”，因为所有 Java 字符串操作都是非破坏性的（例如，它们返回一个克隆而不是而不是修改原始版本），所以这是一个安全的做法。

"Hel" + "lo" 与 "He" + "llo" 也是如此；它足够聪明，能够发现它们是同一件事。

其他的太复杂，无法优化它们，因此最终会得到单独的对象。

Answer 2

== 不检查位模式，它会比较对象的内存地址。只有同一个对象才具有相同的内存地址。

Answer 3

克林特的答案很好，但我将进一步扩展并在编译器级别进行解释。

如您所知，s1 和 s2 最终将成为对同一字符串实例 "Hello" 的引用。

对于 s5 和 s6，编译器会看到常量表达式。也就是说，它看到两个常量（字符串文字）之间的运算。编译器知道如何添加字符串以及结果是什么。由于这些值在编译时立即已知，因此它会为您进行加法，从而生成文字字符串 "Hello"。因此，它与 s1 和 s2 具有相同的值，因此它们也将引用相同的实例。

s7 不能以同样的方式简化。当然，s7 最初以 “He” 开头。这里的区别在于 s7 = s7.concat("llo"); 将 s7 重新分配给函数调用的结果。这不能按原样简化。就Java编译器而言，所有函数调用的结果在编译时都是未知的。由于它不知道结果值，因此无法对其进行简化并保持原样。结果调用返回 "Hello" 字符串的新实例，该实例与编译时实例（s8 共享）不是同一个实例。

s10 也不能以同样的方式简化。当然，s10 最初以 “He” 开头。然后重新赋值 s10 = s10 + "llo"; 这无法简化。你可能会问为什么？那么s10是一个非最终变量表达式。从技术上讲，编译器不知道它的值，因为它不是常量。如果s10被声明为final String，那么这可以是常量折叠（当分配给不同的变量时）。

因此，请考虑这个版本的测试代码：

public static void main(String[] args)
{
    String s1 = "Hello";
    String s2 = "Hello";
    System.out.println("1: s1 == s2 " + (s1 == s2));    // 1

    String s3 = "Hel" + "lo";
    String s4 = "Hel".concat("lo");
    System.out.println("2: s1 == s3 " + (s1 == s3));    // 2
    System.out.println("3: s1 == s4 " + (s1 == s4));    // 3

    String he = "He";
    String s5 = he + "llo";
    String s6 = he.concat("llo");
    System.out.println("4: s1 == s5 " + (s1 == s5));    // 4
    System.out.println("5: s1 == s6 " + (s1 == s6));    // 5

    final String fhe = "He";
    String s7 = fhe + "llo";
    String s8 = fhe.concat("llo");
    System.out.println("6: s1 == s7 " + (s1 == s7));    // 6
    System.out.println("7: s1 == s8 " + (s1 == s8));    // 7
}

您能找出哪些行是正确的吗？

_{真，真，假，假，假，真，假
您可能想知道为什么 3 和 7 不正确。简短的回答，Java 编译器没有编程}
^{足够聪明，能够识别 concat() 调用，因此被视为常规函数调用。}

Answer 4

等于运算符测试引用是否相同（即指向同一对象），而不是测试引用的值是否相同。如果您需要测试一个字符串是否等于另一个字符串，您应该使用内置的 .equals 方法。这将进行对象值比较。例如，

final String expectedValue = "Foo";
final String actualValue = "F" + "oo";
if (expectedValue.equals(actualValue)) {
  // This will trigger where == would not
}

另外为了安全起见，如果您确实比较两个字符串并且其中一个是常量，通常最好对常量调用 equals，即而不是

String myValue = getMyValue;
boolean theSame = "Some value".equals(myValue);

原因

String myValue = getMyValue;
boolean theSame = myValue.equals("Some Value");

是第二种形式存在空指针异常的风险，可以通过调用 equals() 来避免在保证存在的常量字符串上。

Answer 5

您不能对字符串对象做出任何假设。

虚拟机可以努力确保不会同时存在两个包含完全相同的字符数组的字符串对象，而其他虚拟机则允许重复。

Answer 6

== 运算符仅检查两个对象是否具有相同的地址（指针）。仅对于不是引用的原始类型（如 int、char 等），它才会比较值。

您需要使用诸如 s1.equals(s2) 之类的东西来比较两个字符串的内容。

Answer 7

在您提供的示例中，正在发生的情况是：

String s7 = “He”;    //s7 is an object referencing a part of memory holding “He”
String s8 = “Hello”;   //s8 is an object referencing a part of memory holding “Hello”
s7 = s7.concat(“llo”); //s7.concat(“llo”) created a new object in memory that contains “Hello” and s7 now references this now object 

(s7==s8)             //checks if the equality of the object reference and this is false since they reference different memory addresses.

(s7.equals(s8))         //this will compare s7 and s8 however way the String class compares two String objects.