如何将Python数据类中继承的抽象属性设为必选构造参数？

问题分析 #

你遇到的报错本质是抽象类（ABC）与dataclass的特性冲突，具体原因如下：

• Child1报错：父类将inherited_attribute定义为抽象@property，子类仅通过dataclass字段声明该属性，只会生成实例属性，但ABC要求子类必须实现同名的@property来覆盖抽象属性，因此实例化时提示抽象方法未实现。
• Child2报错：使用dataclasses.field()声明必选字段时，dataclass自动生成的__init__会尝试直接给self.inherited_attribute赋值，但父类的抽象@property仅定义了getter，没有setter，触发赋值权限错误。
• Child3能运行：给字段设置默认值None后，dataclass生成的实例属性会遮蔽父类的抽象@property，绕过了ABC的检查，但这属于不符合抽象类设计意图的临时方案，并非正确实现。

正确解决方案 #

要满足需求，需同时完成两件事：子类实现父类的抽象@property以通过ABC检查，同时将该属性设为dataclass的必选构造参数。以下是两种可靠实现方式：

方式1：直接实现抽象@property并绑定实例属性 #

import abc
import dataclasses

@dataclasses.dataclass
class Parent(abc.ABC):
    @property
    @abc.abstractmethod
    def inherited_attribute(self) -> int:
        pass

@dataclasses.dataclass
class Child(Parent):
    # 声明必选构造参数
    inherited_attribute: int

    # 实现父类的抽象@property，返回dataclass生成的实例属性
    @property
    def inherited_attribute(self) -> int:
        # 调用super的__getattribute__避免递归调用当前@property
        return super().__getattribute__('inherited_attribute')

# 测试
def test_child():
    c = Child(42)
    assert c.inherited_attribute == 42

方式2：使用私有存储字段（更清晰的命名隔离） #

如果担心命名冲突，可通过私有字段存储值，公开@property实现抽象要求，同时用字段别名保持构造参数的直观性：

import abc
import dataclasses

@dataclasses.dataclass
class Parent(abc.ABC):
    @property
    @abc.abstractmethod
    def inherited_attribute(self) -> int:
        pass

@dataclasses.dataclass(kw_only=True)
class Child(Parent):
    # 私有字段存储值，构造参数使用别名inherited_attribute
    _inherited_attr: int = dataclasses.field(alias="inherited_attribute")

    @property
    def inherited_attribute(self) -> int:
        return self._inherited_attr

# 测试
def test_child():
    c = Child(inherited_attribute=42)
    assert c.inherited_attribute == 42

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