从字节码分析String创建的几种方式
一.String a = new String("a");
1.到底会不会进入常量池
String a = new String("a");
通过idea中jclasslib插件获取到字节码
0 new #2 3 dup 4 ldc #3 <a> 6 invokespecial #4 <java/lang/String.<init> : (Ljava/lang/String;)V>9 astore_1
对上述指令作一些解释
new #2 <java/lang/String>
:这条指令在Java虚拟机堆中为java/lang/String
类的实例对象分配内存,并将该对象的引用压入操作数栈的栈顶。dup
:这条指令将栈顶元素的值复制一份,并将其压入操作数栈的栈顶。此时操作数栈中存在两个相同的引用,都指向了刚刚新分配的java/lang/String
实例对象。ldc #3 <a>
:这条指令从运行时常量池中获取一个字符串常量"a"的引用,并将其压入操作数栈的栈顶。此时操作数栈中有三个元素,前两个元素都是指向刚刚新分配的invokespecial #4 <java/lang/String.<init> : (Ljava/lang/String;)V>
:这条指令调用java/lang/String
类的构造方法,将操作数栈栈顶的字符串常量引用作为参数传递给该构造方法,从而创建一个字符串实例对象。此时,操作数栈中只剩下刚刚新分配的java/lang/String
实例对象的引用了。astore_1
:这条指令将操作数栈中的字符串实例对象的引用存储到本地变量表中索引为1的位置。此时,本地变量表中索引1处的变量就是刚刚创建的字符串实例对象的引用了。
ldc指令
ldc
指令是 load constant 的缩写,用于将常量压入操作数栈顶。它有多个版本,可以用于加载不同类型的常量,如整型、浮点型、字符串等。
常用的是 ldc
指令的字符串版本 ldc <string>
,它可以将一个字符串常量从常量池中加载到操作数栈顶。例如 ldc "Hello"
会将字符串 "Hello" 压入操作数栈顶。这里需要注意,字符串常量是在编译期就已经确定的,而不是在运行时确定的,所以它们可以被保存在字节码文件的常量池中。字符串常量在编译时就被放入常量池中了,而在类加载时就被读取到运行时常量池中。
除了字符串常量,ldc
指令还可以用于加载其他类型的常量,如整型、浮点型、类和接口类型等。
我们再去查看一下常量池
早已存在 所以
new的字符串也会进入常量池
二. intern()到底是往字符串常量池存的是引用还是字符串本身 我放弃了 无法从字节码看出来 我水平还不够 但可以使用另外一种方法证明
String str2 = new String("str") + new String("01");
str2.intern();
System.out.println(str2.equals("str01"));
输出为true
判断两个对象是否相等 可以使用equals 显示是相等的 所以它是往字符串常量池里存的是引用不是本身
可能有疑问 为什么没有可能是str2引用的字符串常量池呢?
去分析
String str2 = new String("str") + new String("01");
看看常量池有没有 "str01"
卧槽!!
我再判断
String str2 = new String("str") + new String("01");
// str2.intern();String a = new String("str01");System.out.println(a.equals(str2));
tmd还是true 难道是不能用equals吗 我SB了 String是重写了equals的 要用== 去判断
果然 这个是false
这个能说明 你进你的常量池 但是我str2 是str2
我再去试试上面的
依然是true 所以 它真的是把str2的地址 给它存到了常量池里面 而不是"str01"
我们再去看jdk1.8的结论
当调用intern()方法时,如果池已经包含与此String对象相等的字符串(根据equals()方法确定),则返回池中的字符串。否则,将此String对象添加到池中并返回对此String对象的引用。
因此,对于任何两个字符串s和t,当且仅当s.equals(t)为true时,s.intern() == t.intern()才为true。
哎 我去下面这句话什么意思 难道是equals方法? 我去试试
原来如此! 我两次intern() 第一次是直接放了引用 第二次是拿了引用 符合上面 合理合理
22.38 我要回宿舍了 剩下的明天再试 go go go