本文介绍在使用 Python attrs 库时，如何让子类继承父类带验证器的字段（如 num_wheels），同时为其指定安全的默认值，确保实例化时既自动填充默认值，又严格通过原始验证逻辑（如类型检查、正整数约束）。
本文介绍在使用 python `attrs` 库时，如何让子类继承父类带验证器的字段（如 `num_wheels`），同时为其指定安全的默认值，确保实例化时既自动填充默认值，又严格通过原始验证逻辑（如类型检查、正整数约束）。
在 attrs 中，直接在子类中重定义同名字段（如 num_wheels: int = 4）会覆盖父类字段及其关联的 validator，导致验证逻辑丢失——这是常见误区。根本原因在于：attrs 字段是类级别声明对象，子类无法“继承并修改”父类字段的默认值与验证器；字段定义不具备继承性。
✅ 正确解法：复用父类字段定义，仅覆盖默认值，保留验证器
利用 attrs.field(default=...) 显式复写字段，并通过 field(factory=...) 或 default= 传入值，同时显式引用父类字段的验证器（而非重新定义）：
from attrs import define, field, validators
@define(kw_only=True)
class Vehicle:
num_wheels: int = field(
validator=[validators.instance_of(int), lambda s, a, v: _validate_positive(v)]
)
def _validate_positive(value):
if value <p>⚠️ 注意事项： </p>
- Vehicle.num_wheels.validator 是一个 list（即使只传单个 validator，attrs 内部也转为列表），因此需原样传递；
- 不要使用 @num_wheels.validator 装饰器在子类中重复定义——这会新建字段，破坏继承关系；
- 若父类字段使用了 converter，同样需显式复用 converter=Vehicle.num_wheels.converter；
- kw_only=True 在父类启用后，子类实例化必须使用关键字参数（如 Car() 合法，Car(4) 非法），符合设计预期。
? 进阶建议：若 num_wheels 对每种车型是固定常量（如 Car 永远是 4），更语义化的做法是将其设为 ClassVar 并在 __init__ 或 __attrs_post_init__ 中注入，或改用 @define(slots=False) + 自定义 __init__。但上述 field(default=..., validator=...) 方案最轻量、最符合 attrs 原生范式，且完全保持验证链完整性。
最终效果：
print(Car()) # Car(num_wheels=4) —— 默认值生效 ✅ print(Car(num_wheels=4)) # Car(num_wheels=4) ✅ Car(num_wheels=-1) # ValueError: Number of wheels must be greater than 0 ✅ Car(num_wheels=3.14) # TypeError: ... instance_of(int) failed ✅
验证器无缝继承，默认值精准覆盖，无侵入式代码，是生产环境推荐实践。
