Java中String不可变性由final类、private final字段和只返回新对象的行为三者协同保障：final类阻止继承篡改，private final字段锁住引用并配合防御性拷贝，所有方法均不修改原对象而是创建新实例。

Java 中 String 对象内部确实使用 char[]（JDK 8 及之前）或 byte[]（JDK 9+，配合 coder 字段）来存储字符数据，但这些数组字段本身**并不是用 final 修饰的**——真正被 final 保护的是 String 类的**引用字段本身**，而非数组内容。这是理解“不可变性”关键的一点。

String 的 final 字段只锁定引用，不锁定数组内容

String 类中，底层字符数组（如 value 字段）在 JDK 9+ 中定义为：

private final byte[] value;

这里的 final 指的是：一旦构造完成，value 引用不能再指向另一个数组对象；但它**不阻止对数组元素本身的修改**（比如 value[0] = 'x'）。不过，由于 String 类将 value 设为 private，且所有公共方法都不暴露或修改它，再加上类本身被设计为不可继承（final class String），才从封装层面保证了逻辑上的不可变。

为什么不对 char[] / byte[] 元素加 final？技术上不可能

Java 中 final 不能用于数组元素。你无法声明 final char[] 的每个元素都不可变——final char[] arr 只表示 arr 引用不可重赋值，数组内容仍可修改。这是语言限制，不是设计疏漏。

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

立即学习“Java免费学习笔记（深入）”；

• 数组本质是对象，其元素属于运行时状态，final 仅作用于变量（引用或基本类型值）
• 若真要让数组内容不可变，需用不可变包装（如 Arrays.asList(...).toArray() 不行，得靠复制、防御性拷贝或使用 ImmutableList 等工具类）

String 如何实际保证不可变性？靠封装 + final 类 + 构造后冻结

真正起作用的是组合策略：

• String 是 final 类 → 防止子类覆盖行为
• value 字段是 private final → 外部无法访问或替换数组
• 所有构造器在初始化后不再修改 value → 内部无 setter 或公开修改入口
• JVM 和类库约定：不通过反射等手段篡改（反射虽能改，但属破坏契约，不被支持）

如果你自己写类似不可变字符串，该怎么做？

想模仿 String 的安全不可变，关键是：

• 字段声明为 private final byte[] value
• 构造时对传入数组做**防御性拷贝**：this.value = Arrays.copyOf(original, original.length)
• 不提供任何修改数组内容的方法，也不返回数组引用（避免外部修改）
• 若需暴露内容，返回副本（return Arrays.copyOf(value, value.length)）或包装视图（如 ByteBuffer.wrap(value) 只读）