Python dataclasses.replace 如何更新 frozen 对象

如果一个对象用 @dataclass(frozen=True) 声明，直接写 config.timeout = 5 会触发 FrozenInstanceError。正确思路不是绕过 frozen，而是用 dataclasses.replace(config, timeout=5) 按原类型创建新对象：原实例保持不变，只把指定字段换成新值。

先分清 frozen 的只读约束与新对象创建

frozen=True 模拟的是实例字段只读：生成的 __setattr__() 和 __delattr__() 会拒绝普通修改。它并没有禁止重新调用类构造器，也没有承诺嵌套的 list、dict 自动变成不可变对象。

因此，配置快照、请求参数或领域状态需要“改一项”时，应让变量指向新对象。不要用 object.__setattr__() 偷改原实例，那会破坏调用方依赖的快照语义。

用 dataclasses.replace 复制并覆盖目标字段

最小写法是把原对象作为第一个参数，把要更新的字段作为关键字参数。replace() 返回同一 dataclass 类型的新实例，原对象和新对象的身份不同。

from dataclasses import dataclass, replace

@dataclass(frozen=True)
class ServiceConfig:
    # 这些字段参与生成 __init__，可由 replace 覆盖
    host: str
    timeout: int = 3
    retries: int = 2

original = ServiceConfig("api.internal")
updated = replace(original, timeout=8)

# 原对象仍是 3；updated 只有 timeout 变成 8
assert original.timeout == 3
assert updated.timeout == 8
assert original is not updated

这里没有深拷贝所有字段，也没有执行“修改原对象”的动作；它只是收集字段值，再以覆盖后的参数重新构造。未传入的字段会继续使用原实例中的值，所以很适合表达不可变状态的版本切换。

检查 replace 会重新调用 __init__ 和 __post_init__

新实例由 dataclass 的 __init__() 创建，如果类定义了 __post_init__()，它也会再次执行。这意味着计算字段、规范化逻辑或校验逻辑不是“复制一次就结束”，而是会随着新对象重新走构造边界。

from dataclasses import dataclass, field, replace

@dataclass(frozen=True)
class UserLabel:
    # display_name 由 name 计算，不接受 replace 直接传入
    name: str
    display_name: str = field(init=False)

    def __post_init__(self):
        # frozen 实例初始化派生字段时，要通过 object.__setattr__
        object.__setattr__(self, "display_name", self.name.strip().title())

first = UserLabel("alice")
second = replace(first, name="bob")
assert first.display_name == "Alice"
assert second.display_name == "Bob"

如果存在没有默认值的 InitVar，调用 replace() 时也要再次提供它，因为它只参与初始化和 __post_init__()，并不是实例字段。例如 replace(item, source="cache") 里的 source 就必须满足构造器的要求。

避开 init=False 和嵌套可变值的复制误区

以下边界最容易让“不可变对象”产生错觉：

例如 frozen dataclass 中有 tags: list[str] 时，replace(record, name="new") 通常只换外层对象，record.tags 与新对象里的 tags 可能仍指向同一个 list。若状态必须真正隔离，先构造新的 list，或把字段设计成 tuple；不要把 frozen=True 当作递归冻结。

用身份、字段和异常清单验证更新结果

不需要运行复杂测试，围绕一次替换至少核对四件事：原对象的字段没有变化；新对象与原对象不是同一身份；派生字段符合新输入；错误字段名和 init=False 的调用会被预期异常拦住。

官方定义可直接查阅 https://docs.python.org/3/library/dataclasses.html。实际项目中，如果 __post_init__() 有外部副作用，建议让它只做确定性的字段计算；如果更新操作需要深拷贝或复杂校验，则提供一个领域方法，比在调用处层层拼接 replace() 更清楚。

常见问题

dataclasses.replace 会修改原来的 frozen 对象吗？

不会。它创建同类型新实例，原对象仍可安全作为旧版本快照使用。

为什么 replace 不能直接改 init=False 字段？

该字段不属于生成的初始化参数，replace 会拒绝把它放进 changes；通常应让 __post_init__() 根据可初始化字段重新计算。

frozen=True 能阻止 list.append() 吗？

不能。frozen 主要阻止给字段重新绑定，字段内部的可变 list 仍可能被修改；需要递归不可变时应调整数据结构或显式复制。