工作10年后，再看String s = new String("xyz") 創(chuàng)建了幾個(gè)對象？
這個(gè)問題相信每個(gè)學(xué)習(xí)java的同學(xué)都不陌生，作為一個(gè)經(jīng)典的面試題，到現(xiàn)在工作這么多年了我真是認(rèn)為挺操蛋的一個(gè)問題，在網(wǎng)上到現(xiàn)在你仍然可以看見很多討論這個(gè)問題的人，其中不乏工作很多年的人都有爭論，我認(rèn)為還是有必要來說一說這個(gè)問題的。
從方法區(qū)說起
常量池存在于方法區(qū)，而方法區(qū)在jdk1.7版本前后改變比較大，所以還是先來說說方法區(qū)的演變。
在jdk1.7版本之前，常量池存在于方法區(qū)，方法區(qū)是堆的一個(gè)邏輯部分，他有一個(gè)名字叫做非堆。
1.7版本把字符串常量池放到了堆中。
而在1.8以后，則是移除了永久代，方法區(qū)概念保留，方法區(qū)的實(shí)現(xiàn)改為了元空間，常量池還是在堆中。
為什么要說方法區(qū)的改變，只是為了文章接下來的內(nèi)容不會(huì)由于JDK的版本而產(chǎn)生分歧，接下來內(nèi)容都會(huì)以jdk1.8版本作為基礎(chǔ)來討論。
String s = new String("xyz");
先來一段代碼
public?class?Test?{
????public?static?void?main(String[]?args)?{
????????String?s?=?"xyz";
????}
}
接著我們javac編譯代碼，然后用javap來反編譯，執(zhí)行javap -c Test
從結(jié)果來看，ldc命令在常量池中創(chuàng)建了一個(gè)"xyz"的對象，然后把他推至操作數(shù)棧頂，然后astore保存到局部變量，return返回。
接著看第二段面試題中的代碼
public?class?Test?{
????public?static?void?main(String[]?args)?{
????????String?s?=?new?String("xyz");
????}
}
同樣反編譯分析
很明顯，我們看到new 創(chuàng)建了一個(gè)String對象，同時(shí)ldc在常量池中創(chuàng)建了"xyz"字符串對象，之后invokespecial執(zhí)行構(gòu)造函數(shù)，astore_1賦值，return返回。
通過以上兩個(gè)例子，可以知道String s = new String("xyz"); 創(chuàng)建了2個(gè)對象，而有些答案說的3個(gè)對象，則是把引用s也算作一個(gè)對象。
還有答案說xyz存在就創(chuàng)建了2個(gè)，不存在就創(chuàng)建了3個(gè)（包含引用s），再來測試一下。
public?class?Test?{
????public?static?void?main(String[]?args)?{
????????String?s?=?"xyz";
????????String?s2?=?new?String("xyz");
????}
}
從這里，很明顯的發(fā)現(xiàn)這就是我們例子1和2的一個(gè)結(jié)合，但是注意兩次ldc后面的#2，#號代表著索引，說明第二次new String("xyz")的時(shí)候并沒有重新創(chuàng)建xyz對象。
一些常見的指令助記符含義：
nop， 什么都不做。 aconst_null，將 null 推送至棧頂。 iconst_i(變量數(shù)字)，將 int 型 i 推送至棧頂。同理有l(wèi)const_0，fconst_0這種你應(yīng)該知道什么意思了 ldc，將 int，float 或 String 型常量值從常量池中推送至棧頂。 iload，將指定的 int 型局部變量推送至棧頂。 istore，將棧頂 int 型數(shù)值存入指定局部變量。同理astore_i代表將棧頂引用型數(shù)值存入第i個(gè)局部變量。 dup，復(fù)制棧頂數(shù)值并將復(fù)制值壓入棧頂。 invokevirtual，調(diào)用實(shí)例方法。 invokespecial，調(diào)用超類構(gòu)造方法，實(shí)例初始化方法，私有方法。 invokestatic，調(diào)用靜態(tài)方法。 invokeinterface，調(diào)用接口方法。 invokedynamic，調(diào)用動(dòng)態(tài)鏈接方法。 new，創(chuàng)建一個(gè)對象，并將其引用值壓入棧頂。
總結(jié)
到底創(chuàng)建了幾個(gè)對象呢？
如果xyz不存在，引用算對象的話，那就是3個(gè)
如果xyz不存在，引用不算對象的話，那就是2個(gè)
如果xyz存在，引用算對象的話，那就是2個(gè)
如果xyz存在，引用不算對象的話，那就是1個(gè)
當(dāng)然，我認(rèn)為引用肯定是不算對象的，最終答案應(yīng)該是1或者2個(gè)，這個(gè)面試題說實(shí)話不應(yīng)該出現(xiàn)在初級面試題里。
另外，如果你不看不懂反編譯后的字節(jié)碼指令，關(guān)注公眾號回復(fù)關(guān)鍵字111可獲取《Java虛擬機(jī)規(guī)范》電子書。
文章整體目錄
