new String的值是存储在堆中还是常量池呢？

引出问题

public class StringPool {
    public static void main(String[] args) {
        char[] f  = {'a','b','c'};

        String s1 = "abc";                        //    s1存在字符串常量池
        String s2 = new String("abc");           //     s2引用了s1
        String s3 = new String(f);               //     s3引用了s1
        String s4 = new String(f).intern();      //     new String(f)会与常量池中已经有的变量做equal()比较，有则取无则加后取
        String s22 = new String("abc").intern();


        System.out.println(s1 == s2);  // false
        System.out.println(s1 == s22); // true
        System.out.println(s1 == s3);  // false
        System.out.println(s1 == s4);  // true

    }
}

结果分析

s1 == s2？

因为String类型是一个不可变类型，而以new String(“字符串”)这种方式创建字符串时，当你传入实参，实参其实已经在常量池创建了一个字符串original，等同于String original = “字符串”；

然后 this.value = original.value 是将常量池中字符串的char数组的引用指向了将要创建的对象的value属性，切记只是引用，而真正的值是在常量池中。

这也就是为何局部变量表指向同一个地址的原因，而引用呢则是放在了堆中的String对象中。

s1 == s22？

调用intern方法时，如果常量池中存在equals()方法相同的字符串，则返回常量池中的字符串。 否则，将此String对象添加到常量池中，并返回对此String对象的引用。实则这个引用就是常量池中字符串；

由于字符串常量池中存在abc，所以new String(“abc”).equals()是成立的，所以返回常量池中的abc

s1 == s3？

因为char数组是不会直接放入常量池的，所以在这个构造中：this.value = Arrays.copyOf(value, value.length)，是对实参变量做了拷贝，存储在堆中；

如果对c变量做intern，通过实例的 equals(Object) 对池中的数据进行比较，如果字符串常量池中有与 c 内容相同的字符串，则直接返回该字符串的引用。如果没有相同实例，则保存其值再将指向池中字符串的引用返回。

注意编码规范：不要对动态char数组创建String字符串时添加intern方法，小心把你方法区干没，导致堆外内存溢出。这可能也是该构造的字符串不放常量池的原因吧。

其实javap命令也能看出来，向常量池申请了变量然后压入栈。

new String形式本质上其实都是创建在堆中的，其本质上这个区别应该叫做String中value数组存储在堆还是常量池会更准确。（请看下图）

总结：

• 对于直接声明的字符串，形如：String x = “”; 则变量x直接指向常量池中；
• 对于new出来的字符串，new String(“”); 则存储于堆中，但存储的是指向常量池的引用；
• intern方法可以向常量池存储字符串，并返回一个常量池的引用对象；

参考文章：https://www.jianshu.com/p/1fad17376b49