字符串常量池
首先,记录一点:
字符串池的确切位置没有被指定,并且可以从一个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:
翻译一下,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);
这个的结果是什么,为什么?