java String 为何不可变

在 Java 中，String 被设计为不可变（immutable），主要原因可以从设计实现和设计目的两个层面来理解。

一、从实现上看：为什么 String 不可变

1. String 类被 final 修饰

public final class String

• 不能被继承
• 防止子类修改其行为

2. 内部字符存储是私有的、不可修改的

在 JDK 8 及之前：

private final char value[];

在 JDK 9 及之后：

private final byte[] value[];

• value 是 private 的
• 没有暴露任何修改内部数组的方法
• 数组本身是 final（引用不可变）

3. 所有“修改”操作都返回新对象

例如：

String s = "abc";
s = s.concat("def");

• concat、substring、replace 等都不会修改原字符串
• 而是创建新的 String 对象

二、从设计目的上看：为什么要不可变

1. 字符串常量池（String Pool）需要不可变

String a = "abc";
String b = "abc";

• a 和 b 指向同一个对象
• 如果 String 可变，修改 a 会影响 b

✅ 不可变才能保证安全共享

2. 线程安全

• 不可变对象天生线程安全
• 多个线程同时读取 String 不需要同步

3. 作为 HashMap / HashSet 的 key 更安全

Map<String, Object> map = new HashMap<>();
map.put("key", value);

• 如果 String 可变，key 改变会导致：
  • 找不到原值
  • hash 不一致

✅ 不可变保证 hash 稳定

4. 安全性（网络、文件、权限）

例如：

String filePath = "/home/user/file.txt";

• 如果 String 可变，可能在权限校验后被偷偷修改
• 引发安全问题

5. 性能优化（缓存 hash）

private int hash; // 默认 0

• String 会缓存 hashCode
• 因为内容不会变，所以可以放心缓存

三、常见误解澄清

❌ “final 修饰就是不可变”

final char[] arr = {'a','b'};
arr[0] = 'c'; // 合法

• final 只保证引用不变
• 真正不可变靠的是不提供修改接口

❌ 反射可以改 String？

理论上可以通过反射改 value 数组，但：

• 破坏 JVM 约束
• 可能导致严重问题
• 不推荐、不规范

总结一句话

Java 的 String 不可变，是为了安全、性能、线程安全和字符串池共享，而通过 final 类 + 私有不可变数组 + 无修改方法共同实现的。

如果你愿意，我也可以讲：

• StringBuilder / StringBuffer 为什么可变
• substring 在 JDK 6 和 JDK 8 的内存区别
• 为什么 JDK 9 把 char[] 改成 byte[]