本文详解string a="hello"; string b=a+"bye";执行过程中jvm实际创建的string对象数量，明确区分字符串常量池与堆内存中的对象生成逻辑，并澄清关于"bye"是否入池、stringbuilder.append()是否触发新字符串创建等常见误区。
本文详解string a="hello"; string b=a+"bye";执行过程中jvm实际创建的string对象数量，明确区分字符串常量池与堆内存中的对象生成逻辑，并澄清关于"bye"是否入池、stringbuilder.append()是否触发新字符串创建等常见误区。
在Java中，字符串对象的创建位置（字符串常量池 vs. 堆）及数量，取决于其创建方式和编译期可确定性。我们以经典代码片段为例深入分析：
String a = "hello"; String b = a + "bye";
✅ 第一步：String a = "hello";
编译器在编译期即可确定字面量 "hello" 是常量，因此JVM会在字符串常量池（String Pool） 中创建并驻留该对象（若尚不存在）。这是第1个String对象，位于常量池。
✅ 第二步：String b = a + "bye";
此处是关键——该表达式不是编译期常量表达式（因a是变量引用，非final且值运行时才确定），因此无法在编译期优化为字面量拼接。JVM将按规范将其翻译为等效字节码，实际执行逻辑如下：
// 等价于（JDK 5+ 使用 StringBuilder，而非 StringBuffer）
String b = new StringBuilder().append(a).append("bye").toString();注意三点：
立即学习“Java免费学习笔记（深入）”；
- new StringBuilder() 创建的是堆中对象，不产生String；
- .append("bye") 中的 "bye" 是字符串字面量 → 编译期确定 → 自动放入字符串常量池，这是第2个String对象（同样位于常量池）；
- .toString() 方法返回一个全新String对象：它内部调用 new String(char[]) 构造器，该对象必然分配在堆内存中（JDK 7+ 后，StringBuilder.toString() 返回的String不再入池，除非显式调用 intern()）。
⚠️ 重要澄清："bye" 本身是字面量，与 a 是否为final无关——只要源码中出现 "bye"，它就一定会在类加载时进入字符串常量池（第2个对象）。而拼接结果 "hellobye" 是运行时动态生成的，默认不会自动入池，因此它是第3个String对象，位于堆中。
✅ 结论：共形成 3个String对象，分布如下： | 序号 | 字面量 | 创建位置 | 说明 | |------|------------|----------------|------------------------------| | 1 | "hello" | 字符串常量池 | 由 a = "hello" 直接引入 | | 2 | "bye" | 字符串常量池 | 字面量，独立存在于池中 | | 3 | "hellobye" | Java堆（Heap） | toString() 返回的新对象，未入池 |
? 补充验证（JDK 8+ 可用）
可通过以下代码验证 "bye" 是否已入池、b 是否与池中对象不同：
String a = "hello";
String b = a + "bye";
System.out.println(b == "hellobye"); // false（堆对象 ≠ 池中对象）
System.out.println("bye".intern() == "bye"); // true（证明"bye"已在池中）
System.out.println(b.intern() == "hellobye"); // true（首次intern后入池）⚠️ 注意事项
- 若 a 被声明为 final String a = "hello";，则 a + "bye" 成为编译期常量表达式，整个 "hellobye" 将直接入池 → 此时仅创建 2个对象（"hello" 和 "hellobye"），"bye" 因未显式引用可能不单独入池（取决于JVM实现，但通常仍存在）；
- StringBuilder.append() 方法本身不创建String对象，它操作的是内部字符数组；toString() 才是String诞生的关键节点；
- 字符串常量池属于方法区（JDK 7+ 移至堆），而通过 new String(...) 或 StringBuilder.toString() 创建的对象默认在堆，需手动 intern() 才能尝试入池。
掌握这一机制，有助于规避内存浪费、理解 == 与 equals() 差异，并为性能调优（如大量拼接应优先用 StringBuilder）提供底层依据。
