Python继承中的类型提示与校验：重载方法父类参数无提示问题求解

问题1：更优的实现方案 #

首推用Python标准库的dataclass（Python 3.7+支持）来重构类层级，是兼顾灵活性和类型友好的最优解：你不需要手动写__init__方法，父类定义的字段会自动合并到子类的初始化参数列表中，每个类仅需要声明自身新增的字段即可，完美匹配你原来的设计思路，同时完全适配mypy等类型检查工具、IDE自动补全能力。
示例代码如下：

from abc import ABC
from dataclasses import dataclass

@dataclass
class Base(ABC):                                                                                
    """Parent.""" 
    arg0: int                                                     

@dataclass
class Child1(Base):
    arg1: str
    arg2: int
    arg3: float                                                                  

@dataclass
class Child2(Child1):
    arg4: float

# 类型检查工具会自动校验所有必填参数，漏传arg3等父类参数会直接报错
child = Child2(arg0=1, arg1="test", arg2=2, arg3=3.14, arg4=4.5)

如果你的场景需要运行时参数校验，也可以用pydantic.BaseModel替代标准库dataclass，继承逻辑完全一致，额外支持参数类型自动转换、自定义校验规则等能力。

如果不想用dataclass，也可以选择在子类__init__中显式声明所有父类必填参数，调用父类构造方法时显式传参，不要全用**kwargs透传，这种方案类型检查也可以识别，缺点是继承层级较深时，父类参数修改需要同步改动所有子类的方法签名，维护成本较高。

问题2：不改动现有透传方案的适配方法 #

如果必须保留原有**kwargs透传的实现方式，可以用Python 3.11+新增的Unpack（低版本可以从typing_extensions导入）结合TypedDict标注透传参数的类型结构，mypy 0.990以上版本可以识别这类标注，自动校验参数完整性、支持自动补全。
示例代码如下：

from abc import ABC
from typing import TypedDict, Unpack

class Base(ABC):                                                                                
    """Parent."""                                                                                                 
    def __init__(self, arg0: int, *args, **kargs):  
        self._arg0 = arg0                                                       

# 定义父类参数的TypedDict结构
class Child1Params(TypedDict):
    arg0: int
    arg1: str
    arg2: int
    arg3: float

class Child1(Base):                                                                    
    def __init__(self, arg1: str, arg2: int, arg3: float, *args, **kargs):                     
        super().__init__(*args, **kargs)                                                                 
        self._arg1 = arg1

class Child2(Child1):
    # 用Unpack标注透传参数的结构                                                                  
    def __init__(self, arg4: float, **kwargs: Unpack[Child1Params]):                     
        super().__init__(**kwargs)                                                                 
        self._arg4 = arg4

这种方案的缺点是需要手动维护TypedDict的结构，父类参数变动时要同步更新TypedDict定义才能保证类型校验的准确性。

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