在 JDK 1.7 之前,HotSpot 虚拟机中的字符串常量池都在方法区中,用永生代实现。JDK 1.7 及以后的版本,字符串常量池移到了堆里。

JDK 1.6 的 String.intern 方***将首次遇到的 String 对象复制到永久代,并返回这个对象的引用。

JDK 1.7 的 String.intern 方法不再复制,而是记录首次出现的 String 对象的引用。

以下用 JDK 1.8 实验探究字符串常量池。

// test1
String s1 = "red";
String s2 = "red";
System.out.println(s1 == s2); // true

// test2
String s3 = new String("red");
String s4 = new String("red");
System.out.println(s3 == s4); // false

// test3
System.out.println(s1 == s3); // false

// test4
System.out.println(s3.intern() == s1); // true
System.out.println(s3.intern() == s3); // false
System.out.println(s3.intern() == s4); // false

// test5
String s5 = new String("thunder");
String s6 = s5.intern();
String s7 = "thunder";
System.out.println(s5 == s6); // false
System.out.println(s6 == s7); // true

// test6
String s8 = new String("1") + new String("1");
// String s8 = new StringBuilder().append().toString()
String s9 = s8.intern();
String s10 = "11";
System.out.println(s8 == s9); // true
System.out.println(s9 == s10); // true

常量池可以看作是一个集合,没有重复的元素。用双引号创建的对象直接放到常量池,new 一定会在堆中创建一个新的对象,如果常量池没有值相同的对象那么会在常量池也创建一个对象。intern 的作用是判断常量池是否包含值相同的字符串,是则返回这个字符串对象的引用,否则将当前实例的引用放到常量池并返回当前实例的引用。

另外,字符串的拼接实际上是用了 StringBuilder,所以字符串 s8 的创建会伴随以下对象的创建:

  • 堆中两个不同的 String 对象 1
  • 字符串常量池中一个 String 对象 1
  • 一个 StringBuilder 对象
  • 堆中的 String 对象 11

由于 s8 的创建方式不是 new String 而是拼接,所以不会在常量池中创建值为“11”的对象,这也是 test5 和 test6 要对比的问题。