如何在不重写/隐藏基类__init__的情况下为Python子类初始化额外成员（保留类型检查与IDE提示）

我刚好碰到过一模一样的问题，当时为了既不重复写Popen那堆冗长的__init__参数，又要保留类型检查和IDE提示，折腾了好一阵，现在把最优雅的解决方案分享给你：

最优方案：用typing.ParamSpec完美保留基类签名（Python 3.10+） #

Python 3.10引入的ParamSpec就是专门解决这类“继承基类方法但不想重复签名”的场景，它能让类型检查器和IDE自动识别基类的所有参数，同时还支持你给子类的构造器加自定义参数。

直接上代码示例：

from subprocess import Popen
from typing import ParamSpec, TypeVar

# 定义ParamSpec来捕获基类Popen __init__的所有参数
P = ParamSpec("P")
# 定义绑定到Popen的TypeVar，让类型检查器关联子类与基类的参数
T = TypeVar("T", bound=Popen)

class MyPopen(Popen):
    def __init__(self, *args: P.args, extra_param: str = "default_extra", **kwargs: P.kwargs) -> None:
        # 先调用基类的初始化逻辑
        super().__init__(*args, **kwargs)
        # 初始化自定义的实例成员
        self.extra_member = extra_param

这个方案的好处简直戳中所有需求点：

• 类型检查不失效：mypy会严格校验你传入的参数是否符合Popen的要求，比如你写MyPopen(invalid=7)会直接报错
• IDE提示全保留：调用MyPopen()时，IDE会完整列出Popen的所有参数，同时还会显示你新增的extra_param
• 零维护成本：不用手动复制Popen的__init__签名，哪怕以后Popen的参数更新了，你的代码完全不用改
• 支持自定义参数：加自定义参数只需要像上面那样在__init__里直接加，位置随便你（建议放在关键字参数区，避免和基类参数冲突）

兼容旧Python版本（3.7-3.9） #

如果你的项目还在使用Python 3.9及以下版本，只需要先安装typing_extensions库（pip install typing_extensions），然后把导入语句改成：

from typing_extensions import ParamSpec, TypeVar

剩下的代码完全和上面一样，功能也没有任何区别。

为什么不推荐用__new__？ #

你提到的用__new__初始化成员的思路我之前也试过，但确实不太合适——在Python的设计里，__new__的职责是创建实例对象，而__init__才是负责初始化实例的状态数据。把实例成员的初始化放在__new__里，不仅不符合惯例，还可能在某些复杂继承场景下引发奇怪的问题，比如基类的__init__覆盖你设置的成员（虽然Popen不会，但好习惯还是要保持）。

如果你不需要自定义参数 #

要是你只是想初始化一个固定的额外成员，不需要给构造器加新参数，代码会更简洁：

from subprocess import Popen
from typing import ParamSpec, TypeVar

P = ParamSpec("P")
T = TypeVar("T", bound=Popen)

class MyPopen(Popen):
    def __init__(self, *args: P.args, **kwargs: P.kwargs) -> None:
        super().__init__(*args, **kwargs)
        self.extra_member = "extra"

效果完全一样，类型检查和IDE提示都能正常工作。

备注：内容来源于stack exchange，提问作者mqnc