__init_subclass__ 是类定义完成时自动触发的钩子,可用于子类自动注册、泛型参数捕获和延迟描述符绑定,需正确调用 super().__init_subclass__(**kwargs) 并注意触发时机与访问限制。

用 __init_subclass__ 自动注册子类到全局映射
当你有一组插件、处理器或策略类,需要在导入时就“自动被发现”,不用手动维护列表,__init_subclass__ 是最轻量的注册机制。它在每个子类定义完成、但尚未实例化时触发,比 __new__ 或 __init__ 更早,也比装饰器更透明。
常见错误是试图在 __init_subclass__ 里访问子类的实例属性(此时还没实例),或漏掉 super().__init_subclass__(**kwargs) 导致多继承链中断。
- 注册逻辑写在基类中,子类无需任何额外代码
- 推荐用类名或显式
name参数作为 key,避免依赖__name__可能带来的重名冲突 - 若需支持可选注册(比如跳过测试类),可在
**kwargs中约定一个register=True参数控制
class Handler:
_registry = {}
def __init_subclass__(cls, name=None, **kwargs):
super().__init_subclass__(**kwargs)
if name is None:
name = cls.__name__
cls._registry[name] = cls
class CsvHandler(Handler, name="csv"): pass
class JsonHandler(Handler, name="json"): pass
此时 Handler._registry == {"csv": CsvHandler, "json": JsonHandler}
配合 typing.get_args 和泛型约束做运行时类型校验
Python 的泛型(如 MyClass[T])在运行时默认擦除,但 __init_subclass__ 能捕获子类定义时的原始泛型参数——前提是父类用了 Generic[T] 并在 __init_subclass__ 中调用 typing.get_args(cls.__orig_bases__[0])。
立即学习“Python免费学习笔记(深入)”;
这个技巧常用于构建类型安全的抽象容器或序列化框架,但容易踩的坑是:没检查 __orig_bases__ 是否存在,或误把 cls.__bases__ 当作泛型来源(它已被擦除)。
- 仅适用于直接继承泛型基类的子类;间接继承(A → B → C)需逐层透传
-
get_args返回的是tuple,空泛型返回空 tuple,不是None - 校验失败建议抛
TypeError而非ValueError,语义更准确
替代 __set_name__ 实现跨层级描述符绑定检测
描述符(descriptor)的 __set_name__ 只在描述符被赋值给类属性时触发,但如果描述符嵌套在另一个对象里(比如 Field(default=...)() 返回一个 descriptor 实例),它就收不到宿主类信息。__init_subclass__ 可扫描子类所有类变量,主动识别并绑定这类“延迟描述符”。
典型场景是 ORM 或数据验证库中,用户写 age = IntField(min=1),但 IntField 构造后才是 descriptor,且需要知道字段名才能生成错误消息。
- 必须遍历
cls.__dict__.values(),不能用vars(cls)(会包含继承来的) - 检测到目标对象后,调用其自定义的
bind_to_class(cls, name)方法,而非硬编码逻辑 - 注意不要重复绑定:同一 descriptor 实例可能出现在多个子类中,需按类隔离状态
为什么这些用法容易被忽略
因为 __init_subclass__ 的触发时机非常靠前——它发生在类体执行完、MRO 确定后、但任何方法解析或实例创建之前。这意味着你能安全访问 __annotations__、__doc__、__module__,甚至 __orig_bases__,但不能依赖任何尚未执行的类装饰器副作用,也不能假设父类已完全初始化(尤其涉及 __init_subclass__ 链时)。真正实用的点,往往卡在这个「早又不太早」的窗口里。










