面试题系列第2篇：newString()创建几个对象？有你不知道的

Java面试题系列：将面试题中比较经典和核心的内容写成系列文章持续在公众号更新，可巩固基础知识，可梳理底层原理，欢迎大家持续关注【程序新视界】。本篇为面试题系列第2篇。

常见面试问题

下面代码中创建了几个对象？

new String("abc");


答案众说纷纭，有说创建了1个对象，也有说创建了2个对象。答案对，也不对，关键是要学到问题底层的原理。

底层原理分析

在上篇文章《面试题系列第1篇：说说==和equals的区别？你的回答可能是错误的》中我们已经提到，String的两种初始化形式是有本质区别的。

String str1 = "abc"; // 在常量池中String str2 = new String("abc"); // 在堆上


当直接赋值时，字符串“abc”会被存储在常量池中，只有1份，此时的赋值操作等于是创建0个或1个对象。如果常量池中已经存在了“abc”，那么不会再创建对象，直接将引用赋值给str1；如果常量池中没有“abc”，那么创建一个对象，并将引用赋值给str1。

那么，通过new String(“abc”);的形式又是如何呢？答案是1个或2个。

当JVM遇到上述代码时，会先检索常量池中是否存在“abc”，如果不存在“abc”这个字符串，则会先在常量池中创建这个一个字符串。然后再执行new操作，会在堆内存中创建一个存储“abc”的String对象，对象的引用赋值给str2。此过程创建了2个对象。

当然，如果检索常量池时发现已经存在了对应的字符串，那么只会在堆内创建一个新的String对象，此过程只创建了1个对象。

在上述过程中检查常量池是否有相同Unicode的字符串常量时，使用的方法便是String中的intern()方法。

public native String intern();


下面通过一个简单的示意图看一下String在内存中的两种存储模式。

很明显，字节码中只有拼接好的abcdef。

针对上面的问题，我们再次升级一下，下面的代码会创建几个对象？

String str = "abc" + new String("def");


创建了4个，5个，还是6个对象？

4个对象的说法：常量池中分别有“abc”和“def”，堆中对象new String(“def”)和“abcdef”。

这种说法对吗？不完全对，如果说上述代码创建了几个字符串对象，那么可以说是正确的。但上述的代码Java虚拟机在编译的时候同样会优化，会创建一个StringBuilder来进行字符串的拼接，实际效果类似：

String s = new String("def");
new StringBuilder().append("abc").append(s).toString();


很显然，多出了一个StringBuilder对象，那就应该是5个对象。

那么创建6个对象是怎么回事呢？有同学可能会想了，StringBuilder最后toString()之后的“abcdef”难道不在常量池存一份吗？

这个还真没有存，我们来看一下这段代码：

@Test
public void testString3() {String s1 = "abc";String s2 = new String("def");String s3 = s1 + s2;String s4 = "abcdef";System.out.println(s3==s4); // false
}


按照上面的分析，如果s1+s2的结果在常量池中存了一份，那么s3中的value引用应该和s4中value的引用是一样的才对。下面我们看一下debug的效果。