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 继承 A,C 也继承 A。手动算 MRO 就三步:
立即学习“Python免费学习笔记(深入)”;
- 写出每个类自己的「本地 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 就崩了。










