怎样理解不可变对象

“不可变对象”（immutable object）是编程和计算机科学里一个很基础、也很容易混淆的概念。可以从定义、特征、为什么存在、怎么用、常见误区几个层面来理解。

一、什么是不可变对象

不可变对象：一旦创建完成，它的状态（内部数据）就不能再被修改。

换句话说：

• 创建时可以设定初始值
• 创建后，任何“看起来像修改”的操作，实际上都是生成了一个新的对象

典型例子：

• Java 中的 String
• Python 中的 int、str、tuple
• 函数式语言中的大多数数据结构

String s = "abc";
s = s + "d";  // 不是修改原字符串，而是生成了新的 "abcd"

二、不可变 ≠ 不能重新赋值

这是一个常见误区。

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

这里：

• s 是变量（引用）
• "a" 和 "b" 是两个不可变对象

变量 s 只是从指向 "a" 改成指向 "b"，对象本身没变。

✅ 不可变说的是对象内容不可变
❌ 不是变量不能换指向

三、不可变对象的核心特征

1. 创建后状态固定
2. 没有对外可修改状态的接口
3. 任何“修改”都返回新对象
4. 通常是线程安全的

例如 Python：

t1 = (1, 2, 3)
t2 = t1 + (4,)
# t1 仍然是 (1, 2, 3)
# t2 是新的元组

四、为什么需要不可变对象

1. 线程安全

多个线程同时读同一个不可变对象，不需要加锁。

2. 可预测、易调试

状态不会“偷偷变”，程序行为更清晰。

3. 可作为字典 / 集合的键

如 Python 的 dict 键必须是不可变对象。

4. 支持缓存和共享

相同对象可以安全复用（如字符串池）。

五、不可变对象的“代价”

不可变不是银弹：

• 频繁修改时性能差
  • 每次修改都生成新对象
• 内存占用可能更高
• 不适合高频写场景

例如：

StringBuilder sb = new StringBuilder();

Java 用 StringBuilder 来“绕开” String 的不可变代价。

六、如何设计一个不可变类（以 Java 为例）

要点：

1. 类用 final
2. 字段用 private final
3. 不提供 setter
4. 不返回可变内部对象
5. 构造时完成初始化

public final class Point {
    private final int x;
    private final int y;

    public Point(int x, int y) {
        this.x = x;
        this.y = y;
    }

    public int getX() { return x; }
    public int getY() { return y; }
}

七、一句话总结

不可变对象不是“不能换变量”，而是“对象本身一旦存在，就不能被改变”。

如果你愿意，我也可以：

• 用 Python / Java / JS 对比讲
• 讲 可变 vs 不可变在并发中的差异
• 用 生活比喻（如刻在石头上 vs 写在纸上）

你可以告诉我你更想从哪个角度理解。