java - 正如 String.intern() 方法的 Javadoc 中提到的那样，String Pool 最初真的是空的吗？

Question

下面是 String.intern() 方法的 Javadoc 注释:

*返回字符串对象的规范表示。

一个字符串池，最初是空的，由 String 类私下维护。

当调用 intern 方法时，如果池中已经包含等于此 String 对象的字符串(由 equals(Object) 方法确定)，则返回池中的字符串。否则，将此 String 对象添加到池中并返回对此 String 对象的引用。

因此对于任意两个字符串 s 和 t，当且仅当 s.equals(t) 为真时，s.intern() == t.intern() 为真。

所有文字字符串和字符串值常量表达式都被驻留。字符串文字在 The Java™ Language Specification 的第 3.10.5 节中定义。

但我认为从 jdk-8u102 开始发生了一些变化。

检查下面的例子:

public class Test1 {
    public static void main(String[] args) {
        String s1 = new String(new char[]{'J', 'a', 'v', 'a'});
        String s2 = s1.intern(); 
        System.out.println(s1 == s2);
    }
}

如果您在 JDK 7u80(JDK 7 的最新稳定版本)和 JDK 8 至 8u101 中运行上述程序，则输出为:
正确

但如果您在 JDK 8u102 及 JDK 9 和 JDK 10 中运行上述程序，则输出为:
假

为什么从 JDK 8u102 开始，intern() 方法开始表现不同？

我检查了发行说明和 Javadoc 注释，但找不到任何与 JDK 8u102 中的 intern() 方法相关的更改。

我检查了博客和其他网站，但没有成功。

但是当我尝试使用其他字符串时，输出没有任何变化:

public class Test2 {
    public static void main(String[] args) {
        String s3 = new String(new char[]{'U', 'd', 'a', 'y', 'a', 'n'});
        String s4 = s3.intern();
        System.out.println(s3 == s4);
    }
}

以上程序在 JDK 7、JDK 8、JDK 9 和 JDK 10 中始终打印 true。

只有在加载 Test1 类之前“Java”被字符串池表引用时，此行为才有可能。
s1 引用 HEAP 上的字符串对象“Java”，s1.intern() 返回字符串池对象的引用(因为“Java”已被字符串池引用)。
这就是 s1 == s2 返回 false 的原因。

但是当加载 Test2 类时，字符串池表不引用“Udayan”。
s3 引用 HEAP 上的字符串对象“Udayan”，s3.intern() 将 s3 引用的字符串对象添加到字符串池并返回相同的引用。这意味着 s3 和 s4 指的是同一个对象。
这就是 s3 == s4 返回 true 的原因。

如果我的观察是正确的，那么这意味着字符串池最初不是空的。
字符串池最初包含“Java”、“java”、“Oracle”等字符串对象。

任何人都可以证实这一点吗？

Answer 1

这取决于你认为什么是“最初”。

当 JVM 启动时，String Pool 是空的。然而，当各种基本的 JDK 类在您的 Test1 类被加载之前被加载和初始化时，其中一些将 String 添加到字符串池中也就不足为奇了。 “Java”必须是这些 String 之一。

并且 JLS 中没有任何内容阻止 Java 开发人员在较新的 JDK 版本中的类初始化中引入新的 String 文字。因此，您注意到 JDK 7 和 JDK 8 之间的差异并不奇怪。