這個問題相信每個學習java的同學都不陌生，作為一個經典的面試題，到現在工作這么多年了我真是認為挺操蛋的一個問題，在網上到現在你仍然可以看見很多討論這個問題的人，其中不乏工作很多年的人都有爭論，我認為還是有必要來說一說這個問題的。

從方法區說起

常量池存在于方法區，而方法區在jdk1.7版本前后改變比較大，所以還是先來說說方法區的演變。

在jdk1.7版本之前，常量池存在于方法區，方法區是堆的一個邏輯部分，他有一個名字叫做非堆。

1.7版本把字符串常量池放到了堆中。

而在1.8以后，則是移除了永久代，方法區概念保留，方法區的實現改為了元空間，常量池還是在堆中。

為什么要說方法區的改變，只是為了文章接下來的內容不會由于JDK的版本而產生分歧，接下來內容都會以jdk1.8版本作為基礎來討論。

String s = new String("xyz");

先來一段代碼 

public class Test {  
    public static void main(String[] args) {  
        String s = "xyz";  
    }  
} 

接著我們javac編譯代碼，然后用javap來反編譯，執行javap -c Test

從結果來看，ldc命令在常量池中創建了一個"xyz"的對象，然后把他推至操作數棧頂，然后astore保存到局部變量，return返回。

接著看第二段面試題中的代碼 

public class Test {  
    public static void main(String[] args) {  
        String s = new String("xyz");  
    }  
} 

同樣反編譯分析

很明顯，我們看到new 創建了一個String對象，同時ldc在常量池中創建了"xyz"字符串對象，之后invokespecial執行構造函數，astore_1賦值，return返回。

通過以上兩個例子，可以知道String s = new String("xyz"); 創建了2個對象，而有些答案說的3個對象，則是把引用s也算作一個對象。

還有答案說xyz存在就創建了2個，不存在就創建了3個（包含引用s），再來測試一下。 

public class Test {  
    public static void main(String[] args) {  
        String s = "xyz";  
        String s2 = new String("xyz");  
    }  
} 

從這里，很明顯的發現這就是我們例子1和2的一個結合，但是注意兩次ldc后面的#2，#號代表著索引，說明第二次new String("xyz")的時候并沒有重新創建xyz對象。

一些常見的指令助記符含義：

1.  nop， 什么都不做。
2.  aconst_null，將 null 推送至棧頂。
3.  iconst_i(變量數字)，將 int 型 i 推送至棧頂。同理有lconst_0，fconst_0這種你應該知道什么意思了
4.  ldc，將 int，float 或 String 型常量值從常量池中推送至棧頂。
5.  iload，將指定的 int 型局部變量推送至棧頂。
6.  istore，將棧頂 int 型數值存入指定局部變量。同理astore_i代表將棧頂引用型數值存入第i個局部變量。
7.  dup，復制棧頂數值并將復制值壓入棧頂。
8.  invokevirtual，調用實例方法。
9.  invokespecial，調用超類構造方法，實例初始化方法，私有方法。
10.  invokestatic，調用靜態方法。
11.  invokeinterface，調用接口方法。
12.  invokedynamic，調用動態鏈接方法。
13.  new，創建一個對象，并將其引用值壓入棧頂。

總結

到底創建了幾個對象呢？

1.  如果xyz不存在，引用算對象的話，那就是3個
2.  如果xyz不存在，引用不算對象的話，那就是2個
3.  如果xyz存在，引用算對象的話，那就是2個
4.  如果xyz存在，引用不算對象的話，那就是1個

當然，我認為引用肯定是不算對象的，最終答案應該是1或者2個，這個面試題說實話不應該出現在初級面試題里。