如何用Python抽象类实现带静态变量的继承类并约束子类结构

Python的ABC模块仅支持强制子类实现抽象方法，无法直接约束类变量。要实现强制子类必须定义first_static_variable和second_static_variable这两个静态变量，可通过以下两种方式实现：

方法一：利用__init_subclass__方法检查 #

在父类中重写__init_subclass__，子类被定义时自动检查是否包含指定类变量：

from abc import ABC

class Father(ABC):
    def __init_subclass__(cls, **kwargs):
        super().__init_subclass__(**kwargs)
        required_vars = ['first_static_variable', 'second_static_variable']
        missing_vars = [var for var in required_vars if not hasattr(cls, var)]
        if missing_vars:
            raise TypeError(f"子类 {cls.__name__} 必须定义以下静态变量: {', '.join(missing_vars)}")

# 正确的子类实现
class FirstChild(Father):
    first_static_variable = "value to first_static_variable in first child"
    second_static_variable = "value to second_static_variable in first child"

class SecondChild(Father):
    first_static_variable = "value to first_static_variable in second child"
    second_static_variable = "value to second_static_variable in second child"

# 测试错误情况：缺少静态变量会触发报错
# class BadChild(Father):
#     first_static_variable = "only one"
# 运行后会抛出 TypeError: 子类 BadChild 必须定义以下静态变量: second_static_variable

方法二：使用元类检查 #

元类可控制类的创建过程，在类定义阶段直接校验：

from abc import ABCMeta

class FatherMeta(ABCMeta):
    def __new__(cls, name, bases, namespace):
        # 仅对子类进行检查，父类自身跳过
        if bases != (object,):
            required_vars = ['first_static_variable', 'second_static_variable']
            missing_vars = [var for var in required_vars if var not in namespace]
            if missing_vars:
                raise TypeError(f"类 {name} 必须定义以下静态变量: {', '.join(missing_vars)}")
        return super().__new__(cls, name, bases, namespace)

class Father(metaclass=FatherMeta):
    pass

# 正确的子类实现
class FirstChild(Father):
    first_static_variable = "value to first_static_variable in first child"
    second_static_variable = "value to second_static_variable in first child"

class SecondChild(Father):
    first_static_variable = "value to first_static_variable in second child"
    second_static_variable = "value to second_static_variable in second child"

# 测试错误情况
# class BadChild(Father):
#     first_static_variable = "only one"
# 运行后抛出 TypeError: 类 BadChild 必须定义以下静态变量: second_static_variable

注意事项 #

• 两种方法都会在子类定义阶段触发检查，而非实例化时，能更早发现问题
• 若父类需定义这些静态变量作为默认值，可调整检查逻辑（比如允许父类提供默认值，子类可覆盖）

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