如何在适配Pydantic的抽象基类中声明支持成员实现的属性？

我在应用中有多种Widget类型，它们都遵循I_Widget接口，该接口包含一个只读属性public_property。我希望其中部分子类使用成员变量而非@property来实现该属性，但运行代码时触发了抽象类未实现方法的错误，请问这样的需求在Python中是否可行？该如何解决？

原代码 #

from abc import ABC, abstractmethod


class I_Widget(ABC):

    @property
    @abstractmethod
    def public_property(self) -> float: ...

    def foo(self) -> float:
        # Use of self.public_member will not trigger linter, because it was declared
        return self.public_property + 1.0


class WidgetA(I_Widget):
    public_property: float

    def __init__(self, public_property: float, **kwargs):
        super().__init__(public_property=public_property, **kwargs)


class WidgetB(I_Widget):
    other_member: float

    def __init__(self, other_member: float, **kwargs):
        super().__init__(other_member=other_member, **kwargs)

    @property
    def public_property(self) -> float:
        return self.other_member ** 2


if __name__ == '__main__':
    a = WidgetA(public_property=1.0)
    b = WidgetB(other_member=2.0)

    assert a.public_property == 1.0
    assert b.public_property == 4.0

    assert a.foo() == 2.0
    assert b.foo() == 5.0

报错信息 #

Traceback (most recent call last):
  File "/home/user/poc.py", line 36, in <module>
    a = WidgetA(public_property=1.0)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
TypeError: Can't instantiate abstract class WidgetA without an implementation for abstract method 'public_property'

Process finished with exit code 1

解决方案 #

这个需求是完全可行的，报错的原因是Python的ABC机制只会将property描述符视为抽象属性的实现，类级别的类型注解或实例成员变量不会被识别为抽象方法的实现。以下是两种实用的解决方式：

方法一：给子类添加极简@property包装器 #

这是最直接且符合Python规范的方式，给WidgetA的public_property添加一个简单的getter（如果需要只读则不定义setter）：

class WidgetA(I_Widget):
    def __init__(self, public_property: float, **kwargs):
        # 用私有变量存储值，保证只读语义
        self._public_property = public_property
        super().__init__(**kwargs)

    @property
    def public_property(self) -> float:
        return self._public_property

如果需要允许内部修改但外部只读，只保留getter即可；如果需要外部也能修改，可以添加setter：

@public_property.setter
def public_property(self, value: float):
    self._public_property = value

注意：原代码中super().__init__传递public_property参数是错误的，ABC的默认__init__不接受这些参数，直接移除即可。

方法二：修改抽象基类的子类检查逻辑 #

如果需要大量子类用成员变量实现抽象属性，可以重写基类的__subclasshook__方法，让ABC识别成员变量或类型注解为合法实现：

from abc import ABC, abstractmethod

class I_Widget(ABC):
    @property
    @abstractmethod
    def public_property(self) -> float: ...

    def foo(self) -> float:
        return self.public_property + 1.0

    @classmethod
    def __subclasshook__(cls, subclass):
        if cls is I_Widget:
            # 遍历子类的继承链，检查是否有public_property属性
            for c in subclass.__mro__:
                if "public_property" in vars(c):
                    attr = vars(c)["public_property"]
                    # 判定规则：是property描述符，或是类型注解（type对象）
                    if isinstance(attr, property) or isinstance(attr, type):
                        return True
        return NotImplemented

此时WidgetA可以保持原有写法，但必须在__init__中正确初始化成员变量：

class WidgetA(I_Widget):
    public_property: float

    def __init__(self, public_property: float, **kwargs):
        self.public_property = public_property
        super().__init__(**kwargs)

这种方式的局限性在于，类型注解只是静态提示，运行时不会强制变量存在，需要确保子类都正确初始化了public_property。

关键注意点 #

• 严格的只读属性语义建议用@property实现，直接暴露成员变量会允许外部随意修改，破坏接口的只读约定。
• 避免给ABC的__init__传递额外参数，除非基类显式定义了接受这些参数的逻辑。

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