String不可变性在正常逻辑下严格保障，但反射可绕过访问控制修改其内部value数组，破坏常量池、hashCode缓存及线程安全，属非法操作，生产环境严禁。
Java 中 String 的不可变性在**正常编程逻辑下是严格保障的**，但确实存在一种非常规手段——反射——可以绕过访问控制，直接修改其内部字符数组。这不是设计漏洞，而是 Java 语言机制允许的“元操作”，但会破坏语义契约，仅用于教学、调试或极端场景，**生产环境严禁使用**。
为什么反射能“打破”不可变性？
String 的不可变性依赖三层防护：final 类、private final 字段、无修改方法。而反射能穿透前两层：
-
private 只限制编译期访问，
setAccessible(true)可临时解除 JVM 运行时访问检查 -
final 字段 在反射中也可被强制修改（JDK 9+ 对
String.value做了额外限制，需配合Unsafe或更底层手段） - String 内部的
value数组（JDK8 是char[]，JDK9+ 是byte[]）本身不是不可变数据结构，只是被封装保护起来了
一个 JDK 8 下的典型反射修改示例
以下代码仅适用于 JDK 8（char[] value 且未启用紧凑字符串）：
String s = "Hello";
System.out.println(s); // Hello
Field valueField = String.class.getDeclaredField("value");
valueField.setAccessible(true);
char[] value = (char[]) valueField.get(s);
value[0] = 'h'; // 直接改第一个字符
System.out.println(s); // hello（输出已变！）
⚠️ 注意：该操作后，s 的哈希码（hash 字段）不会自动更新，后续调用 s.hashCode() 可能返回旧值（因 hash 被缓存且非 volatile）；同时，若该字符串已被 intern()，常量池中的引用内容也同步“被污染”。
立即学习“Java免费学习笔记（深入）”；
JDK 9+ 的加固与绕过难度提升
从 JDK 9 开始，String 改用 byte[] value + coder 字段（标识 LATIN1 或 UTF16），并做了多项强化：
-
value字段被标记为@jdk.internal.vm.annotation.Stable，部分 JVM 会拒绝反射写入 -
java.lang.reflect.Field.set()对value的写入可能抛出IllegalAccessException或静默失败 - 需额外读取
coder字段判断编码方式，再按字节逻辑修改（如 LATIN1 下 1 字符 = 1 字节，UTF16 下 = 2 字节） - 主流 JDK（如 OpenJDK）已默认开启模块系统限制，需启动参数
--add-opens java.base/java.lang=ALL-UNNAMED才能反射访问
这说明了什么？
反射破坏 String 不可变性，恰恰反向印证了其设计的严谨性：
- 它不是靠“语法锁死”，而是靠封装 + 约定 + JVM 配合构建的信任链
- 一旦脱离标准 API，所有安全假设都失效——线程安全、常量池一致性、哈希缓存、JIT 优化都可能出错
- 真正可靠的不可变性，不依赖“不能改”，而依赖“没人会去改”和“改了也没人认”
