正确定义抽象基类必须同时继承abc.ABC并用@abstractmethod装饰方法;否则子类可实例化,失去约束力。因Python不自动识别抽象方法,仅继承ABC或仅用装饰器均无效,二者缺一不可。

直接说结论:用 abc.ABC 作为父类 + @abc.abstractmethod 装饰方法,就能正确定义抽象基类;不继承 ABC 或漏掉装饰器,子类实例化时不会报错,等于白写。
为什么必须显式继承 abc.ABC?
Python 的抽象基类不是靠“有没有抽象方法”自动识别的。即使你加了 @abc.abstractmethod,如果类没继承 abc.ABC(或其子类),它就只是个普通类——子类可以不实现抽象方法,也能成功实例化。
实操建议:
- 始终让抽象基类直接继承
abc.ABC,不要只靠装饰器“撑场面” - 避免用
metaclass=abc.ABCMeta这种老写法(Python 3.4+ 已不推荐) - 继承链中只要有一层是
ABC子类即可,不需要每层都写
@abc.abstractmethod 只能修饰实例方法吗?
不是。它可以修饰实例方法、类方法、静态方法和属性(@property),但行为有差异:
立即学习“Python免费学习笔记(深入)”;
- 实例方法:子类必须提供同签名的实例方法
- 类方法:子类需用
@classmethod+@abc.abstractmethod(顺序无关,但建议先@classmethod) - 静态方法:同样支持,但注意它无法访问类或实例状态
- 属性:用
@property+@abc.abstractmethod,子类得重写@property,不能只定义普通变量
常见错误:把 @abc.abstractmethod 错贴在 __init__ 上——这会导致子类无法初始化,因为 __init__ 不会被继承覆盖,而是被调用两次。
子类忘记实现抽象方法时,报错时机很关键
错误不是在定义子类时抛出,而是在**尝试实例化子类时**才触发 TypeError: Can't instantiate abstract class ...。这意味着:
- 单元测试里如果没跑实例化逻辑,可能长期漏掉未实现的方法
- 类型检查工具(如 mypy)通常无法捕获这类运行时约束,别依赖它报错
- 想提前发现,可在子类定义末尾加
assert not issubclass(YourSubclass, abc.ABC)(仅调试用)
示例:若 class Dog(Animal) 没实现 make_sound,只有执行 Dog() 才报错,issubclass(Dog, Animal) 仍返回 True。
抽象基类和 typing.Protocol 到底该用哪个?
这是最容易混淆的点:两者都用于“约定接口”,但机制完全不同。
-
abc.ABC是“主动强制”——靠继承关系和实例化拦截来保证实现 -
typing.Protocol是“被动结构匹配”——只做类型提示,运行时不生效,也不要求继承
选型建议:
- 需要运行时校验(比如框架插件必须实现某方法才能加载),用
abc.ABC - 只是给 IDE 和 mypy 提供提示,且希望支持鸭子类型(比如任意带
read()方法的对象都能当 file-like),用Protocol - 别混用:给
Protocol加@abc.abstractmethod没意义,Protocol不走 ABC 元类逻辑
真正难处理的是跨模块协作时,有人习惯用 ABC,有人倾向 Protocol,文档和 review 得盯紧这点。


















