如何为重载基类属性的property添加类型注解？

你遇到的核心问题是：基类中h: HomeMadeType被标记为可写实例属性，子类用property覆盖时，mypy会判定类型不兼容，同时你之前的写法还存在语法错误，导致多重报错。下面给出可行的解决方案：

一、推荐方案：修改基类为抽象property（符合抽象基类设计） #

既然基类是抽象基类，最佳实践是直接把h定义为抽象可读写property，这样子类必须实现对应的读写逻辑，mypy也能完美识别：

基类代码：

from abc import ABCMeta, abstractmethod

class B(metaclass=ABCMeta):
    @property
    @abstractmethod
    def h(self) -> HomeMadeType:
        raise NotImplementedError

    @h.setter
    @abstractmethod
    def h(self, value: HomeMadeType) -> None:
        raise NotImplementedError

子类实现：

class C(B):
    def __init__(self):
        self._h: HomeMadeType = HomeMadeType()

    @property
    def h(self) -> HomeMadeType:
        return self._h

    @h.setter
    def h(self, value: HomeMadeType) -> None:
        self._h = value

这种写法既符合抽象基类的设计规范，也能顺利通过mypy的类型检查。

二、兼容方案：不修改基类时的处理 #

如果无法修改基类，你可以通过显式覆盖类型注解的方式，让mypy认为子类的property行为与基类的实例属性一致：

class E(B):
    _h: HomeMadeType = HomeMadeType()

    @property
    def h(self) -> HomeMadeType:
        return self._h

    @h.setter
    def h(self, value: HomeMadeType) -> None:
        self._h = value

    # 显式告诉mypy，h的类型与基类定义一致
    h: HomeMadeType

也可以配合override装饰器（需安装typing-extensions包）增强代码可读性：

from typing_extensions import override

class E(B):
    _h: HomeMadeType = HomeMadeType()

    @override
    @property
    def h(self) -> HomeMadeType:
        return self._h

    @h.setter
    def h(self, value: HomeMadeType) -> None:
        self._h = value

    h: HomeMadeType

为什么之前的写法报错？ #

• 类C：基类的h是可写属性，子类用只读property覆盖，违反了基类的"可写"契约，mypy因此判定不兼容。
• 类D：你写错了setter的函数名——Python中property的setter必须与property同名（即h），而不是set_h，这直接导致了"has no attribute setter"的语法类报错；即使修正名字，基类实例属性与子类property的类型不匹配问题依然存在。
• 类E：mypy默认认为property类型与HomeMadeType类型不兼容，因此抛出类型赋值错误。

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