从jvm深入了解String

1String基本特性

public final class String
    implements java.io.Serializable, Comparable<String>, CharSequence

字符串被声明为final的，不可被继承。String实现了Serializable接口：表示字符串是支持序列化的。实现了Comparable接口：表示String字符串是可以比较大小的。JDK8 内部定义了 final char[] value用于存储字符串数据， jdk9就变成了byte[]。
String的基本特性：不可变的字符串序列，不可变性。1对字符串重新赋值，重新开辟内存空间；2replace() 需要重新开辟内存空间；3通过字面量的方式给一个字符串赋值，此时字符串值声明在字符串常量池中。注意：字符串常量池是不会存储相同内容的字符串的。字符串常量池位于堆内存中，专门用来存储字符串常量，可以提高内存的使用率，避免开辟多块空间存储相同的字符串，在创建字符串时 JVM 会首先检查字符串常量池，如果该字符串已经存在池中，则返回它的引用，如果不存在，则实例化一个字符串放到池中，并返回其引用。

2String的内存分配

两者看似都是创建了一个字符串对象，但在内存中确是各有各的想法。String str1= “abc”； 在编译期，JVM会去常量池来查找是否存在“abc”，如果不存在，就在常量池中开辟一个空间来存储“abc”；如果存在，就不用新开辟空间。然后在栈内存中开辟一个名字为str1的空间，来存储“abc”在常量池中的地址值。String str2 = new String(“abc”) ;在编译阶段 JVM先去常量池中查找是否存在“abc”，如果过不存在，则在常量池中开辟一个空间存储“abc”。在 运行时期 ，通过String类的构造器在堆内存中new了一个空间，然后将String池中的“abc”复制一份存放到该堆空间中，在栈中开辟名字为str2的空间，存放堆中new出来的这个String对象的地址值。
也就是说，前者在初始化的时候可能创建了一个对象，也可能一个对象也没有创建；后者因为new关键字，至少在内存中创建了一个对象，也有可能是两个对象。
Java8之后，取消了整个永久代区域，取而代之的是元空间。运行时常量池和静态常量池存放在元空间中，而字符串常量池依然存放在堆中。

3String str2 = new String(“abc”);创建了几个字符串对象

String str2 = new String(“abc”) ; 在 编译阶段 JVM先去常量池中查找是否存在“abc”，如果过不存在，则在常量池中开辟一个空间存储“abc”。在 运行时期 ，通过String类的构造器在堆内存中new了一个空间，然后将String池中的“abc”复制一份存放到该堆空间中，在栈中开辟名字为str2的空间，存放堆中new出来的这个String对象的地址值。

4了解final吗，讲讲下面这段代码的结果

String s = "hello2";
final String s2 = "hello";
String s3 = s2+2;
System.out.println(s==s3);

s指向的是常量池中的hello2，经过final修饰的s2在编译器也会被解析为常量放到常量池，s2+2相当于两个常量相加，结果还是常量，所以s3也指向常量池中的hello2，常量池中的值都是唯一的，所以s和s3指向的值是同一个值，所以结果是True。

String s = "hello2"
String s1 = "hello2"
String s2 = new String("hello2")

String s = "hello2";
String s1 = "hello";
String s2 = "2"
String s3 = s1 + s2;
System.out.println(s==s3);

false

s3：而s1+s2则会通过StringBuilder中的toString()方法在堆中创建一个hello2。从jvm的角度来理解就是，字符串常量之间的+操作是在编译期就已经确定的了，而引用的值是在编译期无法确定的，所以是在运行期进行的，新创建的对象也会放在堆中。

结合上面的图，这时就可以看出来s指向字符串常量池中的hello2，而s3则指向堆中的hello2，输出为false。