Python子类如何实现ABC类抽象属性且无需@property装饰器

问题背景 #

抽象基类Logger通过@abstractproperty强制子类实现指定属性，但子类在__init__中赋值实例变量的方式无法通过抽象类检查，运行时报错：

Can't instantiate abstract class CostsLogger with abstract methods filename_prefix, run_id_length, trace_id_length

抽象类代码 #

from abc import ABC, abstractproperty
import os
import json

trace_history_dir = "./trace_history"

class Logger(ABC):
    @abstractproperty
    def filename_prefix(self):
        pass

    @abstractproperty
    def trace_id_length(self):
        pass

    @abstractproperty
    def run_id_length(self):
        pass

    def __init__(self):
        self._load_history()

    def _load_history(self):
        try:
            with open(
                os.path.join(trace_history_dir, f"{self.filename_prefix}_history.json"),
                "r",
            ) as f:
                history = json.load(f)
        except Exception as e:
            if isinstance(e, FileNotFoundError):
                history = {"0".zfill(self.trace_id_length): "Init"}

                with open(
                    os.path.join(
                        trace_history_dir, f"{self.filename_prefix}_history.json"
                    ),
                    "w",
                ) as f:
                    json.dump(history, f)
            else:
                raise e

        return history

子类代码 #

filename_prefix = "costs"

class CostsLogger(Logger):
    def __init__(self):
        self.filename_prefix = filename_prefix
        self.trace_id_length = 4
        self.run_id_length = 4

        super().__init__()

核心原因 #

Python的@abstractproperty仅检查类层级的属性实现（子类必须有同名的@property或类属性），而实例变量是在实例化后才赋值的，无法通过抽象类的预实例化检查。

解决方法 #

方法1：子类将属性定义为类属性 #

直接在子类中定义类属性，让抽象类检查时能识别到属性存在，后续也可在__init__中用实例变量覆盖：

filename_prefix = "costs"

class CostsLogger(Logger):
    # 定义类属性满足抽象类检查
    filename_prefix = filename_prefix
    trace_id_length = 4
    run_id_length = 4

    def __init__(self):
        # 可选：如果需要动态修改，再赋值实例变量
        # self.filename_prefix = filename_prefix
        super().__init__()

方法2：抽象类改用初始化时检查属性 #

移除@abstractproperty，在父类__init__中强制检查实例是否包含所需属性，兼容类属性、实例变量等多种实现方式：

from abc import ABC
import os
import json

trace_history_dir = "./trace_history"

class Logger(ABC):
    def __init__(self):
        # 强制检查必须属性是否存在
        required_attrs = ["filename_prefix", "trace_id_length", "run_id_length"]
        for attr in required_attrs:
            if not hasattr(self, attr):
                raise NotImplementedError(f"子类必须实现 {attr} 属性")
        self._load_history()

    def _load_history(self):
        # 方法逻辑保持不变
        try:
            with open(
                os.path.join(trace_history_dir, f"{self.filename_prefix}_history.json"),
                "r",
            ) as f:
                history = json.load(f)
        except Exception as e:
            if isinstance(e, FileNotFoundError):
                history = {"0".zfill(self.trace_id_length): "Init"}

                with open(
                    os.path.join(
                        trace_history_dir, f"{self.filename_prefix}_history.json"
                    ),
                    "w",
                ) as f:
                    json.dump(history, f)
            else:
                raise e

        return history

修改后的子类无需改动即可正常运行，只要在调用super().__init__()前完成属性赋值即可。

方法3：自定义抽象类子类检查逻辑 #

通过__subclasshook__自定义抽象类的子类验证规则，允许子类通过实例变量实现属性：

from abc import ABC, abstractproperty

class Logger(ABC):
    @abstractproperty
    def filename_prefix(self):
        pass

    @abstractproperty
    def trace_id_length(self):
        pass

    @abstractproperty
    def run_id_length(self):
        pass

    @classmethod
    def __subclasshook__(cls, subclass):
        required_attrs = {"filename_prefix", "trace_id_length", "run_id_length"}
        # 检查子类是否有类属性
        if all(hasattr(subclass, attr) for attr in required_attrs):
            return True
        # 额外检查：实例化后是否拥有所需属性（简化判断）
        try:
            instance = subclass()
            if all(hasattr(instance, attr) for attr in required_attrs):
                return True
        except:
            pass
        return NotImplemented

    # __init__和_load_history方法保持不变

这种方式更灵活，但实例化测试可能带来额外开销，需根据场景选择。

推荐方案 #

• 若希望保留ABC的原生检查逻辑，优先选方法1；
• 若需要最大程度的灵活性，允许子类自由选择属性实现方式，优先选方法2。

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