String中的享元模式

Java中将String类定义为由final修饰的（不可改变的），JVM中字符串一般被保存在字符串常量池中，Java会确保一个字符串在常量池中只有一个“复制”，这个字符串常量池在JDK 6.0以前是位于常量池中的，位于永久代；而在JDK 7.0中，JVM将其从永久代拿出来放置于堆中。

    public static void main(String[] args) {
        String s1 = "hello";
        String s2 = "hello";
        String s3 = "he" + "llo";
        String s4 = "hel" + new String("lo");
        String s5 = new String("hello");
        String s6 = s5.intern();
        String s7 = "h";
        String s8 = "ello";
        String s9 = s7 + s8;
        String s10 = "h" + "ello";

        System.out.println(s1 == s2); //true 由于s2指向的字面量"hello"在常量池中已经存在（s1先于s2），于是JVM就返回这个字面量绑定的引用，所以s1==s2。
        System.out.println(s1 == s3); //true s3中字面量的拼接其实就是"hello"，JVM在编译期间就已经对它进行了优化，所以s1和s3也是相等的。
        System.out.println(s1 == s4); //false s4中的new String（"lo"）生成了两个对象：lo和new String（"lo"）。lo存在于字符串常量池中，new String（"lo"）存在于堆中，String s4 = "hel" + new String（"lo"）实质上是两个对象的相加，编译器不会进行优化，相加的结果存在于堆中，而s1存在于字符串常量池中，当然不相等。
        System.out.println(s1 == s5); //false
        System.out.println(s4 == s5); //false s4和s5的结果都在堆中，不用说，肯定不相等。
        System.out.println(s1 == s6); //true s5.intern（）方法能使一个位于堆中的字符串在运行期间动态地加入字符串常量池（字符串常量池的内容是在程序启动的时候就已经加载好了的）。如果字符串常量池中有该对象对应的字面量，则返回该字面量在字符串常量池中的引用；否则，复制一份该字面量到字符串常量池并返回它的引用。因此s1==s6输出true。
        System.out.println(s1 == s9); //false 同 s1 == s4
    }

String类是由final修饰的，当以字面量的形式创建String变量时，JVM会在编译期间就把该字面量"hello"放到字符串常量池中，在Java启动的时候就已经加载到内存中了。这个字符串常量池的特点就是有且只有一份相同的字面量。如果有其他相同的字面量，则JVM返回这个字面量的引用；如果没有相同的字面量，则在字符串常量池中创建这个字面量并返回它的引用。

由于s2指向的字面量"hello"在常量池中已经存在（s1先于s2），于是JVM就返回这个字面量绑定的引用，所以s1==s2。

s3中字面量的拼接其实就是"hello"，JVM在编译期间就已经对它进行了优化，所以s1和s3也是相等的。

s4中的new String（"lo"）生成了两个对象：lo和new String（"lo"）。lo存在于字符串常量池中，new String（"lo"）存在于堆中，String s4 = "hel" + new String（"lo"）实质上是两个对象的相加，编译器不会进行优化，相加的结果存在于堆中，而s1存在于字符串常量池中，当然不相等。s1==s9的原理也一样。

s4和s5的结果都在堆中，不用说，肯定不相等。

s5.intern（）方法能使一个位于堆中的字符串在运行期间动态地加入字符串常量池（字符串常量池的内容是在程序启动的时候就已经加载好了的）。如果字符串常量池中有该对象对应的字面量，则返回该字面量在字符串常量池中的引用；否则，复制一份该字面量到字符串常量池并返回它的引用。因此s1==s6输出true。