从java.lang.String#intern说起JDK6之前和JDK7及之后关于字符串常量池的区别

字符串常量池

首先，记录一点：

字符串池的确切位置没有被指定，并且可以从一个JVM实现到另一个不同。
值得注意的是，在Java 7之前，该池位于热点JVM上的堆的permgen空间中，但自Java 7以来它已被移至堆的主要部分。而在Java 8 Hotspot中，Permanent Generation已被彻底删除。

区域：HotSpot 概要：在JDK 7中，interned字符串不再分配在Java堆的永久生成中，而是分配在Java堆的主要部分（称为年轻人和老年人）以及其他人由应用程序创建的对象。此更改将导致更多数据驻留在主Java堆中，永久生成中的数据更少，因此可能需要调整堆大小。由于这种变化，大多数应用程序在堆使用中只会看到相对较小的差异，但是加载很多类或大量使用String.intern（）方法的较大应用程序将会看到更显着的差异。RFE：6962931

java.lang.String#intern

然后。这个方法在jdk1.6与idk1.7之后发生了变化。主要是因为jdk1.7之后，方法区中字符串常量池的位置从方法区变成了堆上，intern()方法也做了相应的修改。
(注：jdk1.8已经移除了方法区，取而代之的是元空间)
我们看下API：

java.lang.String#intern.png

翻译一下，String类的intern()方法：一个初始为空的字符串池，它由类String独自维护。当调用 intern方法时，如果池已经包含一个等于此String对象的字符串（用equals(oject)方法确定），则返回池中的字符串。否则，将此String对象添加到池中，并返回此String对象的引用。 对于任意两个字符串s和t，当且仅当s.equals(t)为true时，s.intern() == t.intern()才为true。所有字面值字符串和字符串赋值常量表达式都使用 intern方法进行操作。

例子

String s = new String("1");  
s.intern();  
String s2 = "1";  
System.out.println(s == s2);  
          
String s3 = new String("1") + new String("1"); 
s3.intern();  
String s4 = "11";  
System.out.println(s3 == s4);   

如果是JDK6- ，那么运行的结果是false，false。
如果是JDK7+，运行的结果是false，true。

分析

JDK6

先针对jdk1.6来分析。intern()方法在jdk1.6中的工作原理是：

String s = new String("aaa");s.intern();在常量池中寻找常量“aaa”,如果存在，则返回这个池中的字符串，如果不存在，将s指向的堆上的对象“aaa”复制后存在常量池中，并返回池中“aaa”的一个引用（这其实说明了运行时常量池具有动态性）。

按照上面的描述开始进行分析。
String s = new String("1");
这句话实际创建了两个对象，一个是常量池中的字符串常量“1’”，另一个是堆上的String对象，s是它的引用。

s.intern();

这一句在池中寻找“1”,可以找到。所以池中没有发生改变。

String s2 = "1";

在池中寻找“1”，可以找到，所以s2指向池中“1”

所以运行之后s指向堆中对象，s2指向池中对象，当然不是指向同一个对象，结果为false.

继续往下看

String s3 = new String("1") + newString("1");

这句话执行之后，s3指向堆上值为“11”的一个对象，池中有“1”,但是没有“11”.

s3.intern()；

在池中寻找“11”，没有找到，所以在池中添加了“11”

String s4 = "11"；

在池中寻找“11”，能够找到，所以s4指向了池中的“11”

所以运行后，s3指向堆中的对象，s4指向池中对象，结果为false.

JDK7

再来针对jdk1.7进行分析。
字符串常量池的位置从方法区变成了堆上。jdk1.7中intern()工作原理：

String s = new String("aaa");
s.intern();

在常量池中寻找“aaa”,如果已经存在，则返回池中“aaa”这个对象。如果不存在，那么不会在常量池中复制一份s指向的对象“aaa”，而是在常量池中记录了首次出现的对象引用。假设这个引用叫p，p与s指向了堆上同一个对象，即p = s。

根据上面的描述，开始进行逐句分析。

String s = new String("1");

这句话实际创建了两个对象，一个是常量池中的字符串常量“1’”，另一个是堆上的String对象，s是它的引用。

s.intern();

这一句在池中寻找“1”,可以找到。所以池中没有发生改变。

String s2 = "1";

在池中寻找“1”，可以找到，所以s2指向池中“1”

所以运行之后s指向堆中对象，s2指向池中对象，当然不是指向同一个对象，结果为false.
这一部分与jdk1.6版本运行的结果是一样的，因为intern()查找的字符串在常量池中都已经存在了。

继续往下看

String s3 = new String("1") + newString("1");

这句话执行之后，s3指向堆上值为“11”的一个对象，池中有“1”,但是没有“11”.

s3.intern();

在常量池中寻找“11”，没有找到，此时不是在常量池中添加“11”，而是在常量池中添加一个堆上“11”对象的引用，假设这个引用叫p,p = s3.intern()。p和s3指向的是堆中的同一个对象，p = s3。

String s4 = "11".

在常量池中寻找“11”这个对象，发现p指向的对象正是“11”,那么s4也指向了堆上的“11”对象。

那么s3与s4最后都指向了堆上的“11”对象，所以s3 = s4.

思考

String s = new String("1");  
s.intern();  
String s2 = "1";  
System.out.println(s == s2);  
        
String s4 = "11";  
String s3 = new String("1") + new String("1"); 
s3.intern();  
System.out.println(s3 == s4);   

这个的结果是什么，为什么？

参考：String.intern()方法