Python3中新式类中多继承使用的c3算法

最近在看Python新式类和旧式类的区别，发现网上很多材料都说旧式类采用的是深度优先的遍历方法，而新式类采用的是广度优先遍历的方法，但是自己写了一些例子发现并不是广度优先而是c3算法

class G:
    var = "Class G"
class E(G):
    pass
class F(G):
    pass
class B(E):
    pass
class C(F):
    pass
class D(G):
    pass
class A(B,C,D):
    pass
a = A()
print(a.var)
print(A.__mro__)

Class G
(<class '__main__.A'>, <class '__main__.B'>, <class '__main__.E'>, <class '__main__.C'>, <class '__main__.F'>, <class '__main__.D'>, <class '__main__.G'>, <class 'object'>)

会按照123456的顺序查找，很明显可以看出这并不是广度优先的搜索方式

那c3算法又是怎么实现的那？首先来了解几个概念

表头：列表的第一个元素

表尾：除了第一个元素以外的元素，包括空

如：bcd      b就是表头，cd就是表尾

mro是一个有序列表L，在类被创建的时候计算出来。L的性质：结果为列表，列表中至少有一个元素即类自己。

merge： ① 如果列表空则结束，非空 读merge中第一个列表的表头，
               ② 查看该表头是否在 merge中所有列表的表尾中。
               ②-->③ 不在，则 放入 最终的L中，并从merge中的所有列表中删除，然后 回到①中
               ②-->④ 在，查看 当前列表是否是merge中的最后一个列表
               ④-->⑤ 不是 ，跳过当前列表，读merge中下一个列表的表头，然后 回到 ②中
               ④-->⑥ 是，异常。类定义失败

class A(B,C,D)

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

L = [A + merge(BEG, CFG, DG, BCD)]#B是合法表头（既B是第一个列表（BEG）的表头，而且其他列表的表尾中没有B）

L = [A + B ,merge(EG, CFG, DG, CD)]#E是合法表头

L = [A + B + E , merge(G, CFG, DG, CD)]#G不合法，因为在第二第三列表的表尾中出现了G，第一个列表查找完，查找第二个列表，C合法

L = [A + B + E + C, merge(G, FG, DG, D)]#F合法

L= [A + B + E + C + F , merge(G, G, DG, D )]#D合法

L = [A + B + E + C + F + D + G]

以上就是C3算法的流程

super（）方法在多继承中会严格按照mro列表从当前查找到的位置继续往后查找

个人搭建的肿瘤社区http://www.h2cancer.com/希望能为肿瘤患者提供一个交流互助的平台