浅谈String在JVM中的位置以及intern()的使用

我们直接进入主题，如下所示的代码基于JDK1.8

public static void main(String[] args) throws IOException{
        String s1 = new String("ab");
        String s2 = "ab";
        String s21 = "a1";
        String s3 = "a" + "1";
        String s4 = new String("a") + new String("b");
        String s5 = new String("cd");
        String s6 = s5.intern();
        String s7 = "cd";
        String s8 = new String("e") + new String("f");
        String s9 = s8.intern();
        String s10 = "ef";
        System.out.println(s1 == s2);//fasle
        System.out.println(s21 == s3);//true
        System.out.println(s2 == s4);//false
        System.out.println(s5 == s7);//fasle
        System.out.println(s6 == s7);//true
        System.out.println(s9 == s10);//true
        System.out.println(s8 == s10);//true
    }

逐行进行解释

System.out.println(s1 == s2);//fasle

这里的结果为false很好解释，我们在使用 String s1 = new String(“ab”)的时候，堆空间中会产生一个String类型的对象，s1指向这个对象，同时在字符串常量池（即StringTable）中会放置一个"ab"字符串。然后String s2 = "ab"这一行代码的s2引用会指向字符串常量池中已经存在的字符串，因此s1和s2这两个引用指向的不是同一个地址

System.out.println(s21 == s3);//true

由于字符串是final的，在编译期JVM会对String s3 = “a” + “1"这行代码进行优化，相当于变成String s3 = “a1”，由于String s21 = “a1"已经在字符串常量池当中放入了"a1”，所以这个时候s3就直接指向这个"a1”，因此s21和s3的地址相同（即使考虑指令重排，String s3 = “a” + "1"发生在 String s21 = "a1"前面，结果还是一样的，因为String s3 = “a” + “1"一样会优化成String s3 = “a1”，那s2就会用s3在字符串常量池中产生的"a1”）

System.out.println(s2 == s4);//false

这里很显然s4指向的是堆中的对象，但是还有一些细节要注意，String s4 = new String(“a”) + new String(“b”)这行代码会生成6个对象，我们来慢慢捋一捋。
new String(“a”)会在堆中放一个String类型的"a"对象，同时在字符串常量池也会产生一个字符串"a"，new String(“b”)同理，这样就有4个对象了，然后堆中的"a"和"b"对象之间的“+”会调用StringBuilder的append()方法，由于这样我就就得到了一个StringBuilder类型的对象，还没完，因为String s4确定了需要一个String类型的对象，它还要使用toString()方法变成一个String类型的"ab"对象，s4指向的是这个对象，而s2指向的是字符串常量池的一个字符串，所以s2==s4的结果是false

System.out.println(s5 == s7);//fasle
System.out.println(s6 == s7);//true

终于用到intern()方法了，这里一起来说

String s5 = new String("cd");
//首先在堆中会产生一个String类型的对象"cd"，
//同时在字符串常量池中也会产生一个字符串"cd"

String s6 = s5.intern();
//使用intern()之后，会先判断字符串常量池中有没有"cd"，
//这里当然是有的了，因此s6会指向字符串常量池中的"cd"


String s7 = "cd";
//由于字符串常量池中已经有"cd"了，因此s7和s6引用的是同一个对象
//所以s6 == s7
//s5引用的是堆空间中的对象，所以s5!=s7

最后，也是最麻烦的来了

System.out.println(s9 == s10);//true
System.out.println(s8 == s10);//true

这个跟上面的看起来不是一样吗，为什么结果不同呢

String s8 = new String("e") + new String("f");
String s9 = s8.intern();
String s10 = "ef";

逐行解释一下，String s8 = new String(“e”) + new String(“f”)跟上面那个String s4 = new String(“a”) + new String(“b”)一样，会产生6个对象，堆中有4个对象，分别是"e",“f”,“ef"以及Stringbuilder，字符串常量池中有"e”,“f”，注意，这里没有"ef"，因为我们没有使用new String（“ef”）创建对象，而是使用new StringBuilder()产生的对象使用toString()方法得到堆中的对象。
String s9 = s8.intern()这行代码可以分版本看
JDK1.6中，intern()会在字符串常量池中直接放入"ef"，而在JDK1.7之后放入的是一个指向堆中"ef"对象的地址，因此s8和s9指向的是同一个地址
String s10 = "ef"这行代码执行时，由于字符串常量池中已经有"ef"了，如果是JDK1.6，那么s9和s10指向的都是同一个字符串，s10和s8当然就不相等了；但是由于我们使用的是JDK1.8，这个时候s10跟s9还是相同，但引用的却是堆中的对象，即s8引用的地址，因此s8==s10

总结一下，如果我们new String（）中使用的字符串在字符串常量池中还不存在，那么一共会创建两个对象，堆和字符串常量池各一个。intern()因版本而异，但是只要是先使用intern()，如果后面再直接用字面量的方式创建String对象，那么引用的都是intern()在字符串常量池中放的数据；使用两个String对象连接的方法创建对象时，最终连接好的那个字符串只存在于堆中，字符串常量池就没有了。

整体可能还存一些问题，欢迎一起探讨！