总阅读量:次

⭐⭐⭐ Spring Boot 项目实战 ⭐⭐⭐ Spring Cloud 项目实战
《Dubbo 实现原理与源码解析 —— 精品合集》 《Netty 实现原理与源码解析 —— 精品合集》
《Spring 实现原理与源码解析 —— 精品合集》 《MyBatis 实现原理与源码解析 —— 精品合集》
《Spring MVC 实现原理与源码解析 —— 精品合集》 《数据库实体设计合集》
《Spring Boot 实现原理与源码解析 —— 精品合集》 《Java 面试题 + Java 学习指南》

摘要: 原创出处 网络 「网络」欢迎转载，保留摘要，谢谢！

🙂🙂🙂关注**微信公众号：【芋道源码】**有福利：

  1. RocketMQ / MyCAT / Sharding-JDBC 所有源码分析文章列表
  2. RocketMQ / MyCAT / Sharding-JDBC 中文注释源码 GitHub 地址
  3. 您对于源码的疑问每条留言都将得到认真回复。甚至不知道如何读源码也可以请教噢。
  4. 新的源码解析文章实时收到通知。每周更新一篇左右。
  5. 认真的源码交流微信群。

这个问题相信每个学习 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个，这个面试题说实话不应该出现在初级面试题里。

文章目录
  1. 1. 从方法区说起
  2. 2. String s = new String("xyz");
  3. 3. 总结