
本文深入解析 Java 中 == 运算符对字符串的比较原理,阐明其本质是引用(内存地址)比较而非内容比较,并结合字符串常量池、编译期优化、运行时对象创建等机制,清晰解释为何 str1 == str2 为 true 而 str1 == str4 或 str4 == str5 为 false。
本文深入解析 java 中 `==` 运算符对字符串的比较原理,阐明其本质是引用(内存地址)比较而非内容比较,并结合字符串常量池、编译期优化、运行时对象创建等机制,清晰解释为何 `str1 == str2` 为 `true` 而 `str1 == str4` 或 `str4 == str5` 为 `false`。
在 Java 中,== 运算符用于引用类型时,永远比较的是两个变量是否指向同一块内存地址,而非它们所表示的内容是否相等。这一原则对 String 类型尤为关键——因为字符串的不可变性(immutability)和 JVM 的优化机制(如字符串常量池),使得相同字面值的字符串在不同创建方式下可能共享地址,也可能完全独立。
✅ 字符串常量池(String Pool):编译期确定的“共享区”
当使用双引号直接声明字符串字面量(如 "Object")时,JVM 会在类加载阶段将该字符串放入字符串常量池(位于堆内存中的特殊区域)。若池中已存在相同内容的字符串,则直接复用其引用;否则新建并入池。
String str1 = "Object"; // 编译期确定 → 池中创建或复用 String str2 = "Object"; // 同样字面量 → 复用 str1 的地址 String str6 = "Obj" + "ect"; // 编译期可计算的常量表达式 → 等价于 "Object" → 仍走常量池
因此 str1 == str2 和 str1 == str6 均为 true —— 它们本质上是同一个常量池对象的多个引用。
❌ 运行时动态创建:绕过常量池的新对象
以下方式均在运行时创建新 String 实例,不经过常量池检查,必然分配新内存地址:
Java JDK 25 来自 OpenJDK 官方归档,版本为 JDK 25,本条下载地址已指向官方 Windows x64 zip 安装包直链,适合调试旧项目或兼容旧版 Java 运行环境。
- new String("Object"):明确要求在堆上新建对象(即使内容相同);
- name.substring(0, 6):substring() 在 JDK 7u6 之后返回全新字符串对象(早期版本曾共享底层数组,但已废弃);
- 其他运行时拼接(如 str + "ect",其中 str 是变量)也属此类。
String name = "Object Oriented"; String str4 = name.substring(0, 6); // "Object" —— 运行时计算 → 新对象 String str5 = name.substring(0, 6); // 再次调用 → 又一个新对象(地址不同!)
故 str1 == str4 为 false(池中对象 vs 堆中新对象),且 str4 == str5 也为 false(两个独立堆对象,地址天然不同)。
? 验证技巧:使用 System.identityHashCode(obj) 可观察底层地址哈希(非 hashCode()),它能直观反映是否为同一对象:
System.out.println(System.identityHashCode(str4) + " != " + System.identityHashCode(str5)); // 输出类似:1308244637 != 1860944798
⚠️ 关键注意事项与最佳实践
- 永远不要用 == 比较字符串内容:即使当前输出 true(如 str1 == str2),也属于实现细节依赖,极易因创建方式改变而失效。
-
统一使用 .equals() 进行语义比较:
if (str1.equals(str4)) { /* 安全可靠 */ } // true -
若需强制入池,调用 .intern()(慎用):
String pooled = str4.intern(); // 将 str4 内容加入常量池(或返回已有引用) System.out.println(str1 == pooled); // true —— 但通常不推荐,增加复杂度
- 编译期优化边界:"Obj" + "ect" 是常量折叠(constant folding),由编译器直接转为 "Object";但 "Obj" + strVar 则无法优化,生成 StringBuilder 拼接,结果必为新对象。
✅ 总结:一句话牢记本质
== 比的是“是不是同一个对象”,.equals() 比的是“内容是不是一样”。字符串常量池让部分字面量“看起来相同”,但只要涉及 new、substring、运行时拼接等操作,就脱离了池的共享机制——此时 == 必然返回 false,这是设计使然,而非 bug。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










