在JVM中,为了减少字符串对象的重复创建,维护了一块特殊的内存空间,这块内存就被称为字符串常量池。
在JDK1.6及之前,字符串常量池存放在方法区中。到JDK1.7之后,就从方法区中移除了,而存放在堆中。以下是《深入理解Java虚拟机》第二版原文:
对于HotSpot虚拟机,根据官方发布的路线图信息,现在也有放弃永久代并逐步改为采用Native Memory来实现方法区的规划了,在目前已经发布的JDK1.7 的HotSpot中,已经把原本放在永久代的字符串常量池移出。
我们知道字符串常量一般有两种创建方式:
- 使用字符串字面量定义
String s = "aa";
- 通过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方法的解释:
字面意思就是,当调用这个方法时,会去检查字符串常量池中是否已经存在这个字符串,如果存在的话,就直接返回,如果不存在的话,就把这个字符串常量加入到字符串常量池中,然后再返回其引用。
但是,其实在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。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。