String不可变性源于private final字段和无修改方法，而非final类；常量池依赖该特性实现安全共享，final类则防止子类破坏不可变契约。
String 的不可变性不是靠 final 类实现的
很多人误以为 String 不可变是因为类被 final 修饰——其实 final 只阻止继承，和“内容不可变”无关。真正起作用的是：内部字符数组 value 被声明为 private final char[]（Java 8）或 private final byte[]（Java 9+），且所有修改方法（如 substring()、toLowerCase()）都不改原数组，而是新建对象。
常见错误现象：String s = "hello"; s.concat(" world"); System.out.println(s); // 输出 hello，不是 hello world——因为没赋值给变量，原引用没变。
-
concat()、replace()、trim()等返回新对象，不改变原String - 反射强行修改
value数组虽技术上可行，但破坏 JVM 字符串常量池一致性，属未定义行为 - 不可变性是语义保证，不是内存保护；JVM 不阻止你用反射写它，只是不承诺结果
字符串常量池怎么参与不可变性的设计
常量池的存在倒逼不可变：如果 "abc" 在池里被多个变量共享，其中一个能改内容，其他就全乱了。所以 JVM 要求池中字符串必须稳定——而最稳妥的方式，就是让所有 String 实例都不可变。
使用场景差异明显：String s1 = "abc"; String s2 = "abc"; → s1 == s2 为 true（指向同一池内对象）；但 String s3 = new String("abc"); → s1 == s3 为 false（堆上新对象，除非显式调用 s3.intern()）。
立即学习“Java免费学习笔记（深入）”；
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
- 字面量（
"xxx"）自动入池；new String("xxx")总在堆上，且不自动入池 -
intern()会检查池中是否存在等价字符串，有则返回池中引用，否则将当前对象加入池并返回 - Java 7+ 后常量池移到堆内存，不再受限于永久代大小，但池内对象仍受 GC 管理（只要无引用）
final 修饰符在这里到底管什么
final 修饰的是引用本身不可重赋值，不是内容不可变。比如：final String s = "a"; s = "b"; // 编译报错。但它对 String 的不可变性只是辅助——即使去掉 final，只要 value 字段是 private final 且无公开修改入口，依然不可变。
容易踩的坑：final List<string> list = new ArrayList(); list.add("x"); // 合法！</string> —— final 不冻结对象状态，只冻结变量指向。
-
String类加final是为了防止子类覆盖方法破坏不可变契约（如重写hashCode()返回不同值） - 若允许继承，子类可能暴露可变字段或提供修改接口，常量池和缓存（如
hash字段）逻辑就会失效 -
final类 +private final字段 + 无 setter + 所有方法返回新实例 = 安全的不可变模式
为什么 StringBuilder 就可以变，而 String 不行
根本区别不在语法，而在设计意图：StringBuilder 是为**高效拼接**服务的，它把字符数组暴露给自己维护，允许扩容、覆盖、插入；String 是为**安全共享**服务的，要支持哈希缓存、常量池、多线程安全读取。
性能影响很实际：频繁用 + 拼接字符串（尤其循环中），在 Java 8+ 会被编译器优化为 StringBuilder，但若手动写成 s = s + "x"，每次都会生成新 String，旧对象进 GC——而 StringBuilder.append() 复用内部数组，快一个数量级。
-
String的hashCode()会缓存结果（hash字段），首次调用后不再重算；StringBuilder没这逻辑，也不需要 - 不可变性让
String可作HashMap键：键内容不变，哈希值就不变，位置不会漂移 - 别为了“看起来更简洁”滥用
String做构建器，该用StringBuilder时就用，尤其在循环或日志拼接中
真正难的不是记住“不可变”，而是理解哪些操作触发新对象、哪些复用底层数据，以及什么时候该切换到可变类型。常量池、intern()、反射绕过、编译器优化……这些点混在一起，稍不注意就写出内存泄漏或逻辑错位的代码。
