Python dataclass frozen=True 里怎么保存可变缓存

可以保存，但要先把“冻结”理解准确：frozen=True 主要禁止重新给 dataclass 字段绑定新对象，并不自动把字段指向的字典变成不可变对象。因此，最小可用写法是让缓存字段使用 field(default_factory=dict, init=False, repr=False, compare=False, hash=False)，在方法内部修改字典内容，而不是给这个字段重新赋值。

先分清 frozen=True 冻结的是字段绑定，不是容器内容

Python 官方文档把 frozen dataclass 描述为“模拟不可变”：它会生成限制 __setattr__() 和 __delattr__() 的方法，直接执行 obj.name = ... 会抛出 FrozenInstanceError。但如果 name 指向一个字典，obj.name["key"] = value 修改的是字典内容，不是字段绑定，所以仍然可行。

这个边界正好适合“身份稳定、缓存可变”的对象。业务字段例如 user_id 决定对象代表谁，内部缓存则只记录已经计算过的结果。图中的外层是冻结对象边界，内层是可写缓存容器；两者不要混成一层。

用 field(default_factory=dict) 保存每个实例自己的缓存

不要把普通的 {} 直接写成字段默认值，也不要把一个模块级字典塞给所有实例。default_factory 是零参数工厂，每次创建实例时都会生成一份新字典；init=False 则表示它不是调用者需要传入的构造参数。

from dataclasses import dataclass, field
from collections.abc import Callable

@dataclass(frozen=True)
class UserProfile:
    user_id: str
    # 每个实例单独创建缓存，不让调用者从构造函数注入内部状态。
    _cache: dict[str, str] = field(
        default_factory=dict,
        init=False,
        repr=False,
        compare=False,
        hash=False,
    )

    def display_name(self, loader: Callable[[str], str]) -> str:
        # 只修改字典内容，不重新绑定 self._cache。
        cached = self._cache.get("display_name")
        if cached is None:
            cached = loader(self.user_id)
            self._cache["display_name"] = cached
        return cached

这段设计把缓存当作对象内部的实现细节：user_id 出现在构造函数和比较语义里，_cache 不出现在调用者的初始化接口中。两个 UserProfile 实例即使拥有相同的 user_id，也会有两份独立字典。

缓存不参与构造、比较和哈希时怎么设计

缓存命中后，业务结果没有改变；如果缓存状态进入 repr 或 __eq__，同一个业务对象就可能因为“是否预热过”而表现不同。repr=False 让日志更稳定，compare=False 让相等性只看业务字段，hash=False 则明确把可变缓存排除出生成的哈希。

如果缓存确实是对象逻辑身份的一部分，就不要机械地关闭比较；但这时它不再是普通的性能缓存，而是需要明确生命周期、失效和一致性规则的业务状态。

什么时候应该换成不可变缓存或外部缓存

如果对象需要真正不可变，单靠 frozen=True 不够：可以在完成复制后使用不可变映射，或者干脆把缓存放到 functools.lru_cache、进程级缓存或外部缓存服务中。后者更适合多个实例共享结果，但必须单独处理并发、过期和键空间。

还有一个容易忽略的边界：若用 field(init=False) 保存派生状态，dataclasses.replace() 不会从旧对象复制这个字段，而是按新的初始化流程重新建立它。需要复制缓存时，应该写明确的复制策略，而不是假定 replace() 会保留预热内容。

常见问题

为什么 frozen dataclass 还能修改字典？

冻结限制的是字段重新绑定，不是递归冻结字段指向的对象。字典仍是可变对象，所以可以改键值；如果不接受这种行为，就要换成不可变容器或外部缓存。

为什么不能直接写 _cache: dict = {}？

可变默认值会让多个实例共享同一份状态，dataclass 通常也会拒绝这种定义。用 default_factory=dict 才能在实例创建时分别生成容器。

缓存应该设置 compare=False 吗？

如果缓存只是加速手段，应该设置；如果缓存值本身决定业务对象是否相等，就应保留比较并为失效规则负责。多数读取缓存属于前一种。

判断这类设计只需记住一条：冻结稳定的业务字段，单独管理可变的性能状态，并让构造、比较和哈希语义与缓存定位保持一致。