String不可变性由final类、private final字段和只返回新对象的行为共同保障，支撑常量池复用、线程安全、hashCode缓存及安全性等核心机制。
String 类的不可变性不是语法糖，而是由三重机制共同保障的设计结果：类声明、字段修饰、行为约束缺一不可。
final 类 + private final 字段是基础防线
String 类被 final 修饰，无法被继承，杜绝了子类通过重写方法破坏不可变性的可能。内部核心字段 value（JDK9+ 是 private final byte[]，JDK8 是 private final char[]）同时满足两个条件：
- private：外部代码无法直接访问或修改数组内容
- final：该字段引用一旦初始化，就不能再指向另一个数组
构造方法中还做了防御性拷贝（如 Arrays.copyOf），确保传入的数组不会被外部持有并篡改，进一步封堵漏洞。
所有“修改”操作都返回新对象
String 提供的 substring、replace、toUpperCase、concat 等方法，从不改变原对象，而是创建并返回一个全新的 String 实例。例如：
-
s.substring(0, 3)内部新建byte[]并封装成新 String -
s.replace('a', 'b')遍历原数组生成新字节数组，再构造新对象 - 连字符串拼接
s + "x"也等价于new StringBuilder().append(s).append("x").toString()，产出新实例
不可变性支撑关键机制运行
这个设计不是为了“看起来高级”，而是服务于 JVM 的底层需求：
- 字符串常量池安全复用：多个变量可放心共享同一对象，因为没人能偷偷改它
- 线程安全免同步：多线程读取同一个 String（如配置项、SQL 模板）完全无需加锁
- hashCode 可缓存：hash 值计算一次后长期有效，让 String 作为 HashMap key 高效稳定
- 安全性底线保障：数据库连接串、文件路径、类名等敏感字符串不会被中间方法意外或恶意篡改
注意：不可变 ≠ 绝对不可修改
通过反射可以绕过访问控制，强行修改 value 字段——但这属于破坏 JVM 合约的非常规操作，不在 Java 正常语义范围内。日常开发和面试中讨论的“不可变”，指的就是在标准 API 和正常使用场景下，String 对象的状态无法被改变。
