String的intern方法探寻

1. intern方法介绍

将String对象放入字符串常量池中，若常量池中含有该String对象（使用equals方法比较），则返回常量池中的引用；反之，则将调用intern方法的String对象放入常量池中并返回其引用。

• 在jdk1.6中，方法区使用永久带实现，若常量池中不存该String对象，是将原对象复制到永久带中再返回永久带中的引用

• 在jdk1.7及以上版本，字符串常量池位于堆中，若常量池不存该String对象，则在常量池中保存该String对象第一次出现的实例引用，并返回该实例引用，而不是进行复制

• 以下测试来自于深入理解java虚拟机第三版，是对上面两个结论的验证

public static void main(String[] args) {
        String s1 = new StringBuilder("计算机").append("软件").toString();
        System.out.println(s1.intern() == s1);
        String s2 = new StringBuilder("ja").append("va").toString();
        System.out.println(s2.intern() == s2);
    }

• 在jdk6时，两个输出都为false，第一个是因为intern是返回永久带中复制的String对象的引用，而第二个则是因为"java"对象已经在常量池中存在了，也是返回常量池中的引用
• 在jdk1.7时，前者输出true，"计算机软件"这一字符串在intern之前就在堆中存在，因此是在常量池中记录其第一次出现的引用，返回的也是堆中对象引用，故而为true；后者为false是因为"java"字符串之前已经在常量池中存在了
• "java"已经存在在原文是这样描述的：
  

2.进一步解析（jdk8环境）

 上面的例子其实也从侧面论证了在使用StringBuilder的toString方法是没有在常量池中生成对象的，而是在堆中生成了对象。我们来看下StringBuilder的toString(方法：

@Override
    public String toString() {
        // Create a copy, don't share the array
        return new String(value, 0, count);
    }

 可以看到是直接new了一个String对象且是使用传入char数组的构造方法（value为char数组）创建的，该String构造方法是将该char数组复制然后赋给创建String对象的，生成的对象位于堆中。源代码如下：

public String(char value[], int offset, int count) {
        if (offset < 0) {
            throw new StringIndexOutOfBoundsException(offset);
        }
        if (count <= 0) {
            if (count < 0) {
                throw new StringIndexOutOfBoundsException(count);
            }
            if (offset <= value.length) {
                this.value = "".value;
                return;
            }
        }
        // Note: offset or count might be near -1>>>1.
        if (offset > value.length - count) {
            throw new StringIndexOutOfBoundsException(offset + count);
        }
        this.value = Arrays.copyOfRange(value, offset, offset+count);
    }

 为了加深理解，请看下方例子：

	String s = new StringBuilder("字符串对象").toString();
    System.out.println(s.intern() == s);

 结果为false，虽然toString方法没有在字符串常量池当中生成对象，但在StringBuilder对象创建之前，"字符串对象"的声明已经在字符串常量池当中生成对象了。与上方的例子不同的是，上例最终的String对象是由append方法拼接char数组，然后复制直接赋值给堆String对象的，这个过程是不会在常量池中生成String对象的

3.补充一个有趣知识

• 请看以下代码，猜猜结果为何？

public static void main(String[] args) {
        String s = new String("计算机") + new String("软件");
        System.out.println(s.intern() == s);
    }

• 答案是true，原因时 + 这个运算符在底层是使用了StringBuilder的append方法进行拼接，再使用toString()方法返回String对象，生成的对象在堆中，故而是true