python MRO:C3算法 | 易学教程

在 python 2.2 之后，python 实现了一个新的ＭＲＯ算法：Ｃ３算法，用于方法解析顺序。

一、什么是方法解析顺序

方法解析顺序：多重继承时，用于在子类中调用父类方法时确定调用哪个父类的方法。

多重继承代码示例：

#!/usr/bin/python 
#-*- coding:utf8 -*-

class A(object):
    def echo(self):
        print "class_A"

class B(A):
    pass
    #def echo(self):
    #    print "class_B"

class C(A):
    def echo(self):
        print "class_C"


class D(B,C):
    pass 
print D.__mro__  //python使用__mro__ 来存储线性化计算的结果。

ubuntu@yee:/tmp$ python mro.py 
(<class '__main__.D'>, <class '__main__.B'>, <class '__main__.C'>, <class '__main__.A'>, <type 'object'>)

可以看到顺序为： D --> B --> C --> A --> object

当子类Ｄ调用echo方法时：

D().echo()

python 先搜索Ｄ本地类，再搜索Ｂ，有则返回，无则继续搜索Ｃ　，以此类推。

二、Ｃ３算法的原理

上面示例代码中所用到的正是Ｃ3算法，算法的表达式为：

L[D(B,C)] 
= D + merge(L[B],L[C],[B,C])

以上表达式也等同于： 
==> 
Ｌ[D(B,C)] = D + merge(mro(B,object),mro(C,object),[B,C]) ==>     Ｌ[D(B,C)]  =  D + merge( [B,object], [C,
object],[B,C])  [] : 列表表达式
merge: Ｃ3算法的核心

《python高级编程》中是这样写的：

取第一个列表的头，也就是L[B,object] ，如果这个头不在任何表的尾部，那么将它加到Ｃｌａｓｓ D的线性化中，并且从合并中的列表里删除；否则查找下一个列表的头，如果是个好的表头则取出它。需要注意的是：表头指是第一个元素，尾部是指除表头之外的其它所有元素。如[A,B,C,D,E,F],A是表头，[B,C,D,E,F]是尾部。

方式解析：

L(D(B,C)) = D + merge( [B,object] ,[C,object] , [B,C] )

#列表[B,object]的表头是Ｂ，没有出现在其它表([C,object] 、[B,C] )的尾部

= [D, B] + merge( [object], [C,object] , [C] )

#列表[Ｃ,object]的表头是Ｃ，没有出现在其它表([object] 、[C] )的尾部，注意 [C] 这个列表只有表头，没有尾部

= [D, B,C] + merge( [object] , [object] )

= [D, B,C,object]

通过以上的运算，可以得出跟 D().__mro__ 一样的结果。

来源：oschina

链接：https://my.oschina.net/u/1043170/blog/136997

标签

python

mro

c3算法