Python 多继承的 MRO 顺序怎么自己算出来?

MRO是Python用C3线性化算法确定的方法查找顺序,保证子类在父类前、父类相对顺序不变、满足单调性;不能靠猜,因多重继承下共同祖先位置和去重规则复杂,须用__mro__或mro()验证。

什么是 MRO,为什么不能靠猜

MRO(Method Resolution Order)是 Python 查找方法时遵循的线性化顺序,不是按继承声明顺序简单拼接,也不是按“深度优先”或“广度优先”直觉推导。Python 用的是 C3 线性化算法,它保证:子类总在父类之前;每个父类的相对顺序在其自身 MRO 中保持不变;满足单调性(即继承关系扩展时,MRO 不会突然打乱已有顺序)。靠手动画继承图+瞎猜,很容易错——尤其当多个父类有共同祖先时,object 的位置、重复基类的去重规则都会影响结果。

__mro__mro() 快速验证,但别只依赖它

运行时查是最稳妥的方式,但得理解它怎么来的,否则遇到动态构建类(比如用

type())、或调试第三方库的继承链时就懵了。直接访问 ClassName.__mro__ 或调用 ClassName.mro() 返回 tuple,里面是类对象,可读但不直观:

class A: pass
class B(A): pass
class C(A): pass
class D(B, C): pass
print(D.__mro__)
# , , , , 

注意:__mro__ 是只读属性,不能改;mro() 是类方法,子类可重写(极少见,但存在);两者结果一致。

C3 算法的手动计算步骤(带例子)

class D(B, C): pass 为例,其中 B 继承 AC 也继承 A。手动算 MRO 就三步:

  • 写出每个类自己的「本地 MRO」:最左是自己,然后是其父类的 MRO(递归),最后是 object。例如:B.__mro__ = (B, A, object)C.__mro__ = (C, A, object)A.__mro__ = (A, object)
  • 构造初始序列:[D] + list(B.__mro__) + list(C.__mro__)[D, B, A, object, C, A, object]
  • 逐个取头元素:若该元素不在其余任何序列的尾部(即没被“挡住”),就把它提出来,从所有序列中删掉它;否则跳过,看下一个。重复直到所有元素被提完或卡住(卡住说明继承定义非法,Python 会报 TypeError: Cannot create a consistent method resolution order

实际操作中,更推荐用 Python 写个简化版 C3 模拟器辅助验证,而不是纯手算——尤其当继承链超过 3 层时,人工容易漏判“是否被挡住”。

常见陷阱和兼容性差异

Python 2 和 Python 3 的 MRO 行为一致(都用 C3),但 Python 2 中经典类(不显式继承 object)走的是深度优先,这点已淘汰,不用管。真正容易翻车的是:

  • super() 调用依赖当前 MRO,不是看代码里写了谁;如果父类方法里又调了 super(),它会继续往后找,不是回到调用者父类
  • 多重继承时,如果两个父类都实现了同名方法,靠 MRO 顺序决定谁生效,但若它们内部逻辑没协作(比如都没调 super()),后一个根本不会被执行
  • 使用 __bases__ 修改继承关系(如 D.__bases__ = (C, B))不会自动更新 __mro__,必须重新创建类,否则行为未定义

真要手动算,重点盯住“共同祖先是否被提前挤出”和“各父类 MRO 中的相对顺序是否被破坏”——这两点错了,MRO 就崩了。