Python三种抽象类定义方式的差异及无元类定义的影响

这个问题问得特别接地气——刚接触Python抽象基类（ABC）的时候，确实很容易被这几种写法搞懵。咱们先把核心问题拆解清楚：

先明确A和B的关系：完全等价 #

你观察得没错，类A（显式指定abc.ABCMeta元类）和类B（继承abc.ABC）本质上没有任何区别。因为abc.ABC的源码就是一个用ABCMeta作为元类的空类：

class ABC(metaclass=ABCMeta):
    pass

所以B只是Python为了简化写法提供的语法糖，和A的功能完全一致。

重点：类C的问题（未指定ABCMeta元类） #

类C继承自object，只给方法加了@abc.abstractmethod装饰器，但用的是默认元类type，这会带来几个关键影响：

1. 失去核心约束：抽象类可实例化，子类未实现抽象方法也能实例化 #

ABCMeta元类的核心作用之一，就是拦截抽象类的实例化操作，同时检查子类是否实现了所有抽象方法。但类C用的是默认元类type，所以：

• 你可以直接实例化C本身：C()不会报错（而A()或B()会直接抛出TypeError: Can't instantiate abstract class ...）；
• 子类Cimpl即使完全没实现foo方法（就像你代码里注释掉的那样），也能被实例化，只有当你调用foo()的时候才会触发NotImplementedError——而如果是A/B的子类，实例化阶段就会直接报错，提前暴露问题。

2. 无法使用ABC的高级特性 #

ABCMeta提供了很多实用的ABC特性，比如：

• register()方法：用来注册“虚拟子类”（不需要显式继承，就能被issubclass/isinstance识别）；
• __subclasshook__：自定义子类的判定逻辑；
  这些功能都是ABCMeta元类提供的，类C因为元类是type，所以完全用不了这些特性。

3. 类型识别混乱 #

从你的代码输出也能看到：type(C)是<class 'type'>，而type(A)/type(B)是<class 'abc.ABCMeta'>。这意味着依赖ABCMeta类型判断的代码（比如一些框架的逻辑）会把C当成普通类，而不是抽象基类，可能引发意外行为。

何时必须指定ABCMeta元类？ #

只要你希望这个类是真正意义上的抽象基类，就必须指定ABCMeta（用A或B的写法）：

• 当你需要禁止抽象类本身被实例化时；
• 当你需要强制子类必须实现所有抽象方法时；
• 当你需要使用ABC的高级特性（虚拟子类、自定义子类判定等）时。

不指定ABCMeta是不是错误/不良风格？ #

严格来说这不算语法错误，但绝对是不良风格，甚至可以说是误用了@abstractmethod装饰器：

• 其他开发者看到你的类里有@abstractmethod，会默认认为这是一个不能实例化、子类必须实现方法的抽象类，但实际完全没有约束，容易造成误解；
• 子类未实现抽象方法的问题要到运行时调用方法才会暴露，而不是在实例化阶段就被发现，增加了调试成本；
• 违背了Python抽象基类的设计初衷——@abstractmethod就是和ABCMeta配合使用的，单独使用几乎没有意义。

总结 #

• 推荐使用类B的写法（继承abc.ABC），简洁且符合Python的惯用风格；类A的写法等价，但稍显繁琐；
• 类C的写法不建议使用，它只是给方法打了个抽象标记，却没有抽象基类的核心约束和功能，容易埋下坑。

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