new String(“abc“)到底创建了几个对象

1. 结论

先说结论，创建了2个对象，为什么网上有的地方说创建了一个？那是因为这种情况下new String(“abc”)的确创建了一个对象：

String a = "abc";
String b = new String("abc");

下面从从几道面试题由浅入深的来解释一下
注意，以下环境均基于JDK1.8，其他版本如1.7略有不同

2. String a = “abc”

先看一下生成的字节码

0 ldc #2 <abc>
2 astore_1
3 return

• 0 ldc 查找后面索引为 #2 对应的项， #2 表示常量在常量池中的位置。在这个过程中，如果发现 StringTable 已经有了内容匹配的 String 引用，则直接返回这个引用，反之如果 StringTable 里没有内容匹配的 String 对象的引用，则会在堆里创建一个对应内容的 String 对象，然后在 StringTable 驻留这个对象引用，并返回这个引用，之后再压入操作数栈中
• 2 astore_1弹出栈顶元素，并将栈顶引|用类型值保存到局部变量 1 中，也就是保存到变量S中
• 3 return执行 void 函数返回

所以，在这种情况下，只在堆中创建一个String对象，图释如下：

首先明确一点，堆中的StringTable其实是数组+链表的形式

下面用IDEA强大的load classes功能验证下：

运行至第一个断点处：

运行至第二个断点处：

至此，一般可以说这种方式创建了1个对象。另外，char[]数组其实是特殊的对象，如果你把它包含在内的话那就是2个，但是这个不是这个问题的重点，可以忽略这一点。

3. String b = new String(“abc”)

先上字节码：

 0 new #2 <java/lang/String>
 3 dup
 4 ldc #3 <abc>
 6 invokespecial #4 <java/lang/String.<init> : (Ljava/lang/String;)V>
 9 astore_1
10 return

• 0 new在堆上创建一个 String 对象，并将它的引用压入操作数栈，注意这时的对象还只是一个空壳，并没有调用类的构造方法进行初始化
• 3 dup复制栈顶元素，也就是复制了上面的对象引用，并将复制后的对象引用压入栈顶。这里之所以要进行复制，是因为之后要执行的构造方法会从操作数栈弹出需要的参数和这个对象引用本身(这个引用起到的作用就是构造方法中的 this 指针），如果不进行复制，在弹出后会无法得到初始化后的对象引用
• 4 Ldc在堆上创建字符串对象，驻留到字符串常量池，并将字符串的引用压入操作数栈invokespecial，执行 String 的构造方法，这一步执行完成后得到一个完整对象

到这里可以看到是创建了2个String对象，一个StringTable中的对象，一个堆中的对象，如下图所示：

4. intern()

关于intern的方法说明如下：

• 如果字符串常量池中已经驻留了一个等于此 String 对象内容的字符串引用，则返回此字符串在常量池中的引用
• 否则，在常量池中创建一个引用指向这个 String 对象，然后返回常量池中的这个引用

在以下例子中：

public static void main(String[] args) {
    String a = new String("abc");
    String b = a.intern();
    System.out.println(a == b); // false
    System.out.println(a == "abc"); // false 
    System.out.println(b == "abc");  // true
}

解释如下：

再看另外一个例子

String a = new String("a") + new String("bc");
String b = a.intern();
System.out.println("abc" == b);  // true

第一步，首先创建了2个StringTable中对象和2个堆中普通对象

第二步，进行字符串拼接,而对于上述情形的字符串拼接JVM会将其优化为StringBuilder的拼接过程

// 大致分以下三步
StringBuilder s = new StringBuilder();
s.append("a");
s.append("b");

而这种方式并不会在字符串常量池生成"abc"对象

所以在调用String b = a.intern(); 这句时相当于手动添了一个字符串常量池中的对象"abc"，那么对于以上情况就非常清晰了。

5. 双引号字符串直接拼接呢

String a = "a" + "b" + "c";

可以看到跟String a = "abc"创建的字符串数量是一样的，这是因为JVM对这种直接常量表示的字符串做了编译期优化-常量折叠，完全等同于String a = "abc"这种方式

常量折叠的条件：

• 被声明为 fina
• 基本类型或者字符串类型
• 声明时就已经初始化
• 使用常量表达式进行初始化

public static void main(String[] args) {
	final String f1 = "a";
  final String f2 = new String("b");
  final String f3 = new String("c");
  String a = f1 + f2 + f3;
}
//           ↓↓↓↓↓↓↓
// 反编译生成的代码
public static void main(String[] args) {
    String f1 = "a";
    String f2 = new String("b");
    String f3 = new String("c");
    String a = "a" + f2 + f3;
    System.out.println(a);
}