字符串常量池
首先,記錄一點(diǎn):
字符串池的確切位置沒(méi)有被指定,并且可以從一個(gè)JVM實(shí)現(xiàn)到另一個(gè)不同。
值得注意的是,在Java 7之前,該池位于熱點(diǎn)JVM上的堆的permgen空間中,但自Java 7以來(lái)它已被移至堆的主要部分。而在Java 8 Hotspot中,Permanent Generation已被徹底刪除。
區(qū)域:HotSpot 概要:在JDK 7中,interned字符串不再分配在Java堆的永久生成中,而是分配在Java堆的主要部分(稱(chēng)為年輕人和老年人)以及其他人由應(yīng)用程序創(chuàng)建的對(duì)象。此更改將導(dǎo)致更多數(shù)據(jù)駐留在主Java堆中,永久生成中的數(shù)據(jù)更少,因此可能需要調(diào)整堆大小。由于這種變化,大多數(shù)應(yīng)用程序在堆使用中只會(huì)看到相對(duì)較小的差異,但是加載很多類(lèi)或大量使用String.intern()方法的較大應(yīng)用程序?qū)?huì)看到更顯著的差異。RFE:6962931
java.lang.String#intern
然后。這個(gè)方法在jdk1.6與idk1.7之后發(fā)生了變化。主要是因?yàn)閖dk1.7之后,方法區(qū)中字符串常量池的位置從方法區(qū)變成了堆上,intern()方法也做了相應(yīng)的修改。
(注:jdk1.8已經(jīng)移除了方法區(qū),取而代之的是元空間)
我們看下API:

翻譯一下,String類(lèi)的intern()方法:一個(gè)初始為空的字符串池,它由類(lèi)String獨(dú)自維護(hù)。當(dāng)調(diào)用 intern方法時(shí),如果池已經(jīng)包含一個(gè)等于此String對(duì)象的字符串(用equals(oject)方法確定),則返回池中的字符串。否則,將此String對(duì)象添加到池中,并返回此String對(duì)象的引用。 對(duì)于任意兩個(gè)字符串s和t,當(dāng)且僅當(dāng)s.equals(t)為true時(shí),s.intern() == t.intern()才為true。所有字面值字符串和字符串賦值常量表達(dá)式都使用 intern方法進(jìn)行操作。
例子
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- ,那么運(yùn)行的結(jié)果是false,false。
如果是JDK7+,運(yùn)行的結(jié)果是false,true。
分析
JDK6
先針對(duì)jdk1.6來(lái)分析。intern()方法在jdk1.6中的工作原理是:
String s = new String("aaa");s.intern();在常量池中尋找常量“aaa”,如果存在,則返回這個(gè)池中的字符串,如果不存在,將s指向的堆上的對(duì)象“aaa”復(fù)制后存在常量池中,并返回池中“aaa”的一個(gè)引用(這其實(shí)說(shuō)明了運(yùn)行時(shí)常量池具有動(dòng)態(tài)性)。
按照上面的描述開(kāi)始進(jìn)行分析。
String s = new String("1");
這句話實(shí)際創(chuàng)建了兩個(gè)對(duì)象,一個(gè)是常量池中的字符串常量“1’”,另一個(gè)是堆上的String對(duì)象,s是它的引用。
s.intern();
這一句在池中尋找“1”,可以找到。所以池中沒(méi)有發(fā)生改變。
String s2 = "1";
在池中尋找“1”,可以找到,所以s2指向池中“1”
所以運(yùn)行之后s指向堆中對(duì)象,s2指向池中對(duì)象,當(dāng)然不是指向同一個(gè)對(duì)象,結(jié)果為false.
繼續(xù)往下看
String s3 = new String("1") + newString("1");
這句話執(zhí)行之后,s3指向堆上值為“11”的一個(gè)對(duì)象,池中有“1”,但是沒(méi)有“11”.
s3.intern();
在池中尋找“11”,沒(méi)有找到,所以在池中添加了“11”
String s4 = "11";
在池中尋找“11”,能夠找到,所以s4指向了池中的“11”
所以運(yùn)行后,s3指向堆中的對(duì)象,s4指向池中對(duì)象,結(jié)果為false.
JDK7
再來(lái)針對(duì)jdk1.7進(jìn)行分析。
字符串常量池的位置從方法區(qū)變成了堆上。jdk1.7中intern()工作原理:
String s = new String("aaa");
s.intern();
在常量池中尋找“aaa”,如果已經(jīng)存在,則返回池中“aaa”這個(gè)對(duì)象。如果不存在,那么不會(huì)在常量池中復(fù)制一份s指向的對(duì)象“aaa”,而是在常量池中記錄了首次出現(xiàn)的對(duì)象引用。假設(shè)這個(gè)引用叫p,p與s指向了堆上同一個(gè)對(duì)象,即p = s。
根據(jù)上面的描述,開(kāi)始進(jìn)行逐句分析。
String s = new String("1");
這句話實(shí)際創(chuàng)建了兩個(gè)對(duì)象,一個(gè)是常量池中的字符串常量“1’”,另一個(gè)是堆上的String對(duì)象,s是它的引用。
s.intern();
這一句在池中尋找“1”,可以找到。所以池中沒(méi)有發(fā)生改變。
String s2 = "1";
在池中尋找“1”,可以找到,所以s2指向池中“1”
所以運(yùn)行之后s指向堆中對(duì)象,s2指向池中對(duì)象,當(dāng)然不是指向同一個(gè)對(duì)象,結(jié)果為false.
這一部分與jdk1.6版本運(yùn)行的結(jié)果是一樣的,因?yàn)閕ntern()查找的字符串在常量池中都已經(jīng)存在了。
繼續(xù)往下看
String s3 = new String("1") + newString("1");
這句話執(zhí)行之后,s3指向堆上值為“11”的一個(gè)對(duì)象,池中有“1”,但是沒(méi)有“11”.
s3.intern();
在常量池中尋找“11”,沒(méi)有找到,此時(shí)不是在常量池中添加“11”,而是在常量池中添加一個(gè)堆上“11”對(duì)象的引用,假設(shè)這個(gè)引用叫p,p = s3.intern()。p和s3指向的是堆中的同一個(gè)對(duì)象,p = s3。
String s4 = "11".
在常量池中尋找“11”這個(gè)對(duì)象,發(fā)現(xiàn)p指向的對(duì)象正是“11”,那么s4也指向了堆上的“11”對(duì)象。
那么s3與s4最后都指向了堆上的“11”對(duì)象,所以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);
這個(gè)的結(jié)果是什么,為什么?