python通过__init_subclass__钩子实现继承白名单控制，示例中base类限制仅a、b可继承，c继承时抛typeerror；装饰器和abc注册机制为补充方案，元类不推荐。
Python 本身没有内置语法直接限制“仅允许某些类继承某个父类”，但可以通过 __init_subclass__ 钩子 + 运行时检查来实现这一语义约束。核心思路是：在父类被继承时主动校验子类是否在白名单中，不满足则抛出异常。
利用 __init_subclass__ 拦截继承行为
这是最推荐、最 Pythonic 的方式。该方法在每次有类继承当前类时自动调用，且早于子类定义完成，适合做准入控制。
示例：只允许 A 和 B 继承 Base：
class Base:
_allowed_subclasses = {'A', 'B'} # 白名单（类名字符串）
<pre class='brush:python;toolbar:false;'>def __init_subclass__(cls, **kwargs):
super().__init_subclass__(**kwargs)
if cls.__name__ not in Base._allowed_subclasses:
raise TypeError(
f"Class '{cls.__name__}' is not allowed to inherit from {Base.__name__}"
)class A(Base): # ✅ 允许 pass
class B(Base): # ✅ 允许 pass
class C(Base): # ❌ 报错：TypeError pass
用装饰器包装子类定义（更灵活的白名单）
若白名单需动态管理（如按模块、配置或实例化条件），可改用类装饰器，在类创建后立即校验：
立即学习“Python免费学习笔记（深入）”；
def restrict_subclass(allowed_names):
def decorator(cls):
original_new = cls.__new__
def __new__(cls_inner, name, bases, namespace, **kwds):
# 检查是否正在定义子类（且父类含目标基类）
if any(issubclass(base, cls) for base in bases if isinstance(base, type)):
if name not in allowed_names:
raise TypeError(f"Subclass '{name}' not in allowed list: {allowed_names}")
return original_new(cls_inner, name, bases, namespace, **kwds)
cls.__new__ = __new__
return cls
return decorator
<h1>使用（注意：此方式需谨慎，实际推荐优先用 __init_subclass__）</h1><p>⚠️ 注意：这类装饰器操作 __new__ 属于高级技巧，易出错且可读性低，日常开发中不如 __init_subclass__ 稳定可靠。
配合 ABC 和注册机制（适合框架级设计）
若你构建的是插件系统或框架，可让合法子类显式注册，再在 __init_subclass__ 中验证注册状态：
- 定义一个全局注册表（如
set或dict） - 要求合法子类调用
Base.register(MyClass) - 在
__init_subclass__中检查cls in Base._registered - 注册动作可封装为类装饰器或元类，避免手动调用遗漏
为什么不建议用元类？
虽然元类能更早介入类创建，但：
- 增加理解与维护成本
- 与
__init_subclass__功能高度重叠 - 容易干扰其他元类（如
ABCMeta），导致兼容问题 - Python 3.6+ 后，官方明确推荐用
__init_subclass__替代简单元类场景
不复杂但容易忽略：白名单建议用类对象（而非字符串）存储，可避免拼写错误和重命名失效；若需支持跨模块类，可用 cls.__module__ + '.' + cls.__name__ 做唯一标识。
