Java中String对象创建机制、字符串常量池

String new和直接赋值的区别

对于字符串：其对象的引用都是存储在栈中的，如果是编译期间已经创建好（直接用双引号定义的）就存储在常量池中，如果是运行期间（new出来的）才能确定的就存储在堆中。对于equals返回true的字符串，在常量池中永远只有一份，在堆中有多份，即对其引用。
例如：

String str1 = "ABC";
String str2 = new String("ABC");

String str1 = "ABC"可能创建一个对象或者不创建对象。如果“ABC”不在字符串常量池中，则会在常量池中创建一个此字符串对象("ABC")；如果ABC已存在于字符串常量池中，则该声明str1直接指向常量池中的该对象。

String str2 = new String("ABC")可能创建一个或者两个对象。首先检查常量池中是否存在值为“ABC”的String对象，如果没有，则现在常量池创建一个值为“ABC”的字符串对象，然后new关键字会在堆中创建一个值为“ABC”的String对象；如果常量池中已存在值为“ABC”的字符串对象，则只需在堆中新建一个对象即可。

String中的intern()方法用来检测String pool是否已存在该字符串。

public static void main(String[] args) {
    String str1 = new String("abc");//在常量池创建对象"abc"，在堆中创建对象str1引用常量池中"abc"
    String str2 = "abc"; //str2直接指向常量池中的"abc"，无对象创建
    String str3 = new String("abc"); //在堆中创建对象str3，并引用常量池中"abc"
    String str4 = "abc"; //str4直接指向常量池中的"abc"，无对象创建
    System.out.println(str1 == str2); //false
    System.out.println(str1 == str3); //false
    System.out.println(str2 == str3); //false
    System.out.println(str2 == str4); //true
}

涉及字符串拼接时的情况

public static void main(String[] args) {
    String str1 = "abcd";
    String str2 = "ab";
    String str3 = "cd";
    String str4 = str2 + str3;
    String str5 = "ab" + "cd";
    System.out.println(str1 == str4); //false
    System.out.println(str1 == str5); //true
}

第一个结果为false，字符串str1与str2拼接时首先会调用String.valueOf(obj)，会调用StringBuilder(str1)构造方法并初始化，此时的StringBuilder对象是在堆上创建的，接下来调用StringBuilder.append(str2)，把第二个字符串拼接进去，然后调用StringBuilder.toString返回结果，所以返回false。

第二个结果为true，对于这种拼接方式，JVM在编译期间已经完成了对“+”的处理，直接把"ab" + "cd"看成“abcd”，所以直接指向字符串常量池中的“abcd”。