当父类定义了可写实例属性而子类用只读属性覆盖时，pyright 会因类型不一致报错；解决方法是统一使用抽象属性声明，确保所有子类实现 `value` 的访问接口为 `int`，同时保持 lsp 合规性。
在面向对象设计中，若父类 A 声明了可赋值的实例属性 value: int，而子类 B 用 @Property 覆盖该名称（仅提供 getter），则静态类型检查器（如 Pyright）会判定类型契约被破坏：A.value 是可写的 int 字段，而 B.value 是只读的 property 对象——二者运行时行为虽兼容，但静态类型不协变，违反里氏替换原则（lsp）。直接标注会导致 Type “property” cannot be assigned to type “int” 报错。
✅ 正确做法是从类型建模层面统一抽象访问契约，而非依赖字段实现：
from abc import ABC, abstractmethod class A(ABC): @property @abstractmethod def value(self) -> int: """Subclasses must provide int-valued `value` access.""" ... class B(A): @property def value(self) -> int: return 3 class C(A): def __init__(self, value: int) -> None: self._value = value @property def value(self) -> int: return self._value @value.setter def value(self, v: int) -> None: self._value = v这样设计的优势在于：
- ✅ 所有 A 的子类（包括 B 和 C）都满足 isinstance(x, A) 时 x.value 稳定返回 int；
- ✅ 支持灵活实现：B 用计算型只读属性，C 用带 setter 的可变属性，均符合协议；
- ✅ Pyright / mypy 完全认可，无类型冲突；
- ✅ 显式表达设计意图：value 是一个 逻辑上的整数访问接口，而非具体存储方式。
⚠️ 注意事项：
- 若需在 A 中提供默认实现（如缓存、验证逻辑），可用 @property + @value.setter 在基类中定义，但必须确保所有子类继承或显式重写，避免意外覆盖导致 setter 消失；
- 不要混用字段声明（value: int）与抽象属性——二者语义冲突，会引发类型系统矛盾；
- 若历史代码要求 A 实例能直接设置 value（如 a.value = 5），则 A 必须声明 @value.setter，此时 B 若不支持赋值，应显式抛出 AttributeError 并在类型上标注 @value.setter 为 NoReturn（需 python 3.11+ 或 typing_extensions）。
总结：类型标注应描述契约而非实现细节。用抽象属性统一 value 的访问协议，既解决 Pyright 报错，又提升 API 可维护性与多态鲁棒性。