Java 中 String.intern() 方法如何影响 == 比较结果-java教程-PHP中文网

Java 中 String.intern() 方法如何影响 == 比较结果

本文深入解析 String.intern() 在 JDK 8 中的底层行为，揭示为何调用 s1.intern() 后 s1 == s2 返回 true——关键在于字符串常量池的首次显式注册时机与 ldc 指令的绑定机制，而非字面量是否存在于 class 文件常量池。

本文深入解析 `string.intern()` 在 jdk 8 中的底层行为，揭示为何调用 `s1.intern()` 后 `s1 == s2` 返回 `true`——关键在于字符串常量池的**首次显式注册时机**与 `ldc` 指令的绑定机制，而非字面量是否存在于 class 文件常量池。

在 Java 中，== 比较的是两个引用是否指向同一块内存地址，而 String.intern() 的行为直接决定了字符串对象在运行时常量池（String Pool）中的归属。理解其机制，需跳出“字面量自动入池”的惯性认知，聚焦 JVM 规范中关于 intern() 执行时序 与 ldc 指令延迟解析 的关键细节。

核心机制：`intern()` 不是“查找”，而是“注册+返回”

String.intern() 的语义并非简单“从池中取已有字符串”，而是：

若池中已存在内容相等（equals()）的字符串，则返回池中该字符串的引用；
若不存在，则将当前字符串对象（即 this）加入池中，并返回该对象的引用（注意：不是新建对象，而是原对象入池）。

重点在于：intern() 调用本身会强制将堆上字符串注册进字符串常量池，并返回其引用——即使你未接收返回值，注册动作依然发生。

为什么第一个例子 `s1 == s2` 为 `true`？

String s1 = new String("12") + new String("21"); // 堆上创建 "1221" 对象
s1.intern(); // 关键！将堆上的 s1 对象注册进字符串常量池
String s2 = "1221"; // JVM 执行 ldc #11：发现池中已存在 "1221"（即 s1），直接返回 s1 的引用
System.out.println(s1 == s2); // true：s1 和 s2 指向同一堆对象

这里的关键误区在于：“"1221" 在 class 文件常量池中存在” ≠ “运行时字符串常量池中已加载该字符串”。JVM 不会在类加载时预加载所有字面量到运行时常量池；ldc 指令（用于 String s2 = "1221"）会在首次执行时才触发字符串池查找/注册逻辑：

若此时池中无 "1221"，JVM 会尝试从 class 文件常量池解析出字符串并放入运行时常量池（此时创建新对象）；
但若此前已通过 s1.intern() 将堆上 "1221" 注册进池，则 ldc 直接返回该已注册对象的引用 —— 即 s1 本身。

因此，s2 实际引用的是 s1 所指向的堆对象，== 自然为 true。

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

为什么第二个例子 `s1 == s2` 为 `false`？

String s1 = new String("12") + new String("21"); // 堆上 "1221"
// s1.intern(); // 未调用 → 字符串池中无 "1221"
String s2 = "1221"; // ldc 首次执行：池中无 "1221"，故从 class 文件创建新字符串并入池
System.out.println(s1 == s2); // false：s1（堆）≠ s2（池中新对象）

此时 s2 引用的是 JVM 内部新创建的字符串对象（虽内容相同，但内存地址不同），与 s1 完全无关。

验证与最佳实践

可通过以下代码验证对象身份：

String s1 = new String("12") + new String("21");
System.out.println(System.identityHashCode(s1)); // 堆对象哈希

s1.intern();
String s2 = "1221";
System.out.println(System.identityHashCode(s2)); // 与上行输出相同 → 同一对象

⚠️ 注意事项：