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