Pydantic冻结数据类能否实现含默认字段父类与非默认字段子类的继承？

问题根源 #

你遇到的TypeError是Python原生限制导致的：函数定义中非默认参数不能出现在默认参数之后。Pydantic自动生成__init__方法时，父类中标记为init=False的字段会被视为“带默认值”的参数（无需外部传入），子类新增的必填字段如果被排在这些参数后面，就会触发错误。同时，冻结数据类默认禁止直接赋值字段，这也给验证后的字段初始化带来了麻烦。

解决方案（Pydantic V2 推荐） #

通过以下几步可以解决问题，同时实现代码复用：

1. 用Field(init=False)明确标记无需初始化的字段：让Pydantic自动调整构造参数顺序，确保必填字段始终排在前面。
2. 使用model_validator(mode='after')初始化字段：在冻结类中，通过Pydantic提供的model_setattr()方法安全设置字段值，避免直接赋值触发FrozenInstanceError。
3. 父类复用验证逻辑：将通用验证/初始化逻辑放在父类的验证器中，子类自动继承，仅需编写子类特有的逻辑。

示例代码

from pydantic import Field, model_validator
from pydantic.dataclasses import dataclass

# 父类：包含必填字段x和自动初始化的y
@dataclass(frozen=True)
class A:
    x: int
    y: int = Field(init=False)  # 标记为无需外部传入

    @model_validator(mode='after')
    def initialize_y(self) -> 'A':
        # 冻结类中用model_setattr设置字段，避免直接赋值报错
        self.model_setattr('y', self.x * 2)
        return self

# 子类：继承父类，新增必填字段name和自动初始化的z
@dataclass(frozen=True)
class B(A):
    name: str  # 必填字段，会被自动放在构造参数的前面
    z: int = Field(init=False)

    @model_validator(mode='after')
    def initialize_z(self) -> 'B':
        # 复用父类已初始化的y，完成z的计算
        self.model_setattr('z', self.y + len(self.name))
        return self

# 测试
b = B(x=5, name="test")
print(b.x)   # 输出：5
print(b.y)   # 输出：10
print(b.name)# 输出：test
print(b.z)   # 输出：14

解决方案（Pydantic V1） #

如果仍在使用Pydantic V1，可以通过@validator结合always=True来实现：

from pydantic import Field, validator
from pydantic.dataclasses import dataclass

@dataclass(frozen=True)
class A:
    x: int
    y: int = Field(init=False)

    @validator('y', pre=True, always=True)
    def set_y(cls, v, values):
        # 利用values字典获取已解析的x字段值
        return values['x'] * 2

@dataclass(frozen=True)
class B(A):
    name: str
    z: int = Field(init=False)

    @validator('z', pre=True, always=True)
    def set_z(cls, v, values):
        return values['y'] + len(values['name'])

# 测试
b = B(x=5, name="test")
print(b.z)  # 输出：14

关键注意事项 #

• 所有无需外部传入的字段必须明确标记Field(init=False)，确保Pydantic正确调整构造参数顺序。
• 冻结数据类的序列化不受任何影响，Pydantic会自动包含所有字段（包括init=False的字段）进行序列化。
• 父类中的共享方法可以直接被子类继承，无需重复编写，完全满足代码复用需求。

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