深入理解字符串常量池

在JVM中，为了减少字符串对象的重复创建，维护了一块特殊的内存空间，这块内存就被称为字符串常量池。

在JDK1.6及之前，字符串常量池存放在方法区中。到JDK1.7之后，就从方法区中移除了，而存放在堆中。以下是《深入理解Java虚拟机》第二版原文:

对于HotSpot虚拟机，根据官方发布的路线图信息，现在也有放弃永久代并逐步改为采用Native Memory来实现方法区的规划了，在目前已经发布的JDK1.7 的HotSpot中，已经把原本放在永久代的字符串常量池移出。

我们知道字符串常量一般有两种创建方式：

1. 使用字符串字面量定义

String s = "aa";

1. 通过new创建字符串对象

String s = new String("aa");

那这两种方式有什么区别呢？

第一种方式通过字面量定义一个字符串时，JVM会先去字符串常量池中检查是否存在“aa”这个对象。如果不存在，则在字符串常量池中创建“aa”对象，并将引用返回给s，这样s的引用就指向字符串常量池中的“aa”对象。如果存在，则不创建任何对象，直接把常量池中“aa”对象的地址返回，赋值给s。

第二种方式通过new关键字创建一个字符串时，我们需要知道创建了几个对象，这也是面试中经常问到的。首先，会在字符串常量池中创建一个"aa"对象。然后执行new String时会在堆中创建一个“aa”的对象，然后把s的引用指向堆中的这个“aa”对象。

思考以下代码的打印结果：

public class StringTest {
    public static void main(String[] args) {
        //创建了两个对象，一份存在字符串常量池中，一份存在堆中
        String s = new String("aa");
        //检查常量池中是否存在字符串aa，此处存在则直接返回
        String s1 = s.intern();
        String s2 = "aa";

        System.out.println(s == s2);  //①
        System.out.println(s1 == s2); //②

        String s3 = new String("b") + new String("b");
        //常量池中没有bb，在jdk1.7之后会把堆中的引用放到常量池中，故引用地址相等
        String s4 = s3.intern();
        String s5 = "bb";

        System.out.println(s3 == s5 ); //③
        System.out.println(s4 == s5);  //④

    }
}

以上的①②③④四个地方应该输出true还是false呢？别着急，先看下，代码中用到了intern方法。这个方法的作用是，在运行期间可以把新的常量放入到字符串常量池中。

看下String源码中对intern方法的解释：

file

字面意思就是，当调用这个方法时，会去检查字符串常量池中是否已经存在这个字符串，如果存在的话，就直接返回，如果不存在的话，就把这个字符串常量加入到字符串常量池中，然后再返回其引用。

但是，其实在JDK1.6和 JDK1.7的处理方式是有一些不同的。

在JDK1.6中，如果字符串常量池中已经存在该字符串对象，则直接返回池中此字符串对象的引用。否则，将此字符串的对象添加到字符串常量池中，然后返回该字符串对象的引用。

在JDK1.7中，如果字符串常量池中已经存在该字符串对象，则返回池中此字符串对象的引用。否则，如果堆中已经有这个字符串对象了，则把此字符串对象的引用添加到字符串常量池中并返回该引用，如果堆中没有此字符串对象，则先在堆中创建字符串对象，再返回其引用。（这也说明，此时字符串常量池中存储的是对象的引用，而对象本身存储于堆中）

于是代码中，String s = new String("aa");创建了两个“aa”对象，一个存在字符串常量池中，一个存在堆中。

String s1 = s.intern(); 由于字符串常量池中已经存在“aa”对象，于是直接返回其引用，故s1指向字符串常量池中的对象。

String s2 = "aa"; 此时字符串常量池中已经存在“aa”对象，所以也直接返回，故 s2和 s1的地址相同。②返回true。

System.out.println(s == s2); 由于s的引用指向的是堆中的“aa”对象，s2指向的是常量池中的对象。故不相等，①返回false。

String s3 = new String("b") + new String("b"); 先说明一下，这种形式的字符串拼接，等同于使用StringBuilder的append方法把两个“b”拼接，然后调用toString方法，new出“bb”对象，因此“bb”对象是在堆中生成的。所以，这段代码最终生成了两个对象，一个是“b”对象存在于字符串常量池中，一个是 “bb”对象，存在于堆中，但是此时字符串常量池中是没有“bb”对象的。s3指向的是堆中的“bb”对象。

String s4 = s3.intern(); 调用了intern方法之后，在JDK1.6中，由于字符串常量池中没有“bb”对象，故创建一个“bb”对象，然后返回其引用。所以 s4 这个引用指向的是字符串常量池中新创建的“bb”对象。在JDK1.7中，则把堆中“bb”对象的引用添加到字符串常量池中，故s4和s3所指向的对象是同一个，都指向堆中的“bb”对象。

String s5 = "bb"; 在JDK1.6中，指向字符串常量池中的“bb”对象的引用，在JDK1.7中指向的是堆中“bb”对象的引用。

System.out.println(s3 == s5 ); 参照以上分析即可知道，在JDK1.6中③返回false（因为s3指向的是堆中的“bb”对象，s5指向的是字符串常量池中的“bb”对象），在JDK1.7中，③返回true（因为s3和s5指向的都是堆中的“bb”对象）。

System.out.println(s4 == s5); 在JDK1.6中，s4和s5指向的都是字符串常量池中创建的“bb”对象，在JDK1.7中，s4和s5指向的都是堆中的“bb”对象。故无论JDK版本如何，④都返回true。

综上，在JDK1.6中，返回的结果为：

false
true
false
true

在JDK1.7中，返回结果为：

false
true
true
true

以上，可以在JDK1.7和JDK1.6中分别验证。注意一下，最好搞两个项目然后分别设置不同的JDK，因为如果在一个项目中直接更改JDK版本，有可能高版本编译之后，低版本编译不通过。

原理搞懂了，我们再思考一下以下代码的结果：

public class InternTest {
    public static void main(String[] args) {
        String str1 = "xy";
        String str2 = "z";
        String str3 = "xyz";
        String str4 = str1 + str2;
        String str5 = str4.intern();
        String str6 = "xy" + "z";

        System.out.println(str3 == str4); //⑤
        System.out.println(str3 == str5); //⑥
        System.out.println(str3 == str6); //⑦
    }
}

我们分析一下。

str1、str2和str3都是简单的定义字符串，所有它们都是在字符串常量池中创建对象，然后引用指向字符串常量池中的对象。

String str4 = str1 + str2; 这段代码和之前的 String s3 = new String("b") + new String("b"); 原理相同，因此在堆中创建了一个“xyz”对象，然后str4指向堆中的这个对象。故⑤处返回false。（str3指向的是字符串常量池中的“xyz”对象）

String str5 = str4.intern(); 由于字符串常量池中已经存在“xyz”对象，因此不论是JDK1.6还是JDK1.7，此处返回的都是字符串常量池中对象的引用。所以str5指向字符串常量池中的对象，故 ⑥返回true。

String str6 = "xy" + "z"; 这段代码需要说明一下，它不同于两个字符串的引用拼接（如str1 + str2）。JVM会对其优化处理，也就是在编译阶段会把“xy”和“z”进行拼接成为“xyz”，存放在字符串常量池。因此，str6指向的是字符串常量池的对象，故⑦返回true。