java string不可变性由final类、private final字段和无修改方法三者协同实现：final类防继承破坏，private final字段封住数组引用，所有方法均返回新对象而非修改原实例。
Java 中 String 的不可变性，不是靠 final 类 单独实现的，而是 final 类 + private final 字段 + 方法行为契约 三者协同的结果。final 在其中起的是“封口”和“加固”作用，不是锁住内容，而是堵住所有可能被绕过的路径。
final 类：防止子类破坏不可变语义
String 被声明为 public final class String，意味着它不能被继承。这很关键——如果允许继承，子类就可能：
- 重写
concat()或substring()，直接修改内部数组而不返回新对象 - 添加可变字段（比如暴露一个
StringBuilder），伪装成 String 却实际可变 - 重写
hashCode()，导致 HashMap 缓存失效或字符串池引用错乱
JVM 和类库依赖 String 的不可变性做优化（如常量池复用、哈希缓存），一旦子类破坏该契约，整个信任链就崩了。
private final 字段：锁住核心数据的访问入口
String 内部存储字符的字段（JDK8 是 private final char[] value，JDK9+ 是 private final byte[] value）同时满足两个条件：
- private：外部代码无法直接读写这个数组，连反射都需要权限检查
-
final：该字段初始化后不能指向另一个数组，但更重要的是，它配合构造时的防御性拷贝（如
Arrays.copyOf），确保你拿不到原始底层数组的引用
注意：final 本身不阻止数组元素被改（比如 value[0] = 'x'），真正起作用的是 private 封装 + 构造防护 + 所有方法都不操作原数组。
方法行为：所有“修改”都返回新对象
String 的每个看似改变内容的方法，本质都是新建实例：
-
s.concat("x")、s.replace('a', 'b')、s.toUpperCase()都返回新 String，原对象不变 -
s += "x"是编译器优化为new StringBuilder().append(s).append("x").toString()，结果仍是新对象 - 即使通过反射强行修改
value数组，也属于未定义行为，会破坏常量池一致性，JVM 不保证结果
这种“只造不修”的约定，配合 final 和 private，构成了不可变性的最后一道防线。
常见误解澄清
很多人误以为 “String 不可变是因为类被 final 修饰”，其实：
-
final String s = "a"; s = "b";编译报错，这只是变量引用不可重赋值，和 String 对象内容无关 -
final int[] arr = {1,2,3}; arr[0] = 9;完全合法——final 不冻结对象状态，只冻结引用指向 - String 的不可变性是语义保证，不是内存保护；JVM 不阻止你篡改，只是不承诺后果
final 是信任链的起点，不是万能锁。它和 private、构造防护、方法设计一起，才让“不可变”成为可依赖的编程事实。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
