Java字符串为何不可变

在 Java 中，字符串（String）被设计为不可变（immutable），这是由 JDK 设计者有意决定的，背后有多方面的原因。下面从定义、实现机制、优点、示例几个角度系统说明。

一、什么是“不可变”

不可变意味着：

一个 String 对象一旦被创建，它的值（字符序列）就不能被修改。

String s = "abc";
s = s + "d";

这里发生了什么？

• 并不是修改原来的 “abc”
• 而是创建了一个新的字符串 "abcd"
• 原来的 "abc" 仍然存在（如果没有被引用，就等待 GC）

二、String 为什么不可变（设计原因）

✅ 1. 字符串常量池（String Pool）

Java 为了节省内存，设计了 字符串常量池。

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

• a 和 b 指向同一个对象
• 如果 String 可变，修改 a 会影响 b，这是灾难性的

✅ 不可变保证了字符串共享的安全性

✅ 2. 线程安全（Thread Safety）

因为 String 不能被修改，所以：

• 多个线程同时访问同一个字符串对象
• 不需要加锁
• 不会产生并发问题

这是 String 在多线程环境中天然安全的重要原因。

✅ 3. 哈希码缓存（高效使用 HashMap）

String 经常被用作 HashMap 的 key。

@Override
public int hashCode() {
    if (hash == 0) {
        hash = computeHash();
    }
    return hash;
}

• String 的 hash 值在第一次计算后缓存
• 因为字符串不可变，再次调用 hashCode() 一定相同

✅ 提高 HashMap / HashSet 性能

✅ 4. 安全性（Security）

字符串广泛用于：

• 类名加载（Class.forName("java.lang.String")）
• 网络连接
• 文件路径
• 权限校验

如果 String 可变：

String filename = "/etc/passwd";
// 某个方法偷偷修改了 filename

可能引发严重安全问题。

✅ 不可变避免被篡改

✅ 5. 简化设计与实现

不可变对象：

• 状态简单
• 更容易推理
• 更容易被 JVM 优化

三、String 在源码层面是如何保证不可变的？

以 JDK 8 为例：

public final class String
    implements Serializable, Comparable<String>, CharSequence {

    private final char value[];

    private int hash; // 缓存哈希值
}

关键点：

⚠️ 注意：

• value 是 final 的引用
• 但数组本身是可变的
• String 通过 不暴露数组引用 来防止修改

四、为什么 String 修改会创建新对象？

String s = "a";
s = s + "b";

等价于（简化）：

new StringBuilder()
    .append("a")
    .append("b")
    .toString();

✅ 每次“修改”都会生成新对象
✅ 原对象不变

五、那为什么还需要 StringBuilder / StringBuffer？

因为频繁修改字符串时：

String s = "";
for (int i = 0; i < 10000; i++) {
    s += i; // 每次都创建新对象
}

性能极差 ❌

✅ 正确做法：

StringBuilder sb = new StringBuilder();
for (int i = 0; i < 10000; i++) {
    sb.append(i);
}
String result = sb.toString();

六、总结一句话

Java 中 String 不可变，是为了安全性、线程安全、字符串共享、哈希缓存和性能优化而设计的。

如果你愿意，我也可以：

• 对比 String vs StringBuilder vs StringBuffer
• 从 JVM / 内存角度深入讲
• 结合面试题讲“为什么 String 不可变是高频考点”