常量池之字符串常量池String.intern()

运行时常量池是方法区（PermGen）的一部分。

需要提前了解：
1. JVM内存模型。
2. JAVA对象在JVM中内存分配

常量池的好处

常量池是为了避免频繁的创建和销毁对象而影响系统性能，其实现了对象的共享。
- Java的自动装箱中其实就使用到了运行时常量池。详见：Java 自动装箱与拆箱的实现原理
- 还有字符串常量池。

字符串进入到常量池的两种方法：

1. new String()的实例调用intern()方法。
执行intern()方法时，若常量池中不存在等值的字符串，JVM就会在常量池中创建一个等值的字符串，然后返回该字符串的引用。
2. “”（引号）引起来的内容（字面量）。
引号引起来的字符串，首先从常量池中查找是否存在此字符串，如果不存在则在常量池中添加此字符串对象，然后引用此字符串对象。如果存在，则直接引用此字符串。

重要提示：虚拟机启动时常量池中就存在“java”字符串实例，下面代码中s2调用intern()方法时，只是返回常量池中“java”实例的引用，而没有添加“java”实例。

先看下，下面的代码

 public class Test {

     public static void main(String[] args) {

         String s1 = new StringBuilder().append("aa").append("bb").toString();

         System.out.println(s1.intern() == s1);

         String s2 = new StringBuilder().append("ja").append("va").toString();

         System.out.println(s2.intern() == s2);

     }

 }

输出结果如下：

JDK6

false
false

JDK7、JDK8

true
false

为什么不同版本的JDK输出的结果还不一样呢？带着疑问我们分别分析下JDK1.6 和JDK1.7-JDK1.8的常量池内存模型。

JDK1.6 常量池内存模型

如图中，我们可以看到常量池位于方法区（PermGen），常量池中引用的字符串实例也在常量池中。
1、通过调用intern()方法，会在常量池中生成一个相同字符串的对象
2、“”内的字符串都会添加到常量池中，相当于引用的方法区中的字符串对象。

根据上图内存模型然后我们在分析下代码：

String s1 = new StringBuilder().append(“aa”).append(“bb”).toString();
System.out.println(s1.intern() == s1);
s1生成的对象在堆中，而s1.intern()的对象在常量池中，所以返回false。

String s2 = new StringBuilder().append(“ja”).append(“va”).toString();
System.out.println(s2.intern() == s2);
s2生成的对象在堆中，而s2.intern()的对象也肯定在常量池中，所以也返回false。

JDK1.7-JDK1.8常量池内存模型

如图中，我们可以看到常量池位于方法区（PermGen），但常量池引用的字符串实例在堆中。（区别在这）
1. 通过调用intern()方法，会在常量池添加一个此字符串实例的引用，（前提：常量池中没有相同内容的字符串）。
2. “”内的字符串实例引用会添加到常量池中（前提：常量池中没有相同内容的字符串），如果常量池中存在，则引用常量池中的对象（防止重复创建对象）。

根据上图内存模型然后我们在分析下代码：
String s1 = new StringBuilder().append(“aa”).append(“bb”).toString();
System.out.println(s1.intern() == s1);
s1生成的对象在堆中，此时常量池中没有跟s1内容相同的字符串，所以在调用intern方法时，会在常量池中添加此对象的引用，所以返回为true。

String s2 = new StringBuilder().append(“ja”).append(“va”).toString();
System.out.println(s2.intern() == s2);
s2生成的对象在堆中，而此时常量池中已经有一个跟s2内容相同的字符串常量，当s2调用intern方法时，返回常量池中已经存在的实例（相当于堆中有两个相同内容的实例：一个是new 出来的，一个是常量池中的）所以返回的结果为false。