为类层级中属性/property统一添加Python类型提示的方案咨询

核心思路是利用结构化类型系统的特性，通过定义只读属性的Protocol来兼容类属性/实例属性与@property两种实现，同时保留原有继承结构和初始化逻辑。

步骤1：定义只读属性的Protocol #

用Protocol定义一个只要求能读取my_awesome_field的接口，这样不管是实例属性还是@property，只要支持读取操作就符合要求：

from typing import Protocol

class HasAwesomeField(Protocol):
    @property
    def my_awesome_field(self) -> int:  # 替换为你的实际类型
        ...

步骤2：让基类Base继承Protocol和ABC #

如果你的Base原本是抽象基类，只需同时继承上述Protocol，既保留原有的继承约束，又让类型检查器验证子类的属性实现：

from abc import ABC

class Base(ABC, HasAwesomeField):
    pass

步骤3：实现子类（无需修改原有逻辑） #

• Child1（实例属性实现）：保留原有的初始化参数和赋值逻辑，实例属性天然支持只读访问，符合Protocol要求：

class Child1(Base):
    def __init__(self, my_awesome_field: int):
        self.my_awesome_field = my_awesome_field

• Child2（@property实现）：保持原有的@property逻辑不变：

class Child2(Base):
    def __init__(self, value: int):
        self._internal_value = value

    @property
    def my_awesome_field(self) -> int:
        return self._internal_value

步骤4：为函数添加类型提示 #

接收Base类型的函数可以安全访问my_awesome_field，类型检查器会自动验证兼容性：

def func(obj: Base) -> None:
    print(obj.my_awesome_field)  # 类型安全，无报错

为什么这个方案可行？ #

• 类型系统中，可读写属性是只读属性的超类型（满足里氏替换原则）：实例属性支持读取操作，完全符合Protocol的只读要求；@property本身就是只读实现，自然匹配。
• 无需修改原有初始化代码：Child1的Child1(my_awesome_field=<值>)逻辑完全保留，不会被破坏。
• 结构化类型的优势：Protocol不强制子类显式继承，只要结构匹配就会被类型检查器认可，同时结合ABC又能保留原有的继承层级约束。

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