如何正确标注子类中被property覆盖的类成员类型？

以下是示例代码：

class A:
  value: int
  
  def __init__(self, value):
     self.value = value


class B(A):
  @property
  def value(self) -> int:
     return 3

这段代码动态运行正常，但pyright报错：Type "property" cannot be assigned to type "int"

需求：

• 完成正确的类型标注，同时允许A的其他子类方法中设置value的值
• 确保当isinstance(a, A)时，访问a.value始终返回int，实现方式可以是property或普通实例属性

方法1：父类使用@property+setter（推荐） #

将父类A的value改为通过@property和setter实现，子类既可以重写@property（如B类），也能直接使用父类的setter设置值，类型检查器可正确识别：

class A:
    def __init__(self, value: int):
        self._value = value

    @property
    def value(self) -> int:
        return self._value

    @value.setter
    def value(self, new_value: int) -> None:
        self._value = new_value

class B(A):
    @property
    def value(self) -> int:
        return 3

# 其他子类可正常设置value
class C(A):
    def some_method(self) -> None:
        self.value = 100  # 类型检查器无报错

这种方式完全符合类型规范，既保证a.value始终返回int，又满足不同子类的实现需求。

方法2：保留父类实例属性，子类用类型兼容处理 #

如果无法修改父类结构，可在子类B中用typing.cast明确告知类型检查器属性的兼容性，或直接忽略报错：

from typing import cast

class A:
    value: int
    
    def __init__(self, value):
        self.value = value

class B(A):
    @property
    def value(self) -> int:
        return 3
    value = cast(int, value)  # 强制标注为int类型

或直接忽略单条报错：

class B(A):
    @property
    def value(self) -> int:
        return 3  # type: ignore

这种方法属于绕过类型检查器，仅适合无法修改父类的场景。

方法3：用Protocol定义接口约束 #

若不需要严格继承关系，可定义Protocol约束所有实现类必须具备value: int属性，实例属性或property均可被类型检查器识别：

from typing import Protocol

class HasIntValue(Protocol):
    @property
    def value(self) -> int: ...

class A:
    value: int
    
    def __init__(self, value):
        self.value = value

class B(A):
    @property
    def value(self) -> int:
        return 3

# 使用时指定类型为HasIntValue
def process(obj: HasIntValue) -> int:
    return obj.value

此方式适合灵活实现的场景，若必须依赖A的继承关系，方法1更合适。

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