abc.ABC的抽象约束是懒检查的，仅在实例化时触发TypeError；@abstractmethod只能修饰方法而非__init__或属性；多继承需显式指定metaclass=ABCMeta避免冲突；可主动检查__abstractmethods__提前发现问题。
为什么 abc.ABC 不能靠继承就自动生效
很多人以为只要继承了 abc.ABC，子类没实现抽象方法就会报错——实际不会。Python 的抽象基类约束是“懒检查”的：只有在尝试实例化子类时，才会触发 TypeError，提示缺失抽象方法。如果子类只是定义、从不实例化，哪怕漏掉全部 @abstractmethod 也不会暴露问题。
这导致两个常见隐患：
- 单元测试没覆盖实例化路径，上线后才崩
- IDE 或静态检查工具（如 mypy）无法提前发现接口缺失，除非显式标注
typing.Protocol或启用abc.ABCMeta的元类校验
所以，真要强约束，得主动触发检查或配合类型系统。
@abstractmethod 必须标记在方法上，而非属性或 __init__
抽象方法必须用 @abstractmethod 显式装饰，且只能用于实例方法、类方法、静态方法和 property 的 getter。它不能直接套在 __init__ 上——构造逻辑应由具体子类自行决定；也不能套在普通属性名上（比如写 @abstractmethod def name: 是语法错误）。
立即学习“Python免费学习笔记（深入）”；
正确写法示例：
from abc import ABC, abstractmethod
<p>class DataProcessor(ABC):
@property
@abstractmethod
def format(self) -> str:
...</p><pre class="brush:php;toolbar:false;">@abstractmethod
def load(self, path: str) -> dict:
...
@classmethod
@abstractmethod
def supported_versions(cls) -> list:
...
注意：@property 和 @abstractmethod 的顺序不能颠倒，否则装饰器失效；... 是合法占位符，比 pass 更明确表示“此处无实现”。
用 metaclass=ABCMeta 替代继承 ABC 的真实区别
写 class A(ABC): 和 class A(metaclass=ABCMeta): 行为一致，因为 ABC 本身只是 ABCMeta 的一个预设实例。但关键差异在于：如果你的基类还需继承其他有 metaclass 的类（比如某些 ORM 框架的 Model 类），就不能再继承 ABC，必须手动指定 metaclass=ABCMeta 并做兼容合并。
例如，与 django.db.models.Model 共存时：
from abc import ABCMeta
from django.db import models
<p>class ValidatedModel(models.Model, metaclass=ABCMeta):</p><h1>此处必须显式写 metaclass，否则报错 "metaclass conflict"</h1><pre class="brush:php;toolbar:false;">@abstractmethod
def clean_data(self):
...
此时若仍写 class ValidatedModel(models.Model, ABC):，会触发 TypeError: metaclass conflict。
运行时强制检查抽象方法是否被实现的简单手段
不想等实例化才报错？可以在包初始化或测试入口处，对所有已知子类做一次 issubclass(cls, YourABC) + hasattr(cls, '__abstractmethods__') 检查：
for subclass in all_known_subclasses:
if issubclass(subclass, DataProcessor) and subclass.__abstractmethods__:
raise RuntimeError(
f"{subclass.__name__} missing implementations: "
f"{subclass.__abstractmethods__}"
)
更实用的做法是，在 CI 流程中跑一段脚本，导入所有模块后扫描 globals() 中的类，过滤出继承自你的 ABC 的类并检查 __abstractmethods__ 是否为空。这不是 Python 原生机制，但能堵住“只定义不实例化”的漏网之鱼。
真正难防的是动态生成类（比如用 type() 构造）、或通过 __subclasses__() 隐式派生却不导入的类——这些场景下，抽象约束本质是契约而非铁律，得靠文档+CR+类型注解协同兜底。
