Python中如何定义并强制子类实现抽象类常量？

一、静态类型检查层面的约束（适配PyCharm/mypy） #

如果希望类型检查工具能自动检测子类是否实现抽象常量，有两种可靠方案：

方案1：用抽象属性模拟类级常量 #

借助@abstractproperty定义类级抽象属性，既满足静态检查，也能在运行时阻止未实现子类的实例化：

from abc import ABCMeta, abstractproperty

class MyBaseClass(SomeOtherClass, metaclass=ABCMeta):
    @abstractproperty
    def CONS_A(cls) -> str:
        raise NotImplementedError

    @abstractproperty
    def CONS_B(cls) -> str:
        raise NotImplementedError

# 抽象子类不实现不会触发检查
class MyChildAbstractClass(MyBaseClass, metaclass=ABCMeta):
    pass

# 非抽象子类未实现会被检查器报错，运行时实例化也会抛出异常
class MyChildImplementationClass(MyChildAbstractClass):
    # 必须显式实现常量
    CONS_A = "value_a"
    CONS_B = "value_b"

子类只需直接定义同名类属性，即可满足抽象属性的实现要求。

方案2：结合ClassVar与Protocol（仅静态检查） #

如果只需要静态层面的约束，无需运行时强制，可以用Protocol定义类级变量的规范：

from typing import Protocol, ClassVar

class MyBaseProtocol(Protocol):
    CONS_A: ClassVar[str]
    CONS_B: ClassVar[str]

class MyBaseClass(SomeOtherClass, MyBaseProtocol, metaclass=ABCMeta):
    pass

# 抽象子类不实现不会被检查器报错
class MyChildAbstractClass(MyBaseClass, metaclass=ABCMeta):
    pass

# 非抽象子类未实现会被类型检查器提示错误
class MyChildImplementationClass(MyChildAbstractClass):
    pass  # PyCharm/mypy会提示缺少CONS_A和CONS_B

二、运行时强制约束 #

如果需要在代码运行阶段就强制非抽象子类实现常量，可以自定义元类来实现检查逻辑：

from abc import ABCMeta

class AbstractConstantMeta(ABCMeta):
    # 定义必须实现的常量列表
    required_constants = ("CONS_A", "CONS_B")

    def __init_subclass__(cls, **kwargs):
        super().__init_subclass__(**kwargs)
        # 仅对非抽象子类进行检查（判断是否存在未完成的抽象方法）
        if not hasattr(cls, "__abstractmethods__") or not cls.__abstractmethods__:
            missing_constants = [const for const in cls.required_constants if not hasattr(cls, const)]
            if missing_constants:
                raise TypeError(f"子类 {cls.__name__} 必须实现以下常量: {', '.join(missing_constants)}")

class MyBaseClass(SomeOtherClass, metaclass=AbstractConstantMeta):
    pass

# 抽象子类不会触发检查
class MyChildAbstractClass(MyBaseClass, metaclass=ABCMeta):
    __abstractmethods__ = set()  # 标记为抽象类

# 非抽象子类未实现会在定义时直接抛出TypeError
class MyChildImplementationClass(MyChildAbstractClass):
    pass  # 运行时报错：TypeError: 子类 MyChildImplementationClass 必须实现以下常量: CONS_A, CONS_B

额外问题：仅对非抽象子类强制检查 #

上述自定义元类方案已经实现了该需求：通过判断子类的__abstractmethods__是否为空，来区分抽象子类与非抽象子类。抽象子类因为保留了未完成的抽象方法标记，不会触发常量检查；而非抽象子类必须实现所有指定常量，否则会在类定义阶段报错。

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