Python中如何规范定义抽象类属性？现有实现的优化方案

你当前的写法存在两个核心问题：一是bar未被标记为强制实现的抽象元素，子类不重写也能正常实例化；二是用NotImplemented赋值类属性容易和实例级别的NotImplemented返回值混淆，可读性较差。

下面提供几种更严谨的实现方式：

方法一：利用__init_subclass__钩子检查（推荐，简洁直观） #

Python 3.6+ 引入的__init_subclass__可以在子类创建时自动执行检查逻辑，直接强制子类必须定义指定类属性：

from abc import ABC

class AbstractFoo(ABC):
    def __init_subclass__(cls):
        super().__init_subclass__()
        # 检查子类是否显式定义了bar类属性
        if not hasattr(cls, 'bar') or getattr(cls, 'bar') is NotImplemented:
            raise TypeError(f"子类 {cls.__name__} 必须显式定义类属性 'bar'")

# 符合要求的子类
class SpecialFoo(AbstractFoo):
    bar = ["a", "b"]

# 错误示例：未定义bar，创建子类时直接触发报错
# class BadFoo(AbstractFoo):
#     pass  # 抛出 TypeError: 子类 BadFoo 必须显式定义类属性 'bar'

这种方式的优势是代码简洁，无需自定义元类，检查时机在子类创建阶段，能提前发现问题。

方法二：自定义元类强化ABC检查 #

如果需要和ABC的抽象体系深度整合，可以自定义元类，在类创建时校验类属性：

from abc import ABCMeta, ABC

class FooMeta(ABCMeta):
    def __new__(meta, name, bases, attrs):
        cls = super().__new__(meta, name, bases, attrs)
        # 仅对非抽象子类进行检查（若子类是抽象类则跳过）
        if not cls.__abstractmethods__:
            # 检查bar是否被显式定义且不是NotImplemented
            if 'bar' not in attrs or attrs['bar'] is NotImplemented:
                raise TypeError(f"子类 {name} 必须定义类属性 'bar'")
        return cls

class AbstractFoo(ABC, metaclass=FooMeta):
    bar: list[str] = NotImplemented

# 正确示例
class SpecialFoo(AbstractFoo):
    bar = ["a", "b"]

# 错误示例：创建子类时触发报错
# class BadFoo(AbstractFoo):
#     pass  # 抛出 TypeError: 子类 BadFoo 必须定义类属性 'bar'

这种方式适合需要和其他抽象方法/属性配合使用的场景，能严格遵循ABC的抽象类规范。

方法三：用抽象属性模拟（适合接受实例属性的场景） #

如果可以接受将bar作为实例属性，也可以用@property结合@abstractmethod实现强制重写：

from abc import ABC, abstractmethod

class AbstractFoo(ABC):
    @property
    @abstractmethod
    def bar(self) -> list[str]:
        raise NotImplementedError

class SpecialFoo(AbstractFoo):
    @property
    def bar(self) -> list[str]:
        return ["a", "b"]

# 错误示例：未实现bar属性，实例化时报错
# class BadFoo(AbstractFoo):
#     pass
# obj = BadFoo()  # 抛出 TypeError: Can't instantiate abstract class BadFoo with abstract method bar

注意这种方式定义的bar是实例属性，而非类属性，适合不需要类级别共享的场景。

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