java string不可变性的根本原因在于private封装而非仅final修饰：private使外部无法访问value数组，final仅保证引用不可重定向，所有操作均返回新对象，jdk9改用byte[]仅为内存优化，封装逻辑不变。

Java 中 String 的不可变性，不能简单理解为“用了 final 就不能改”，真正起决定作用的是底层 char[]（JDK 8 及以前）或 byte[]（JDK 9+）数组的私有化封装。

private 是比 final 更关键的一环

String 类中声明的是：
private final char[] value;
这里 private 比 final 更重要——它让外部代码连这个数组的“影子”都碰不到。

• 没有 getter 方法暴露该数组引用
• 没有 setter 或任何修改数组内容的 public 方法
• 即使通过反射强行访问，也属于破坏封装的非常规操作，不被语言契约保障

所有构造方法都做深拷贝，切断外部影响

当你用 new String(char[]) 或 new String(StringBuilder) 创建对象时，String 内部不会直接引用你传入的数组，而是：

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

• 新建一个自己的 char[] 或 byte[] 数组
• 把原始数据逐字拷贝进去
• 确保外部数组后续被修改，完全不影响已创建的 String 对象

所有“修改”操作都返回新对象，原对象纹丝不动

像 substring()、toUpperCase()、replace() 这些方法，看似在“改”字符串，其实：

• 内部新建一个 char[]/byte[] 数组
• 把处理后的字符写进去
• 用这个新数组构造并返回一个新的 String 实例
• 原来的 String 对象及其 value 数组内容始终未被触碰

为什么 JDK 9 改用 byte[] 也不影响不可变性？

改用 private final byte[] value 并不是为了“可变”，而是为了内存压缩（Compact Strings）。它的封装逻辑完全一致：

• 仍是 private —— 外部无法访问
• 仍是 final —— 引用不可重定向
• 仍无任何 public 方法能修改其内容
• 所有“变更”操作依然返回新 String

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南