Python元类或__init_subclass__创建非法子类时应抛出什么规范异常？

通过元类的__new__/__init__方法、__init_subclass__钩子对子类做不变量约束校验时，子类不符合约束要求的，首选抛出TypeError，这是从Python内置逻辑到工业界实践统一遵循的通行约定，没有其他更通用的合适选型。

• Python内置行为的统一先例：Python解释器本身在类创建阶段的所有规则校验，失败时统一抛出TypeError，从来没有使用其他异常类型的情况。比如元类冲突、被@final标记的类被继承、__slots__定义和基类内存布局冲突、基类本身不允许被继承这类场景，解释器抛出的全是TypeError：

  from typing import final
  
  @final
  class FinalClass: pass
  class InvalidSub(FinalClass): pass 
  # 抛出 TypeError: Cannot inherit from final class "FinalClass"
  

• 官方规范与标准库的实现逻辑：引入__init_subclass__机制的PEP 487中，官方给出的钩子校验示例就使用TypeError作为校验失败的异常类型。整个标准库中所有用到类创建钩子做约束的实现也全部遵循这个规则：比如abc.ABC的抽象类实现校验、enum.Enum子类的枚举规则校验（重复成员名、非法成员定义等），校验失败时抛出的都是TypeError：

  from enum import Enum
  class Color(Enum):
      RED = 1
      RED = 2
  # 抛出 TypeError: Attempted to reuse key: 'RED'
  

• 业界成熟第三方库的通用实践：主流广泛使用的Python库只要涉及类创建阶段的子类约束校验，全部沿用这个约定。比如Pydantic模型类定义校验、Attrs类生成校验、Django ORM模型定义校验、SQLAlchemy ORM模型约束校验，只要是子类定义不符合框架要求的规则，都会抛出TypeError，没有反例。

如果你的约束是和特定框架/业务逻辑强绑定的细粒度规则，需要上层代码针对性捕获异常，也可以自定义专属异常类，但这个自定义异常应当继承自TypeError，不要直接使用ValueError、RuntimeError这类语义不匹配的异常。

异常选型的核心语义逻辑：ValueError的适用场景是值的内容不符合预期，通常用于运行时数据校验、函数传参场景；而类创建阶段的子类约束违反，本质是这个子类的类型定义本身不合法、不满足类型层面的契约，和TypeError的语义完全对齐。

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