重写父类方法时如何避免重复编写类型提示？

为什么mypy强制要求重写方法显式声明类型？ #

虽然mypy能检测到子类方法与父类的类型不兼容，但在--strict模式下要求显式注解主要有几个原因：

• 代码可读性：其他开发者阅读子类代码时，无需跳转父类就能直接看到方法的类型约束，减少认知成本。
• 避免隐式依赖风险：如果父类后续修改了方法的类型注解，子类若依赖隐式继承，可能会在无感知的情况下出现类型错误，显式注解能提前暴露这类问题。
• 严格模式的设计规则：--strict模式的核心是强制代码的类型明确性，避免任何模糊的隐式推断，这是该模式的预设要求。

避免重复编写类型注解的方法 #

最简洁的方案是使用override装饰器（Python 3.12+ 内置，低版本可通过typing_extensions库引入），它能让mypy自动继承父类方法的类型注解，无需重复编写：

示例代码 #

# Python 3.12+ 用typing.override，低于版本安装typing_extensions后用from typing_extensions import override
from typing import override

class A:
    def f(self, a: int) -> int:
        raise NotImplementedError

class B(A):
    @override
    def f(self, a):
        return a

执行mypy --strict时，mypy会通过@override装饰器识别这是父类方法的重写，自动沿用父类的类型约束，不会再提示"缺少类型注解"。同时，若父类后续修改了方法的类型（比如把参数a的类型改为str），mypy会立刻报错提示子类方法与父类不兼容，兼顾了简洁性和类型安全性。

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