Java中String不可变是围绕安全、性能、一致性三大支柱的系统性设计。它支撑字符串常量池的语义一致性与内存优化，使hashCode可缓存以保障HashMap正确性，赋予多线程天然线程安全性，并通过final类、private final字段、无修改方法及防御性拷贝四重机制确保不可变性。
Java 中 String 被设计为不可变，不是权宜之计，而是围绕“安全、性能、一致性”三大支柱展开的系统性决策。它既服务于 JVM 底层机制，也深刻影响着开发者日常编码逻辑。
字符串常量池依赖不可变性才能成立
Java 在方法区（JDK 8+ 为元空间）维护一个字符串常量池，相同字面量只存一份。例如：
String a = "hello"; String b = "hello"; —— a 和 b 实际指向同一个对象。
如果 String 可变，当某处代码执行 a.replace('h', 'H') 并直接修改原内容，b 的值也会变成 "Hello"，这会彻底破坏语义一致性。常量池的内存节省和快速判等（==）能力，完全建立在“内容永不改变”的前提上。
立即学习“Java免费学习笔记（深入）”；
哈希值可缓存，让 String 成为理想的 Map 键
String 类内部有一个私有字段 private int hash，首次调用 hashCode() 时计算并缓存，后续直接返回。
这个优化只有在字符串内容绝对不变的前提下才安全。否则每次 get() 或 put() 都需重新计算哈希，HashMap 查找退化为 O(n)；更严重的是，键的哈希值变化会导致元素无法被定位，造成数据“丢失”——明明 put 进去了，却 get 不出来。
多线程场景下天然免同步
不可变对象没有状态变更，因此无需加锁、无需 volatile、无需原子包装。多个线程可自由共享同一 String 实例：
- 类加载器用 String 名称查找 class 文件
- 数据库连接 URL、文件路径、HTTP 请求头都以 String 传递
- 这些参数一旦传入，绝不允许被中途篡改
若 String 可变，攻击者或误操作可能通过反射或并发写入污染关键路径，引发类加载失败、越权访问或路径遍历漏洞。
实现层面的四重防护
不可变不是靠约定，而是由语言机制层层加固：
- final 类：禁止继承，杜绝子类覆盖行为
- private final 字段：value 数组（byte[] 或 char[]）对外不可见
- 无修改方法：replace、substring、toUpperCase 等全部返回新对象
- 防御性拷贝：构造函数中对传入数组做深拷贝，防止外部持有引用后篡改
这使得 String 从语义、API、JVM 到源码实现，形成一条完整的不可变链条。
