本文介绍在使用 attrs 库时，如何让子类继承父类字段的验证逻辑（如类型检查与业务规则），同时为该字段声明安全的默认值，避免绕过验证或重复定义。
本文介绍在使用 `attrs` 库时，如何让子类继承父类字段的验证逻辑（如类型检查与业务规则），同时为该字段声明安全的默认值，避免绕过验证或重复定义。
在 attrs 中，直接在子类中重定义带默认值的同名字段（如 num_wheels: int = 4）会导致父类 field() 的完整配置（包括 validator 和 converter）被完全覆盖——验证器将丢失，从而失去对 Car(num_wheels=-1) 或 Car(num_wheels="four") 等非法输入的防护能力。
✅ 正确做法是：复用父类已定义的字段，仅覆盖其默认值，同时保留所有元数据（尤其是 validator）。attrs 提供了 field(default=...) 与 field(factory=...) 两种方式，但需配合 attr.evolve() 或显式 __init__ 重写才能安全生效。不过最简洁、推荐且符合 attrs 设计哲学的方式是：使用 field(default=...) 并确保子类不重新声明字段类型注解，而是通过 attrs.field() 显式继承并覆盖默认值：
from attrs import define, field, validators
@define(kw_only=True)
class Vehicle:
num_wheels: int = field(
validator=[
validators.instance_of(int),
lambda inst, attr, value: _validate_positive(inst, attr, value)
]
)
def _validate_positive(inst, attr, value):
if value <= 0:
raise ValueError(f"{attr.name} must be greater than 0")
@define(kw_only=True) # 注意：子类也建议保持 kw_only=True 一致性
class Car(Vehicle):
# ✅ 正确：用 field(default=...) 复用父类字段定义，保留全部 validator
num_wheels: int = field(default=4, converter=int)
@define(kw_only=True)
class Motorbike(Vehicle):
num_wheels: int = field(default=2, converter=int)⚠️ 关键注意事项：
- 不要在子类中仅写 num_wheels: int = 4：这会创建一个全新字段，丢弃父类 field(..., validator=...) 的全部配置；
- 必须显式使用 field(default=...)：这是 attrs 唯一支持“继承+覆盖默认值”的机制；
- kw_only=True 建议在子类中显式声明：避免因父类参数顺序影响初始化行为；
- 若需动态默认值（如依赖其他属性），可改用 field(factory=lambda: ...)，但工厂函数内不可访问 self；
- 验证器始终在赋值时触发（构造时、evolve 时、手动赋值时），因此 Car()、Car(num_wheels=3) 均受保护，而 Car(num_wheels=-1) 会立即抛出 ValueError。
? 进阶提示：若 num_wheels 实质是类级别的常量（如所有 Car 固定为 4），更语义化的设计是将其改为 ClassVar[int] 并在 __attrs_post_init__ 中校验，但这会脱离字段级验证流程，适用于只读场景。而本文方案保持了字段的可变性与强验证统一，是生产环境推荐实践。
