17370845950

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 就三步：

• 写出每个类自己的「本地 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 or

  

  der）

实际操作中，更推荐用 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 就崩了。