转载 python多重继承C3算法

备注：O==object

2.python-C3算法解析：

#C3 定义引用开始

C3 算法：MRO是一个有序列表L，在类被创建时就计算出来。

L（Child（Base1，Base2）） = [ Child + merge（ L（Base1） ,  L（Base2） ,  Base1Base2 ）]

L（object） = [ object ]

L的性质：结果为列表，列表中至少有一个元素即类自己。

例如：

L(D) = L(D(O))

= D + merge(L(O))

= D + O

= [D,O]

L(B) = L(B(D,E))

= B + merge(L(D) , L(E))

= B + merge(DO , EO) # 第一个列表DO的表头D，其他列表比如EO的表尾都不含有D，所以可以将D提出来，即D是合法表头

= B + D + merge(O , EO) #从第一个开始表头是O,但是后面的列表EO的表尾中含有O所以O是不合法的，所以跳到下一个列表EO

= B + D + E + merge(O , O)

= [B,D,E,O]

同理:

L(C) = [C,E,F,O]

L(A(B,C)) = A + merge(L(B),L(C),BC)

= A + merge(BDEO,CEFO,BC)#B是合法表头

= A + B + merge(DEO,CEFO,C)#D是合法表头

= A + B + D + merge(EO,CEFO,C)#E不是合法表头，跳到下一个列表CEFO，此时C是合法表头

= A + B + D + C + merge(EO,EFO)#由于第三个列表中的C被删除，为空，所以不存在第三个表，只剩下两个表；此时E是合法表头

= A + B + D + C + E + merge(O,FO)#O不是合法表头，跳到下一个列表FO，F是合法表头，

= A + B + D + C + E + F + merge(O,O)#O是合法表头

= A + B + D + C + E + F + O

= [A,B,D,C,E,F,O]

从下到上从左往右找，如果我在后面还有机会找到这个类，那么我就先放下这个类，在去往右边走。比如上面这个，从下到上，从左往右，首先找到B，按理说该往右，也就是找C了，但是，由于后面的类，都没有一个继承D的，只有B继承了，如果我错过了D,那么我以后就没机会再次遇到D了，于是我先走到D，然后在走o，由于o，后面的类有继承这个o，所以我先放过这个0，再接着走到c

或者可以这样说，先是从下到上的去走，直到走到了一个后面也会继承的类，然后在向下退回到最开始分支的地方，往右走