Java虚拟机 String常量池浅析

前言

我们来剖析一下关于字符串常量池。废话不多说，直接进入正题。

@Test
public void testString(){
    String s1 = "hello";
    String s2 = "hello";
    String s3 = "hel" + "lo";
    String s4 = "hel" + new String("lo");
    String s5 = new String("hello");
    String s6 = s5.intern();
    String s7 = "hel";
    String s8 = "lo";
    String s9 = s7 + s8;
    System.out.println(s1 == s2);
    System.out.println(s1 == s3);
    System.out.println(s1 == s4);
    System.out.println(s4 == s5);
    System.out.println(s5 == s6); //false
    System.out.println(s1 == s9);
    System.out.println(s1 == s6); //ture
}

我们一个一个来解析：

• s1==s2为true：

因为s1，s2赋值的时候均使用的是字符串字面量。在编译期间，这种字符串字面量会直接进入Class文件的常量池中，在运行的时候会进入方法区的运行时常量池。所以，s1，s2指向的都是同一片内存地址。

s1和s2

• s1==s3为true：

s3虽然是动态拼接出来的字符串，但是所有参与拼接的部分都是已知的字符串字面量，所以JVM会对其进行优化，s3="hel" + "lo"会在编译期直接被优化成s3=“hello”，其余部分则与第一种情况相同，不再赘述。

• s1==s4为false：

s4虽然也是动态拼接出来的字符串，但是new String("lo")不是已知的字面量，是一个不可预料的值，编译器不会优化，必须等到运行时才能知道结果。

我们可以看到s1和s4所指的对象是不同的，一个在方法区中，一个在Java堆中，所以判断s1==s4的答案为false。

• s4==s5答案为false：这个就不需要解释了，两个对象都在Java堆中，但是内存地址不同，所以不相等。
• s1==s9为false：这个也不需要解释，和第三种情况雷同。
• s5==s6为false，而s1==s6为ture：这个着重分析一下：

这里主要是intern的作用，基于JDK1.8(不同版本可能结果不同)。
首先s5是存在Java堆中的对象，使用intern方法会尝试将字符串字面量“hello”加入到运行时常量池中，如果此时常量池池没有该字面量，则会创建一个并返回其在常量池中的地址，但是此时常量池已经有"hello"这个字面量了，那么直接返回其在常量池的地址。因此，s1与s6指向的都是同一个地址，而s5和s6指向的则不是同一个内存地址，一个在Java堆中，一个在运行时常量池中。

---

至此，关于字符串常量池的一些区别，我们已经全部分析完。