为何接口与实现方法参数名不同时mypy未报错？

问题根源 #

Python作为动态语言，允许子类重写方法时修改参数名，只要参数的类型、数量和位置匹配，代码就能正常运行。但这会破坏接口约定，导致调用者使用父类接口的关键字参数调用子类方法时触发错误。mypy默认规则不会检测这种参数名不匹配的情况，因为它默认只检查参数的类型和数量。

两种解决方案 #

1. 启用mypy的严格函数签名检查

通过开启strict_function_signatures选项，强制mypy检查子类重写方法的参数名是否与父类完全一致。

• 命令行方式：
  直接运行mypy时添加参数：

  mypy --strict-function-signatures your_script.py
  

• 配置文件方式：
  在项目的mypy.ini或pyproject.toml中添加配置：

  [mypy]
  strict_function_signatures = True
  

  或者直接启用strict模式（该模式包含strict_function_signatures等一系列严格检查规则）：

  [mypy]
  strict = True
  

启用后，你的示例代码会触发mypy错误，提示参数名不匹配：

error: Definition of "method" in base class "Interface" is incompatible with definition in derived class "Implementation"  [override]
note: Parameter 1 has name "variable" in base class but "variable_changed" in derived class

2. 使用typing.Protocol定义接口

Protocol是Python的结构化类型接口，默认会严格检查方法的参数名、类型和数量是否匹配，比ABC的检查更严格。

替换原有的ABC接口为Protocol：

from typing import Protocol

class Interface(Protocol):
    def method(self, variable: str) -> str:
        ...

class Implementation:
    def method(self, variable_changed: str) -> str:
        return "A"

此时mypy会直接报错，提示Implementation不符合Interface协议，因为参数名不匹配。

如果需要保留ABC的抽象类特性（比如强制子类实现方法），可以让ABC继承Protocol：

from abc import ABC, abstractmethod
from typing import Protocol

class Interface(ABC, Protocol):
    @abstractmethod
    def method(self, variable: str) -> str:
        pass

class Implementation(Interface):
    def method(self, variable_changed: str) -> str:
        return "A"

这样既保留了抽象类的约束，又能让mypy检测出参数名不匹配的问题。

效果验证 #

无论使用哪种方式，mypy都会在静态检查阶段及时发现参数名不匹配的问题，避免后续调用时出现关键字参数错误。

内容的提问来源于stack exchange，提问作者Antonio Gamiz Delgado