s.intern()返回常量池中"ab"的引用,因new char[]{'a','b'}为运行时动态构造,不触发编译期入池,故池中无"ab",intern需新建并放入;而s在堆中,故s.intern() != s。
![java中执行 `string s = new string(new char[]{\'a\', \'b\'});` 后 intern() 会发生什么](https://img.php.cn/upload/article/001/242/473/179142535877013.png)
这行代码:String s = new String(new char[]{'a', 'b'});,执行后调用 s.intern(),结果是:**返回一个新放入字符串常量池的 "ab" 对象引用,且该引用与 s 不相等(s.intern() != s)**。
为什么不会复用已有字面量?
因为 new char[]{'a','b'} 是运行时动态构造的字符数组,传入 String(char[]) 构造器后,生成的字符串内容虽为 "ab",但编译期无法预知——它不是字符串字面量,也不参与编译期常量折叠。JVM 在类加载阶段不会把 "ab" 自动放入字符串常量池。
所以执行这行代码前,常量池中大概率没有 "ab"(除非之前其他代码已显式触发过它的 intern 或字面量加载)。
intern() 的实际行为
- 检查字符串常量池中是否存在内容为 "ab" 的字符串实例;
- 若不存在(典型情况),则将当前字符串
s的字符内容(即 "ab")复制一份,作为新的String对象存入常量池,并返回该池中对象的引用; - 若已存在(比如前面执行过
String t = "ab";),则直接返回池中那个已有对象的引用,不新建。
内存与比较结果的关键点
无论哪种情况,只要 s 是通过 new String(...) 创建的,它就一定在堆上;而 s.intern() 返回的引用一定指向常量池中的对象(JDK7+起池在堆内,但逻辑上仍是池管理的独立实例)。
立即学习“Java免费学习笔记(深入)”;
因此:
-
s.intern() == s→ false(堆对象 ≠ 常量池对象,即使内容相同); -
s.intern() == "ab"→ true(前提是"ab"字面量已加载,或本次 intern 刚刚放入); -
s.equals(s.intern())→ true(内容相同,equals 重写基于字符序列)。
和 new String("ab") 的区别在哪?
看似相似,但关键差异在于字面量触发时机:
-
new String("ab")中的"ab"是字面量 → 编译期进 class 常量池 → 类加载时进运行时常量池 → 执行前池中已有 "ab"; -
new String(new char[]{'a','b'})没有字面量 → 不触发自动入池 → 池中初始无 "ab",intern()很可能要新建并放入。
也就是说,后者更“干净”地演示了 intern 的“按需入池”本质,不依赖编译期优化或历史上下文。


















