字符串连接符 “+”及字符串常量池实验、字符串final属性
结果预览
public class StrTest{
public static void main(String[] args){
String str1="hello";
String str2="hello"+"wiaoong"; //常量 编译器直接优化为 hellowiaoong
String str3=str1+"wiaoong";
System.out.println(str3==str2); //false
final String str4="hello";
String strFinal=str4+"wiaoong";
System.out.println(strFinal==str2); //true
String str6="hello";
String str7=new String("hello");
System.out.println(str7==str6); //false
String str8=str7.intern();
System.out.println(str6==str8); //true
String str11="123";
String str12=str11;
str11+="456";
System.out.println(str12); //123
System.out.println(str11); //456
}
}
场景一：编译器优化
public class StrTest{
public static void main(String[] args){
String str1="hello";
String str2="hello"+"wiaoong";
String str3=str1+"wiaoong";
}
}
Jvm编译指令：javap -c StrTest.class
这些指令我也是一知半解,但是不妨碍我们分析发生了什么，如果有更好的指令参考文章请留言分享。
附上一份JVM指令博文：JVM指令博客
结果分析：
编译后的JVM指令集
public static void main(java.lang.String[]);
Code:
0: ldc #2 // String hello
2: astore_1
3: ldc #3 // String hellowiaoong
5: astore_2
6: new #4 // class java/lang/StringBuilder
9: dup
10: invokespecial #5 // Method java/lang/StringBuilder."<init>":()V
13: aload_1
14: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
17: ldc #7 // String wiaoong
19: invokevirtual #6 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
22: invokevirtual #8 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
25: astore_3
26: return
观察指令可以得知：
- str2在编译时已经被编译器给优化了,也就是说连接符“+”连接的是两个常量时 如
"a"+"b"， 和 "ab"是等价的 - str3在编译的时候Jvm新建了一个StirngBuilder对象,并且分布把常量"wiaoong"和变量str1进行了append操作,最后返回了StirngBuilder.toString()给str3，
也就是说连接符“+”连接中存在变量时,会通过StringBuilder构建新的对象。
由上可知,str3==str2 为false.
场景二：编译器优化
public class StrTest{
public static void main(String[] args){
final String str4="wiaoong";
String str5="hello"+"wiaoong";
String str3="hello"+str4;
System.out.println(str5==str3); //true
}
}
编译后的JVM指令集
public static void main(java.lang.String[]);
Code:
0: ldc #2 // String hellowiaoong
2: astore_2
3: ldc #2 // String hellowiaoong
5: astore_3
6: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
9: aload_2
10: aload_3
11: if_acmpne 18
14: iconst_1
15: goto 19
18: iconst_0
19: invokevirtual #4 // Method java/io/PrintStream.println:(Z)V
22: return
由上可知,这是常量的一种.
场景三：字符串常量池
public class StrTest{
public static void main(String[] args){
String str6="hello";
String str7=new String("hello");
System.out.println(str7==str6); //false
String str8=str7.intern();
System.out.println(str6==str8); //true
}
}
编译后的JVM指令集
public static void main(java.lang.String[]);
Code:
0: ldc #2 // String hello
2: astore_1
3: new #3 // class java/lang/String
6: dup
7: ldc #2 // String hello
9: invokespecial #4 // Method java/lang/String."<init>":(Ljava/lang/String;)V
12: astore_2
13: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
16: aload_2
17: aload_1
18: if_acmpne 25
21: iconst_1
22: goto 26
25: iconst_0
26: invokevirtual #6 // Method java/io/PrintStream.println:(Z)V
29: aload_2
30: invokevirtual #7 // Method java/lang/String.intern:()Ljava/lang/String;
33: astore_3
34: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
37: aload_1
38: aload_3
39: if_acmpne 46
42: iconst_1
43: goto 47
46: iconst_0
47: invokevirtual #6 // Method java/io/PrintStream.println:(Z)V
50: return
由上可知：
-
new 创建字符串时,检测到常量池中已经存在字面量“hello”，直接返回常量池中的应用给new构建新的对象
-
intern()能完成字符串主动入池操作,如果字符串已经存在字符串常量池中,就返回常量池中字符串的引用地址
str6初始化后,常量池中已经存在hello了,执行intern()就直接返回引用. 即JVM指令集中的步骤7ldc操作，所以str6==str8为true
场景4：字符串final分析
public class StrTest{
public static void main(String[] args){
String str11="123";
String str12=str11;
str11+="456";
System.out.println(str12); //123
System.out.println(str11); //123456
}
}
分析：
str11+="456"这行代码创建了一个新的对象,并且把str11指向了新的匿名String对象的堆内存地址,而str11的堆内存内的内容是没有变化的。
上图：
这里又衍生出一个String str=a+b+c+d；创建了几个对象的面试常见问题？
分析：
public StringBuilder() {
super(16);
}
public StringBuffer() {
super(16);
}
初始化char[]大小是16,如果超过这个长度则会进行char[]扩容,new一个新的char[]
执行toString()是又new 了一个String
算上JVM自动创建的StringBuilder()，结果是2-3个
如果字符长常量池中没有这个字符串,那么又会新建一个对象