Java中String不可变性由final类、private final字段和无修改API三重机制共同保障：类不可继承、引用不可重定向、所有操作返回新对象，从而支撑常量池复用、线程安全与hashCode缓存。
Java中String的不可变性，并不只是靠一个final关键字“贴个标签”就完事。它的核心在于**双重锁定**：类本身不可继承，内部字符数组引用不可重指向，且该数组一旦创建，其内容也不被任何公开API修改。
final修饰的char[]数组：锁住引用，但不锁住元素？
String类内部用private final char value[]存储字符。这里的final作用对象是“数组引用”，意思是：这个字段初始化后，不能再让它指向另一个新的char数组。但它**不阻止对value数组里单个元素的修改**——不过，String类根本没提供任何能改它的public方法，连反射都被JVM在运行时做了额外限制（尤其在Java 9+模块系统下）。
也就是说：不可变性不是靠数组元素本身被final保护，而是靠封装 + final引用 + 无修改接口共同实现的。
- 构造时把字符拷贝进新数组（避免外部传入可变数组影响自身）
- 所有看似“修改”的方法（如
substring、toUpperCase、concat）都返回新String对象，原对象毫发无损 - 没有
setCharAt()或setValue()这类破坏性方法
为什么不用final修饰每个char？
Java中char是基本类型，不能加final修饰符；而数组本身是引用类型，final char[]只能保证引用不变。真正让字符内容“稳住”的，是String的构造逻辑和对外封闭的设计哲学——它把数组当作私有实现细节，从不暴露可写入口。
立即学习“Java免费学习笔记（深入）”；
举个对比：final List<string> list = new ArrayList();</string>允许list.add("x")，因为final只锁引用；但String类连这样的“add”都没有。
final类 + final字段 + 无setter = 不可变铁三角
String的不可变性是系统性设计：
-
public final class String：防止子类绕过封装，偷偷改行为 -
private final char[] value：切断外部替换底层存储的可能 - 所有构造器都做防御性拷贝，所有“变换”方法都返回新实例
这三者缺一不可。哪怕去掉final class，只要有人继承String并暴露修改方法，整个不可变契约就崩了。
不可变带来的实际好处
这些机制不是为炫技，而是支撑关键能力：
- 线程安全：多个线程读同一个String，完全不用同步
- 字符串常量池高效复用：因为内容确定不变，JVM才能放心地让不同变量指向同一份底层数据
-
哈希值可缓存：
hashCode()算一次就能长期复用，提升HashMap等集合性能 - 安全性：作为类加载器、URL、密码等敏感场景的参数，不怕中途被篡改
