工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

沙海
沙海
沙海
735
文章
2
评论
2021年3月30日04:04:22
评论
3 2136字阅读7分7秒
摘要

速读摘要

速读摘要

这个问题相信每个学习java的同学都不陌生,作为一个经典的面试题,到现在工作这么多年了我真是认为挺操蛋的一个问题,在网上到现在你仍然可以看见很多讨论这个问题的人,其中不乏工作很多年的人都有争论,我认为还是有必要来说一说这个问题的。在jdk1.7版本之前,常量池存在于方法区,方法区是堆的一个逻辑部分,他有一个名字叫做非堆。创建了2个对象,而有些答案说的3个对象,则是把引用s也算作一个对象。同理astore_i代表将栈顶引用型数值存入第i个局部变量。

原文约 1532 | 图片 8 | 建议阅读 4 分钟 | 评价反馈

工作10年后,再看String s = new String("xyz") 创建了几个对象?

点击关注 ? 程序IT圈

点击上方蓝色“程序IT圈”,选择“设为星标”

回复“666”获取独家整理的学习资料!

工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

转自:艾小仙

这个问题相信每个学习java的同学都不陌生,作为一个经典的面试题,到现在工作这么多年了我真是认为挺操蛋的一个问题,在网上到现在你仍然可以看见很多讨论这个问题的人,其中不乏工作很多年的人都有争论,我认为还是有必要来说一说这个问题的。

从方法区说起

常量池存在于方法区,而方法区在jdk1.7版本前后改变比较大,所以还是先来说说方法区的演变。

在jdk1.7版本之前,常量池存在于方法区,方法区是堆的一个逻辑部分,他有一个名字叫做非堆

工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

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

工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

而在1.8以后,则是移除了永久代,方法区概念保留,方法区的实现改为了元空间,常量池还是在堆中。

工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

为什么要说方法区的改变,只是为了文章接下来的内容不会由于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

工作10年后,再看String s = new String(“xyz”) 创建了几个对象?

从结果来看,ldc命令在常量池中创建了一个"xyz"的对象,然后把他推至操作数栈顶,然后astore保存到局部变量,return返回。

接着看第二段面试题中的代码

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

同样反编译分析

工作10年后,再看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");    }}

工作10年后,再看String s = 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个,这个面试题说实话不应该出现在初级面试题里。

热门内容:记住看小电影前一定要检查网址是不是 HTTPS 的,不然…996高薪,955底薪,你选哪个?互联网大厂的薪酬一览淘宝二面,面试官居然把TCP三次握手问的这么详细MyBatis-Plus常用API全套教程,看完没有不懂的

明天见(。・ω・。)ノ♡

继续阅读
历史上的今天
3月
30
weinxin
资源分享QQ群
本站是一个IT技术分享社区, 会经常分享资源和教程; 分享的时代, 请别再沉默!
沙海
匿名

发表评论

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: