Python如何逐步构造frozen dataclass冻结数据类实例

以下方案均保留frozen dataclass的不可变性、可哈希特性，无需在__post_init__中堆砌臃肿逻辑，也不用提前定义一堆零散临时变量。

方案1：构造期临时绕过frozen校验 #

frozen特性的本质是重写了实例的__setattr__、__delattr__方法抛出异常，构造阶段直接调用根类object的对应方法即可临时赋值，构造完成后实例仍然保持原生frozen的不可变行为，适合中等复杂度的构造逻辑：

from dataclasses import dataclass, field

@dataclass(frozen=True)
class Foo:
    bar: str = field(default=None)
    baz: str = field(default=None)

    @classmethod
    def build(cls) -> "Foo":
        # 创建空实例，不走默认__init__的固定赋值逻辑
        instance = object.__new__(cls)
        # 按业务逻辑分步赋值
        object.__setattr__(instance, "bar", "hello")
        if "h" in instance.bar and "some other complicated condition":
            object.__setattr__(instance, "baz", "world")
        return instance

# 调用构造方法得到最终不可变实例
f = Foo.build()
# 构造完成后修改属性会正常抛出FrozenInstanceError，和原生frozen行为完全一致
# f.bar = "test"  # 触发异常

所有构造逻辑可以按业务顺序写在build类方法中，支持自由拆分辅助函数，不会出现逻辑臃肿的问题。

方案2：可变Builder类中转 #

如果字段数量多、构造分支逻辑非常复杂，可以单独实现一个与frozen dataclass字段一一对应的可变Builder类，所有分步赋值、条件判断逻辑都在Builder实例上完成，最后一步生成不可变的目标实例，逻辑隔离性更好：

from dataclasses import dataclass, field

@dataclass(frozen=True)
class Foo:
    bar: str = field(default=None)
    baz: str = field(default=None)

# 非frozen的可变构造器，只在构造阶段使用
class FooBuilder:
    def __init__(self):
        self.bar = None
        self.baz = None
    
    def set_bar(self, val: str):
        self.bar = val
        # 可以直接编写依赖当前字段的后续赋值逻辑，不用集中到构造函数末尾
        if "h" in self.bar and "some other complicated condition":
            self.baz = "world"
        return self
    
    def build(self) -> Foo:
        # 所有逻辑执行完成后，生成最终不可变实例
        return Foo(bar=self.bar, baz=self.baz)

# 支持链式调用分步构造
f = FooBuilder().set_bar("hello").build()

该方案不会泄露未构造完成的frozen实例，适合构造流程长、分支多的重度业务场景。

方案3：用dataclasses.replace增量生成实例 #

如果不想额外封装类或特殊方法，可以用标准库提供的replace函数分步更新属性，每次更新返回新的实例，最终得到的就是符合要求的不可变对象，写法最贴近直觉上的分步赋值逻辑：

from dataclasses import dataclass, field, replace

@dataclass(frozen=True)
class Foo:
    bar: str = field(default=None)
    baz: str = field(default=None)

f = Foo()
f = replace(f, bar="hello")
if "h" in f.bar and "some other complicated condition":
    f = replace(f, baz="world")

注意每次调用replace都会生成新实例，必须将返回值重新赋值给变量，不能直接修改原实例。该方案无需额外封装，缺点是构造过程中会生成多个临时实例，字段量级很大时存在少量性能开销。

注意：object.__setattr__仅可在构造流程内部使用，禁止在业务逻辑中用它修改已构造完成的frozen实例，否则会破坏实例的不可变性与哈希一致性，导致作为字典键使用时出现逻辑错误。

内容的提问来源于stack exchange，提问作者David Callanan