运行时常量池和字符串常量池的关系是什么？

结论先行：**字符串常量池（string pool，HotSpot 里叫 StringTable）**是运行时常量池中字符串字面量的「落地缓存」——类文件里的 CONSTANT_String 项在解析后指向堆上的 String 实例，StringTable 就是这个实例的哈希表索引。运行时常量池是每个类一份、位于元空间的完整结构，存的远不止字符串，还有符号引用、数值字面量、方法句柄等。一句话：字符串池是运行时常量池的一个子集在堆上的投影，JDK 7 起它的物理位置从永久代搬到了堆。

一、三者关系

Hello.class
└── constant_pool: #4 = String → #5 = Utf8 "hello"
        │ 类加载
        ▼
运行时常量池（元空间，每个类一份）
├── #4 解析为 → 指向堆中 String 对象的引用
├── 符号引用（Class/Methodref）→ 解析后变直接引用
└── 数值字面量、方法句柄、动态调用点

                         │ 字符串字面量落地
                         ▼
           字符串常量池 StringTable（堆，全局唯一）
           └── "hello" → 同一个 String 实例（可被所有类共享）

二、对象到底创建了几个

public class StringPoolDemo {
    public static void main(String[] args) {
        String a = "hello";                 // 常量池已有则复用；没有则创建 1 个并放入池
        String b = "hello";                 // 复用同一个实例
        String c = new String("hello");      // 堆上新对象（字面量已存在，不新建池内实例）
        String d = new String("hel") + "lo"; // 编译期折叠 + 运行期拼接 → 堆上新对象
        String e = c.intern();               // 返回池中实例

        System.out.println(a == b);          // true
        System.out.println(a == c);          // false
        System.out.println(a == e);          // true（intern 返回池内实例）
        System.out.println(a == d);          // false（d 是运行期拼接结果）
    }
}

new String("hello") 创建的对象数量取决于字面量是否已在池中：首次是 2 个（池内 1 + 堆上 1），之后是 1 个（只有堆对象）。

三、从字节码看折叠

public class FoldDemo {
    static final String PREFIX = "he";
    public static void main(String[] args) {
        String s = PREFIX + "llo";          // 编译期就能算出来，直接变成 "hello"
        System.out.println(s == "hello");   // true
    }
}

javap -c -constants FoldDemo.class | sed -n '/main/,/return/p'
# 可见 ldc "hello"，而不是运行时 StringBuilder 拼接：
#   0: ldc           #7    // String hello

final 修饰的常量字符串会被 javac 折叠进常量池，所以运行时比较是同一实例；而用 StringBuilder 或变量拼接则不会折叠。

四、调优与观测

# 加大 StringTable 桶数量，减少长链表带来的 intern 变慢（大字符串场景）
java -XX:StringTableSize=1000003 -jar app.jar

# 打印字符串池统计（需 debug 版或 JDK 11+ 的 jcmd）
jcmd <pid> VM.stringtable
jcmd <pid> VM.symboltable

# JDK 8 观察永久代/元空间变化（字符串池在堆，不在元空间）
jstat -gcmetacapacity <pid> 1000 5

五、常见追问

小结

字符串池是运行时常量池中字符串字面量在堆上的共享索引，运行时常量池本身是元空间里每个类私有的结构。把「类文件常量池 → 运行时常量池 → StringTable」三层画清，再看 == 的比较结果就不会再靠猜。