Java 7及以下new String("abc")的堆与字符串常量池内存表示问询

嘿，这个问题问到Java字符串内存模型的经典细节上了——在Java 7及更早版本里，String s1 = new String("abc")的内存行为有明确的规则，我来给你拆解清楚：

内存分布逻辑 #

当你执行这句代码时，JVM会分三步处理：

1. 检查并初始化字符串常量池：JVM首先会扫描字符串常量池（String Constant Pool），如果池中没有值为"abc"的字符串实例，就会在常量池里创建一个"abc"的字符串对象；如果已经存在，就直接复用这个现成的实例。
2. 在堆区创建新实例：不管常量池里有没有"abc"，JVM都会在**堆区（Heap Area）**再创建一个全新的"abc"字符串实例。
3. 引用指向堆区对象：最后，变量s1的引用会牢牢指向堆区里的这个新实例，和常量池里的实例没有直接关联。

对应的内存结构可以用表格直观展示：

相关技术特性 #

• 常量池的复用逻辑：字符串常量池是Java为了优化内存设计的特殊区域，核心目的是复用相同值的字符串实例，减少内存占用和对象创建的开销——毕竟字符串是Java程序里最常用的对象类型之一。
• 堆实例的独立性：堆区的字符串实例是完全独立的，哪怕常量池里已经有相同值的字符串，每次执行new String("xxx")都会生成新的堆对象。这也是为什么用==比较s1和"abc"会返回false（引用指向不同内存地址），但用equals()会返回true（字符串值相同）的原因。
• Java 7的常量池位置变化：划重点！Java 7把字符串常量池从永久代（PermGen）迁移到了堆区，但这并不改变new String()的行为——常量池只是换了个位置（现在属于堆的特殊子区域），new String()依然会在堆里生成独立的新实例。
• 手动入池的方法：如果想让堆里的字符串实例也加入常量池复用，可以调用intern()方法。比如执行s1.intern()后，如果常量池里没有"abc"，就会把堆中s1指向的实例引用存入常量池；如果已经存在，就返回常量池里的引用。这时候再用s1.intern() == "abc"就会返回true了。

内容的提问来源于stack exchange，提问作者Nagesh Chauhan