問(wèn)題描述

是不是定義字符串如果不使用new來(lái)初始化的話相同的字符串會(huì)被定義成一個(gè)引用

問(wèn)題解答

JVM對(duì)于String的存儲(chǔ)有一點(diǎn)特殊的地方在于有一塊String常量池。這個(gè)常量池里面存著對(duì)String對(duì)象的引用。

比如，String s = 'abc'會(huì)先去String常量池中查找有沒(méi)有已經(jīng)存在的引用，如果沒(méi)有，聲明的abc會(huì)直接生成一個(gè)String對(duì)象，并且會(huì)在String常量池中存入一個(gè)引用指向這個(gè)String對(duì)象。

之后直接聲明的字符串同樣也會(huì)遵循上面的步驟，所以第二次String s2 = 'abc'從String常量池中找到了一個(gè)引用指向第一次聲明的字符串對(duì)象。

而new String('abc')這樣會(huì)直接在堆中創(chuàng)建新的對(duì)象，不會(huì)進(jìn)入String常量池。要把這樣的對(duì)象引用放入常量池中就涉及另一個(gè)String類的方法intern()，這個(gè)方法就是返回一個(gè)String對(duì)象的常量池引用。如果這個(gè)對(duì)象不在常量池中，就會(huì)把這個(gè)String對(duì)象放入常量池中并返回對(duì)應(yīng)的對(duì)象引用。

題主第一個(gè)截圖的方法str2.intern() == str3.intern()這樣使用也會(huì)返回true，調(diào)用intern()返回的String常量池引用是同一個(gè)。

Java中所有非內(nèi)置數(shù)據(jù)類型都是引用。

String s = new String('xx');這種方式會(huì)創(chuàng)建一塊內(nèi)存空間，并使引用s指向它。

String s = 'xx';這種方式會(huì)使引用s指向一塊共享的空間。

使用new的方式創(chuàng)建時(shí)str2和str3指向的不同的內(nèi)存空間，故str2和str3是不相等的。

直接使用字符串賦值時(shí)str2和str3指向是的相同的內(nèi)存空間，故str2和str3是相等的。

可以使用str2.equals(str3)來(lái)比較字符串的內(nèi)容。

一個(gè)是在常量池中存儲(chǔ)，一個(gè)是在堆中new出新對(duì)象

幫助你理解這個(gè)過(guò)程。java中有幾個(gè)點(diǎn)你可以記住下1.所有的字符串都會(huì)在常量池生成，對(duì)應(yīng)的是CONSTANT_String_info，不可變。2.普通的對(duì)象幾乎都是在堆中生成（當(dāng)然也有一些比較特殊的比如Class類的對(duì)象可能在方法區(qū)生成，這個(gè)看不同的虛擬機(jī)實(shí)現(xiàn)，虛擬機(jī)規(guī)范并沒(méi)有強(qiáng)制）3.==這個(gè)判定的時(shí)候，對(duì)于引用類型，說(shuō)到底都是比對(duì)內(nèi)存地址。

好了，有了上述的觀念。第一個(gè)問(wèn)題中，String s1 = new String('aaa'); 當(dāng)你new一個(gè)對(duì)象，jvm就會(huì)在堆上幫你開(kāi)辟一個(gè)對(duì)象空間，而s1是存在你的本地變量表的，s1指向這個(gè)對(duì)象空間（可以暫時(shí)理解為s1存著對(duì)象空間的地址）。所以你new了兩個(gè)，是兩個(gè)不同的對(duì)象空間。==判斷當(dāng)然不同啦，因?yàn)椋瑂1和s2指向不同的空間。

第二個(gè)問(wèn)題，上述第一點(diǎn)，每個(gè)字符串都只會(huì)在常量池中存在一份，所以str2指向這個(gè)常量池字符串的地址，str3也是指向這個(gè)常量池字符串的地址。==判斷自然是相同的。