Python基类方法参数可选子类必选时如何规避mypy/pylint签名报错

触发signature-differs和signature-incompatible错误的核心原因是子类重写方法违反了里氏替换原则：

• 父类Base.maybe_multiply支持无参调用（x有默认值None）、接受None作为合法入参、可能返回None
• 子类重写版本强制要求传入非可选int类型、返回非可选int类型
  如果将Child实例当作Base类型使用，调用方按照父类签名规则不传参、传入None时会出现不符合预期的运行时错误，因此静态检查工具会判定签名不兼容。

方案1：兼容父类签名（符合LSP，改动最小） #

如果需要Child实例可以完全替换Base实例使用，保留重写逻辑的同时让子类方法签名和父类兼容，内部对非法入参做显式校验即可。返回值声明为int是合法的（返回值类型协变不违反LSP）。

from typing import Optional

class Base:
    def __init__(self, factor: int):
        self.factor = factor

    def maybe_multiply(self, x: Optional[int] = None) -> Optional[int]:
        if x is None:
            return x
        return self.factor * x


class Child(Base):
    # 入参签名和父类完全一致，保证调用兼容
    def maybe_multiply(self, x: Optional[int] = None) -> int:
        if x is None:
            # 子类不支持None入参场景，抛出明确异常
            raise ValueError("调用Child.maybe_multiply必须传入int类型参数")
        return super().maybe_multiply(x=x)

方案2：拆分职责重构结构（语义最清晰，推荐长期使用） #

如果Child需要的“必须传int、返回int”逻辑和父类“可选传参、可能返回None”的语义本身就不一致，不要强行重写同名方法，将核心逻辑拆分后单独实现即可：

from typing import Optional

class Base:
    def __init__(self, factor: int):
        self.factor = factor

    def maybe_multiply(self, x: Optional[int] = None) -> Optional[int]:
        if x is None:
            return x
        return self._calc(x)

    # 抽离核心计算逻辑，供子类重写扩展
    def _calc(self, x: int) -> int:
        return self.factor * x


class Child(Base):
    # 仅重写内部计算逻辑，非公开方法不受对外接口的LSP约束
    def _calc(self, x: int) -> int:
        # 可添加子类自定义计算逻辑
        return super()._calc(x) * 2

    # 单独定义严格入参的方法，不和父类接口混淆
    def strict_multiply(self, x: int) -> int:
        return self._calc(x)

这种写法下父类对外接口的行为完全一致，子类既可以扩展核心逻辑，又能提供自己的严格类型方法，不会触发任何静态检查错误，也不会出现调用歧义。

方案3：临时禁用检查（不推荐，仅作紧急兼容用） #

如果暂时无法调整结构，可以通过注释标记禁用对应行的静态检查，但这种方式会隐藏类型安全风险，不建议在生产代码中使用：

from typing import Optional

class Base:
    def __init__(self, factor: int):
        self.factor = factor

    def maybe_multiply(self, x: Optional[int] = None) -> Optional[int]:
        if x is None:
            return x
        return self.factor*x


class Child(Base):
    # 显式禁用两类签名检查
    def maybe_multiply(self, x: int) -> int:  # pylint: disable=signature-differs # type: ignore[override]
        return super().maybe_multiply(x=x)    

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