Method Resolve Order (MRO) - 类对象属性的解析顺序

Method Resolve Order (MRO) - 类对象属性的解析顺序

Python 支持多重继承, 此时就需要解决按照何种顺序来解析属性的问题.
类的继承关系在一个特殊的类属性中指定(__mro__).这个属性的作用是按照序列出类及其超类, python 会按照这个顺利搜索方法。
任何实现了多重继承的语言都要处理潜在的命名冲突问题，这种冲突由不相关的父类实现的同名方法所引起的,称为'菱形问题'。

举个例子,

 class A(list):
     def disp(self):
         print('Class A - disp')

 class B(list):
     def disp(self):
         print('Class B - disp')

     def dispB(self):
         print('Class B - dispB')

 class C(A):
     pass

 class D(C, B):
     pass

 if __name__ == '__main__':
     abc = D()
     abc.disp()
     abc.dispB()
     print(D.__mro__)
     print(C.__mro__)
     print(B.__mro__)
     print(A.__mro__)

 '''
 Output,
     Class A - disp
     Class B - dispB
     (<class '__main__.D'>, <class '__main__.C'>, <class '__main__.A'>, <class '__main__.B'>, <class 'list'>, <class 'object'>)
     (<class '__main__.C'>, <class '__main__.A'>, <class 'list'>, <class 'object'>)
     (<class '__main__.B'>, <class 'list'>, <class 'object'>)
     (<class '__main__.A'>, <class 'list'>, <class 'object'>)
 '''

D 的基类都实现了 disp 方法。当实例 abc 调用 disp() 方法的时候，是运行 A 或者 B 中的 disp 方法呢？
Python 内部首先完成对 D 这个类的 MRO 顺序的建立. 这个顺序存储在 D.__mor__ 属性中, 其为一个 tuple 对象,
依次存放着 class 对象. 这个 tuple 中 class 对象的顺序就是 Python 虚拟机在解析 D 这个类的属性时的顺序。
最终这个 tuple 将被保存在 PyTypeObject.tp_mro 中.

示例中各个类的继承顺序,
    D -> C -> A -> B -> list -> object
    C -> A -> list -> object
    B -> list -> object
    A -> list -> object

即,
    (<class '__main__.D'>, <class '__main__.C'>, <class '__main__.A'>, <class '__main__.B'>, <class 'list'>, <class 'object'>)
    (<class '__main__.C'>, <class '__main__.A'>, <class 'list'>, <class 'object'>)
    (<class '__main__.B'>, <class 'list'>, <class 'object'>)
    (<class '__main__.A'>, <class 'list'>, <class 'object'>)

    注, MRO 设计到 '深度优先' 和 '广度优先' 两个概念.可以把这两个概念想象成两个维度. 深度优先 为 纵向维度, 广度优先 为 横向维度.

以示例为例,
        D - C     - B     - list      - object
            |       |       |           |
            A       list    object      object
            |       |
            list    object
            |
            object

        在 横向上(广度优先概念), 如果实例 abc 调用 disp 方法, 最终会运行 class B 中的 disp 属性.
        在 纵向上(深度优先概念), 如果实例 abc 调用 disp 方法, 最终会运行 class A 中的 disp 属性.
        即 MRO 是 深度优先搜索。