Python抽象类方法如何强制必选参数且允许具体子类新增参数

首先给出抽象基类的基础定义示例：

from abc import ABC, abstractmethod

class FooBase(ABC):
    @abstractmethod
    def __init__(self, required: str, also_required: int):
        pass

期望的具体实现类效果：在保留基类要求的所有必选参数的前提下，允许子类自由新增自定义参数，示例写法如下：

class Foo(FooBase):
     def __init__(self, required: str, also_required: int, something_else: float):
         do_stuff()

应用场景 #

该需求主要面向供客户端导入使用的第三方包/库场景：开发者提供FooBase抽象类，作为和库内其他模块交互的约定契约；客户端可自由实现具体的子类，但要求方法参数满足「必选参数最低要求」，而非将参数列表完全锁死不允许扩展。

常见误区：用**kwargs兼容额外参数 #

不少人会想到在抽象类和子类的方法中都加**kwargs来接收额外关键字参数，但这个方案存在本质缺陷：类会无差别接收任意关键字参数，完全无法对新增参数做强制约束，核心问题有两个：

• 参数名校验仅能在运行时触发，无法通过mypy、Pyright等工具做静态检查
• 无法直接通过方法签名直观得知可传入的合法参数名，IDE补全、参数提示都会失效

对应的反例代码如下：

class UglyBase:
    @abstractmethod
    def __init__(self, required: str, **kwargs):
        pass

class Ugly(UglyBase):
    def __init__(self, required: str, **kwargs):
        self.something_else = kwargs.get("something_else", "default")

# 参数名拼写错误（someting_else少了个h）无法被静态检测
# IDE、类型检查工具都不会报错
ugly_object = Ugly(required="hello", someting_else="blabla")

# 拼写错误的参数被静默吞掉，拿到的是默认值
ugly_object.something_else
>>> "default"

可行实现方案 #

Python原生ABC默认仅校验子类是否重写了抽象方法，不会限制子类方法的参数列表，你最开始写的子类Foo的写法本身就可以正常实例化，也能通过所有主流静态类型检查工具的校验——只要子类把基类要求的必选参数按顺序、按名称、按类型放在参数列表前部，后续新增的任意参数都不会违反类型契约。

如果需要在运行时也强制校验子类必选参数是否齐全（避免子类漏写必选参数），可以通过__init_subclass__钩子在类定义阶段做签名校验，完全不限制子类新增参数，参考实现如下：

from abc import ABC, abstractmethod
from inspect import signature

class FooBase(ABC):
    @abstractmethod
    def __init__(self, required: str, also_required: int):
        pass

    def __init_subclass__(cls, **kwargs):
        super().__init_subclass__(**kwargs)
        # 提取基类抽象方法要求的必选参数（排除self）
        base_required_params = set(signature(FooBase.__init__).parameters.keys()) - {"self"}
        # 遍历子类的__init__方法做校验
        init_impl = cls.__dict__.get("__init__")
        if init_impl and not getattr(init_impl, "__isabstractmethod__", False):
            impl_params = set(signature(init_impl).parameters.keys()) - {"self"}
            missing_params = base_required_params - impl_params
            if missing_params:
                raise TypeError(
                    f"子类{cls.__name__}的__init__方法缺少必选参数：{', '.join(missing_params)}"
                )

使用效果：

• 合法实现（包含所有必选参数+新增自定义参数）可以正常定义、实例化，静态检查工具可以正常识别所有参数，IDE补全、拼写校验完全生效
• 非法实现（漏写必选参数）会在类定义阶段直接抛出错误，不需要等到实例化传参才发现问题

# 合法实现，无报错
class Foo(FooBase):
     def __init__(self, required: str, also_required: int, something_else: float):
         self.required = required
         self.also_required = also_required
         self.something_else = something_else

# 非法实现，类定义时直接报错
class BadFoo(FooBase):
    def __init__(self, required: str):
        pass
# 抛出错误：TypeError: 子类BadFoo的__init__方法缺少必选参数：also_required

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