常量折叠是java编译器在编译期将字面量或final static字符串拼接等编译期常量表达式直接计算为结果字面量并存入常量池，如"a"+"b"被替换为"ab"，字节码中仅含ldc指令，无运行时拼接逻辑。
因为 "a" + "b" 是纯字符串字面量拼接，Java 编译器在编译期就把它折叠成了 "ab"，和 "ab" 字面量一样，直接存入字符串常量池。所以 a 和 b 都指向常量池中同一个对象，== 判断结果为 true。
什么是常量折叠
常量折叠是 javac 在编译阶段做的优化：对编译期就能完全确定值的表达式（比如字面量相加、final static 字符串拼接），直接算出结果，并用结果字面量替换原表达式。
-
"a" + "b"→ 编译后变成"ab"，不生成任何运行时拼接逻辑 - 字节码里看不到
StringBuilder或方法调用，只有ldc "ab"指令 - 这个过程不依赖 JVM 运行时，也不需要
intern()，.class 文件里就已经是最终结果
为什么 a == b 成立
两个变量都引用常量池中唯一的 "ab" 实例：
-
String a = "ab";：从常量池加载已有的"ab" -
String b = "a" + "b";：编译后等价于String b = "ab";，同样从常量池加载 - 它们不是“内容相同”，而是“同一块内存地址”，所以
==返回true
什么情况下就不成立
只要拼接中出现任何编译期无法确定的部分，就会退化为运行时拼接，结果在堆上新建对象：
-
String s = "a"; String b = s + "b";→ 使用StringBuilder，b指向堆对象 -
final String s = "a"; String b = s + "b";→ 如果s是局部final变量，不参与折叠（仅static final字段才被当作编译期常量） -
"a" + getStr()或"a" + null→ 含方法调用或null，必然运行时处理
验证方式
用 javap -c 查看字节码最可靠：
- 能看到
ldc #2（加载常量池中第2项，即"ab"）两次，说明没有拼接逻辑 - 反编译工具（如 JD-GUI）可能美化显示为
"a"+"b"，但那是假象，真实字节码已无加号 - 配合
System.out.println(a == b)输出true，可交叉确认
