如何保证对象不可变

要保证对象不可变（Immutable），核心思想是：对象一旦创建，其状态（字段值）就不能被修改。下面从设计原则、语言特性、常见陷阱几个层面系统说明，并给出 Java / JavaScript / Python 的示例。

一、不可变对象的核心原则

✅ 1. 不提供修改状态的方法

• 不提供 setter
• 不提供任何能改变字段的方法

✅ 2. 类本身不能被继承（防止被子类破坏）

• Java：final class
• JS：避免被扩展
• Python：约定或 __slots__

✅ 3. 字段（属性）不可被修改

• 字段用 final / const / 私有 + 只读
• 不暴露可变引用

✅ 4. 如果字段是可变对象，必须防御性拷贝

• 返回副本，而不是原对象
• 构造时也要拷贝

二、Java 中如何保证对象不可变（最典型）

✅ 示例：不可变 Person 类

import java.util.Date;

public final class Person {

    private final String name;
    private final int age;
    private final Date birthDate;

    public Person(String name, int age, Date birthDate) {
        this.name = name;
        this.age = age;
        // 防御性拷贝
        this.birthDate = new Date(birthDate.getTime());
    }

    public String getName() {
        return name;
    }

    public int getAge() {
        return age;
    }

    public Date getBirthDate() {
        // 再次防御性拷贝
        return new Date(birthDate.getTime());
    }
}

✅ Java 不可变对象检查清单

三、JavaScript 中如何保证不可变

✅ 推荐方式：Object.freeze

const person = Object.freeze({
  name: "Tom",
  age: 18
});

// 无效（严格模式下报错）
person.age = 20;

⚠️ 注意：

• Object.freeze 是浅冻结
• 嵌套对象仍可修改

const obj = Object.freeze({
  data: { x: 1 }
});

obj.data.x = 2; // ❌ 仍然可改

✅ 深冻结函数

function deepFreeze(obj) {
  Object.values(obj).forEach(v => {
    if (typeof v === "object" && v !== null) deepFreeze(v);
  });
  return Object.freeze(obj);
}

四、Python 中如何保证不可变

✅ 使用 namedtuple（最简单）

from collections import namedtuple

Person = namedtuple("Person", ["name", "age"])
p = Person("Tom", 18)

# p.name = "Jerry" ❌ 报错

✅ 自定义不可变类（高级）

class Person:
    __slots__ = ("_name", "_age")

    def __init__(self, name, age):
        object.__setattr__(self, "_name", name)
        object.__setattr__(self, "_age", age)

    @property
    def name(self):
        return self._name

    @property
    def age(self):
        return self._age

    def __setattr__(self, key, value):
        raise AttributeError("immutable object")

五、常见破坏不可变性的陷阱

❌ 1. 返回可变内部对象

public Date getBirthDate() {
    return birthDate; // ❌
}

✅ 应返回拷贝

❌ 2. 构造器直接引用外部可变对象

this.list = list; // ❌

✅ 应拷贝

❌ 3. 反射修改 final 字段（极端情况）

• 不可变是设计约束，不是 JVM 强制
• 反射可破坏（但正常代码不应这样用）

六、不可变对象的好处

✅ 线程安全
✅ 易于缓存
✅ 易于推理和调试
✅ 适合作为 Map / Set 的 key

七、什么时候不该用不可变对象？

❌ 对象非常大且频繁修改
❌ 性能敏感且对象生命周期短

八、总结一句话

不可变对象 = 不可继承 + 无修改方法 + 字段只读 + 对可变对象防御性拷贝

如果你有具体语言或场景（如 DTO、并发、函数式编程、Kotlin、C#），我可以针对性深入讲解。