子类构造函数中父类构造参数可见性及自动补全方案问询

仅修改子类的方案：TypedDict + Unpack #

通过定义对应父类构造参数的TypedDict，并在子类__init__的**kwargs上标注Unpack，让IDE识别父类参数：

from typing import TypedDict, Unpack

class FooInitKwargs(TypedDict):
    bar: int
    baz: str

class Foo:
    def __init__(self, bar: int, baz: str):
        self.bar = bar
        self.baz = baz

class SubFoo(Foo):
    def __init__(self, qux: float, **kwargs: Unpack[FooInitKwargs]):
        super().__init__(**kwargs)
        self.qux = qux

编写SubFoo()时，IDE会自动提示qux、bar、baz所有参数，父类参数更新时只需修改FooInitKwargs，无需重复整个签名。

支持修改父类的方案：使用dataclasses #

用dataclasses可以自动继承父类字段并保留类型提示，无需手动编写构造函数：

from dataclasses import dataclass

@dataclass
class Foo:
    bar: int
    baz: str

@dataclass(kw_only=True)
class SubFoo(Foo):
    qux: float

SubFoo会自动包含Foo的所有字段，IDE能完整提示所有参数，是最符合Python风格的实现方式。

普通方法的适配方案（不适用于构造函数） #

对于非构造方法，可借助ParamSpec和TypeVar保留父类方法的参数类型信息：

from typing import Callable, ParamSpec, TypeVar

P = ParamSpec('P')
R = TypeVar('R')

class Foo:
    def some_method(self, x: int, y: str) -> bool:
        return x > 0 and y != ""

class SubFoo(Foo):
    def some_method(self, z: float, *args: P.args, **kwargs: P.kwargs) -> R:
        print(f"额外参数z: {z}")
        return super().some_method(*args, **kwargs)

这种写法能让IDE识别父类方法的x、y参数并提供自动补全和类型提示。

需求合理性说明 #

里氏替换原则通常不约束构造函数，子类需要额外初始化参数的场景完全合理。唯一需要注意的是父类参数变更时，子类对应的类型定义需同步调整，但这比重复编写完整签名高效得多。

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