Java中String不可变性由final private字段和JVM约束共同保障：value（byte[]）、coder（byte）均不可变，hash仅缓存；所有“修改”操作返回新实例；常量池复用、线程安全、内存优化（LATIN1/UTF16自适应）均源于此。
Java 中 String 的不可变性，本质是由其内存存储结构和字段修饰共同决定的——不是靠“约定”，而是靠 JVM 层面的强制约束。
底层字段被 final + private 严格保护
从 JDK 9 开始，String 的核心数据字段是：
- private final byte[] value：真正存字符数据的字节数组，final 保证引用不可重指向，private 阻止外部访问或修改数组元素；
- private final byte coder：标识编码方式（LATIN1 或 UTF16），同样不可更改；
- private int hash：哈希值缓存，只在首次调用 hashCode() 时计算并赋值，后续复用，不参与字符串内容表达，但依赖内容不变才有效。
这三个字段加在一起，让 String 对象一旦创建，其内容序列、长度、编码方式、哈希结果全部锁定。
对象创建位置影响引用关系，但不破坏不可变性
字符串字面量（如 "abc"）直接进入字符串常量池（JDK 7+ 在堆中），而 new String("abc") 会在堆中新建对象。但无论在哪创建：
Java 接口排错助手
下载
在调试 Java 后端 API 故障时使用此技能，尤其适用于以下任务：分析日志、跨 Controller、Service 和 Mapper 层追踪请求、定位异常根因、检查 SQL 执行或参数流转，以及生成简洁的诊断结论与修复方案。
立即学习“Java免费学习笔记（深入）”；
- 新对象内部的 value 数组仍为 final，无法被修改；
- 所有看似“修改”的方法（如 substring、replace、concat）都返回全新 String 实例，原对象毫发无损；
- 变量名（如 String s = "abc"）只是栈中一个地址引用，重新赋值（s = "def"）只是让这个引用指向另一个地址，不影响原对象。
不可变性带来的内存行为特征
这种设计直接反映在运行时表现上：
- 常量池复用：String a = "hello"; String b = "hello"; → a == b 为 true，因为共用同一份 value 数据；
- 拼接不改变原对象：String s = "a"; s.concat("b"); 后 s 仍是 "a"，未发生任何内部变更；
- 线程间安全共享：public static final String CONFIG = "timeout=30"; 可被任意线程读取，无需同步，因为没人能改它。
为什么不用 char[] 而改用 byte[]？
这不是为了“可变”，恰恰是为了更精细地支撑不可变性下的内存效率：
- JDK 8 以前用 char[]，每个字符固定占 2 字节，英文字符严重浪费空间；
- JDK 9 引入 byte[] + coder，自动按内容选择 LATIN1（1 字节/字符）或 UTF16（2 字节/字符），相同语义的字符串在内存中更紧凑；
- 用户完全无感：length() 仍返回字符数，charAt(i) 行为不变，但底层节省的内存真实存在。
