如何防止Python派生类修改基类成员函数的返回类型？

问题根源说明 #

在Python类型系统中，bool是int的子类，按照返回类型协变的规则，派生类返回bool会被判定为合法重写，因此类型检查器不会报错。如果要强制派生类的返回类型与基类完全一致（不允许协变的子类型），可以通过以下方式实现：

方法一：使用NewType创建严格类型 #

通过typing.NewType定义一个与int等价但类型上独立的新类型，这样派生类返回bool（或其他int的子类型）就会触发类型检查错误：

from typing import NewType

# 定义严格的int类型，与普通int类型不兼容
StrictInt = NewType('StrictInt', int)

class MyBaseClass():
    def my_method(self) -> StrictInt:
        return StrictInt(42)  # 必须显式包装为StrictInt

class MyDerivedClass(MyBaseClass):
    def my_method(self) -> bool:  # 类型检查器会报错：返回类型bool与基类的StrictInt不匹配
        return True

方法二：启用类型检查器严格模式（针对非子类型场景） #

如果你的场景中，派生类返回类型不是基类返回类型的子类型（比如基类返回int，派生类返回str），默认情况下mypy、Pylance已经会抛出错误。只需确保类型检查器启用基础继承检查：

• mypy：添加--strict参数，或在pyproject.toml中设置strict = true
• Pylance：在VS Code设置中启用Python > Analysis: Strict Mode

为什么你之前的尝试无效 #

• @final装饰器：作用是完全禁止方法被重写，而非约束返回类型，不符合你允许重写但要求返回类型一致的需求。
• Final[int]作为返回类型：PEP 484明确规定Final仅用于变量、属性的类型注解，不能用于方法返回类型，因此会被类型检查器拒绝。

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