java中的字符串池，编译时与运行时字符串计算

Question

我正在学习如何通过OCA考试，并坚持这个java字符串池的概念。

考虑以下几点：

public static void main(String[] args) {

    String s1 = "Hello";                // since s1 and s2 are the same literal at compile-time, therefore they will be string pooled
    String s2 = "Hello";

    String s3 = "Hello".trim();

    StringBuilder sb1 = new StringBuilder("Hello");     // although they are the same string, == only checks for object equality
    StringBuilder sb2 = new StringBuilder("Hello");

    System.out.println(s1 == s2);       // true
    System.out.println(s1 == s3);       // true
    System.out.println(sb1 == sb2);     // false

}

s1和s2在字符串中是相同的，在对象中也是相同的，因为它是相同的字符串文本，所以JVM在编译时将字符串池s1和s2。

现在，s3是在运行时计算的，因此应该返回一个新字符串。因此，s1==s3应该为false，但事实并非如此。为什么？

我的一个理论是trim（）方法首先检查是否有空白需要删除，如果没有，则简单返回本身。这可以解释为什么s1==s3，但我不确定。

谢啦

Answer 1

以下是trim（）的源代码。如果没有要删除的空白，则返回this。因此，它与您trimed的参考相同。

public String trim() {
    int len = value.length;
    int st = 0;
    char[] val = value;    /* avoid getfield opcode */

    while ((st < len) && (val[st] <= ' ')) {
        st++;
    }
    while ((st < len) && (val[len - 1] <= ' ')) {
        len--;
    }
    return ((st > 0) || (len < value.length)) ? substring(st, len) : this;
}

Answer 2

如果您查看trim（）方法的源代码，您会发现在删除空格后，将调用子字符串（start，end）。否则，如果没有空格，则返回相同的实例this。

public String trim() {
   int len = value.length;
   int st = 0;
   char[] val = value;    /* avoid getfield opcode */

   while ((st < len) && (val[st] <= ' ')) {
       st++;
   }
   while ((st < len) && (val[len - 1] <= ' ')) {
       len--;
   }
   return ((st > 0) || (len < value.length)) ? substring(st, len) : this;
 }

这里st是删除空白后的开始索引，len是新的长度。

现在，如果字符串前面或后面有空格：

String s1 = "hello "; //<-- whietspace at the end
System.out.println(s1.trim() == "hello");

当trim（）方法调用substring（）时，输出为false。如果beginIndex和endIndex不相同，子字符串将返回一个新的字符串实例：

return ((beginIndex == 0) && (endIndex == value.length)) ? this
                : new String(value, beginIndex, subLen);

因此，在删除空格（如果有）后，beginIndex和endIndex将明显更改，并返回一个new String（）实例。

Answer 3

你是正确的。如果trim（）方法不更改值，则将返回原始实例。如果所有的Hello都改为Hello，s3将不等于s1，因为trim（）将删除空白并返回一个新的字符串实例。