今天在 Reeder 上看到一个关于 String Intern 的文章,自己测试了一下,发现有些地方并不严谨。

  原文用了一段如下代码:

public static void main(String[] args) {
    String s = new String("1");
    s.intern();
    String s2 = "1";
    System.out.println(s == s2);
    String s3 = new String("1") + new String("1");
    s3.intern();
    String s4 = "11";
    System.out.println(s3 == s4);
}

  目的很明确,希望通过==判断 intern 能否为下一次赋值从 intern 的池里提供。然而这段代码做了一个假设:在 main 函数之前,没有任何字符串被 intern。

  然而我在Java8以上测试,却发现了有意思的情况。考虑以下代码:

    public static void main(String[] args) {
        String s =  String.valueOf(1) + String.valueOf(1);
        s.intern();
        String s2 = "11";
        System.out.println(s == s2);

        String s3 = String.valueOf(1) + String.valueOf(2);
        s3.intern();
        String s4 = "12";
        System.out.println(s3 == s4);
    }

  按照原文作者的假设,结果应该都是 true 才对,第一次 intern 的时候该对象保存进入常量,第二次赋值的时候取出,因此==的两个结果是 true。

  但是在我的机器和其他同事的机器上却发现有人是 false,true,有人是 false,false,有人是 true,true。也就是说,JVM 根据某些信息提前进行了 intern,这种 intern 操作来自哪里,我暂时还不知道,有知道的同学可以帮忙在回复里解释一下。

  BTW,调用 intern 却不是用其返回值作为对象,那么这次使用的对象不一定是在 Intern 里存储的那个对象,使用==的结果并不是确定的。这种类似 C 的未定义行为,不能作为 Java 特性的说明,也不能在生产代码里使用,原文的原理是正确的,但是代码却没有说服力了。这从另一个角度提醒我们写代码还是要大胆假设,小心求证。