Java 字符串为什么不可变

学习目标

理解 Java 中字符串不可变性的核心含义
掌握不可变性在内存管理、线程安全和哈希结构中的关键作用
能通过代码示例分析字符串引用与内容的变化
认识不可变设计对 JVM 性能优化的深远影响

什么是字符串不可变性

在 Java 中，String 对象一旦创建，其内容就无法被修改。任何看似“修改”字符串的操作（如 concat()、replace()、substring() 等），实际上都会返回一个全新的 String 对象，而原始对象保持不变。

示例：不可变性演示

public class CoderHub {
    public static void main(String[] args) {
        String s1 = "Hello";
        String s2 = "Hello";

        // s1 和 s2 指向常量池中同一个对象
        System.out.println("s1 == s2: " + (s1 == s2)); // true

        // 拼接操作创建新对象
        s1 = s1.concat(" World");

        System.out.println("s1: " + s1);      // Hello World
        System.out.println("s2: " + s2);      // Hello
        System.out.println("s1 == s2: " + (s1 == s2)); // false

        // 使用 new 创建的字符串位于堆中
        String s3 = new String("Hello");
        System.out.println("s2 == s3: " + (s2 == s3));       // false（引用不同）
        System.out.println("s2.equals(s3): " + s2.equals(s3)); // true（内容相同）
    }
}

输出结果：

s1 == s2: true
s1: Hello World
s2: Hello
s1 == s2: false
s2 == s3: false
s2.equals(s3): true

✅ 关键点：
== 比较的是引用地址（是否指向同一对象）
.equals() 比较的是内容值

为什么要将字符串设计为不可变

内存效率

字符串常量池的基础

JVM 维护一个字符串常量池，用于存储字面量字符串。
因为字符串不可变，多个变量可以安全地共享同一个对象，避免重复创建。

String a = "Code";
String b = "Code"; // 复用常量池中的 "Code"
// 节省内存，提升性能

若字符串可变，一个变量修改内容会导致其他引用“意外改变”，破坏共享机制。

线程安全

天然的并发保障

不可变对象状态不会改变，因此在多线程环境中无需加锁或同步。
多个线程可以同时读取同一个字符串对象，绝不会出现数据竞争或不一致。

// 在高并发系统中安全使用
public void logUserAction(String userId) {
    // userId 是不可变的，可放心传递、缓存、共享
    logger.info("User: " + userId);
}

哈希码一致性

作为 Map 键的理想选择

String 重写了 hashCode() 方法，且哈希值在对象创建时计算并缓存。
因为内容不可变，哈希码永远不会改变，确保在 HashMap、HashSet 等集合中行为可靠。

Map<String, Integer> userScores = new HashMap<>();
userScores.put("Alice", 95);
// 即使后续代码很多，"Alice" 的 hashCode 不变，能正确查到值
System.out.println(userScores.get("Alice")); // 95

如果字符串可变，修改键的内容会导致哈希码变化，从而无法定位原存储位置，造成数据丢失！

安全性

防止敏感信息被篡改

类加载器（ClassLoader）使用字符串指定类名。
若字符串可变，恶意代码可能篡改类路径，加载危险类（如 java.lang.System 被替换）。
不可变性保障了系统核心组件的安全边界。

JVM 优化

支持字符串驻留等高级特性

JVM 可对不可变字符串进行深度优化，如：
- 自动驻留（自动放入常量池）
- 编译期常量折叠
- 更高效的垃圾回收（因对象生命周期明确）

不可变性的代价与应对

虽然不可变带来诸多好处，但也存在频繁拼接导致内存浪费的问题：

// ❌ 低效：每次 + 都创建新对象
String result = "";
for (int i = 0; i < 1000; i++) {
    result += "item" + i; // 创建 1000+ 临时对象！
}

✅ 解决方案：使用可变字符串类

// ✅ 高效：单个对象完成所有拼接
StringBuilder sb = new StringBuilder();
for (int i = 0; i < 1000; i++) {
    sb.append("item").append(i);
}
String result = sb.toString();

💡 最佳实践：
少量、静态字符串 → 用 String
动态构建、频繁修改 → 用 StringBuilder（单线程）或 StringBuffer（多线程）

重点总结

优势	说明
内存优化	支持字符串常量池，减少重复对象
线程安全	无需同步，天然适用于并发环境
哈希稳定	作为 `HashMap` 键时行为可靠
安全性高	防止关键字符串被恶意篡改
JVM 友好	支持编译优化、驻留、高效 GC

不可变 ≠ 不能用，而是“一旦确定，永不更改”——这是 Java 设计哲学中对可靠性与安全性的优先考量。

思考题

如果 Java 字符串是可变的，HashMap<String, Object> 会出现什么严重问题？请结合哈希表原理说明。

以下代码共创建了多少个字符串对象？哪些在常量池，哪些在堆？

String a = "Tech";
String b = new String("Tech");
String c = b.intern();
String d = "Tech";

在实际开发中，如何平衡字符串不可变性带来的安全性与拼接性能问题？请给出具体编码建议。