如何让子类B自动继承父类A的__init__参数类型提示？

要让子类B的__init__自动沿用父类A的参数签名，无需手动同步修改，可以利用Python 3.10+引入的ParamSpec特性，结合泛型实现类型检查的自动适配。

实现代码 #

from typing import ParamSpec, Generic

# 定义参数规范，用于捕获父类__init__的参数集合
P = ParamSpec("P")

class A:
    def __init__(self, param: str, extra_param: int = 0, **kwargs) -> None:
        self.param = param
        self.extra_param = extra_param
        self.kwargs = kwargs

class B(A, Generic[P]):
    def __init__(self, *args: P.args, **kwargs: P.kwargs) -> None:
        # 这里添加B类专属的初始化逻辑
        self.b_specific_attr = "custom value for B"
        # 调用父类初始化，自动传递所有参数
        super().__init__(*args, **kwargs)

原理说明 #

• ParamSpec("P")用于定义一个参数规范，它会捕获父类A的__init__方法的所有位置参数和关键字参数。
• 子类B同时继承A和Generic[P]，将P作为泛型参数绑定到自身的__init__方法中，这样Pyright就能自动关联父类的参数签名进行类型检查。
• 当父类A的__init__签名发生变化（比如新增/修改参数），子类B的__init__会自动适配新的参数要求，无需修改B的代码。

验证效果 #

用Pyright检查以下代码：

# 符合A的参数要求，检查通过
b1 = B(param="test", extra_param=5)
# 缺少必填参数param，Pyright会提示错误
b2 = B(extra_param=5)
# 参数类型不匹配，Pyright会提示错误
b3 = B(param=123)

替代方案（无需泛型） #

如果不需要自定义__init__逻辑，直接省略B的__init__方法，Python会自动继承A的__init__，Pyright也能正常进行类型检查：

class B(A):
    # 省略__init__，自动继承父类的签名
    def some_method(self) -> None:
        pass

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