java string不可变性由final类、private final底层数组、所有方法返回新对象及构造器防御性拷贝四重机制协同保障,支撑常量池复用、线程安全、hashcode缓存及安全性等核心机制。

Java 中 String 的不可变性(Immutable)不是靠关键字或语法强制的,而是通过**类设计 + 成员变量封装 + 无修改方法 + 构造器控制**共同实现的。核心在于:一旦字符串对象创建完成,其内容在逻辑上就无法被外部改变。
1. 底层字符数组被 final 修饰且私有
String 内部用一个 private final char[] value(JDK 8 及之前)或 private final byte[] value(JDK 9+,配合 coder 字段支持紧凑字符串)来存储字符数据。
-
final保证引用不可重新赋值——即不能让value指向另一个数组; -
private封装阻止外部直接访问或修改该数组; - 没有提供任何 public 方法能修改这个数组的内容(比如没有
setCharAt()或setValue())。
2. 所有看似“修改”的方法都返回新对象
像 substring()、toUpperCase()、replace()、concat() 等方法,实际都不会改动原对象,而是:
- 基于原
value数组(或其部分)创建新的字符数组; - 用新数组构造一个新的
String实例; - 返回这个新对象,原字符串保持不变。
例如:String s = "abc"; String t = s.toUpperCase(); —— s 仍是 "abc",t 是新对象 "ABC"。
3. 构造器确保初始化后不再可变
String 的所有构造器(包括包内使用的)最终都会将传入的字符/字节数据**拷贝一份**到自己的 value 数组中(JDK 9+ 对 String(String) 等做了优化,但依然保证语义不可变)。
- 避免外部传入的数组被后续修改影响本对象(防御性拷贝);
- 即使调用
new String(charArray),String也不会共享你传入的数组,而是复制一份。
4. 类本身被 final,禁止继承篡改
public final class String —— 这防止子类覆盖方法、引入可变状态或破坏不可变契约。没人能通过继承绕过设计约束。
- 没有
protected可写字段; - 没有
setter方法; - 所有公开 API 都遵循“只读”语义。
注意:反射可以强行修改 value 字段(不推荐、不安全、破坏 JVM 假设),但这属于非法操作,不属于语言或设计层面的“可变”。标准使用下,String 的不可变性是可靠且被 JVM 和类库深度依赖的(如字符串常量池、哈希码缓存、线程安全等)。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











