转载 python多重继承C3算法

时间:2024-06-21 09:34:50

转载 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

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

转载 python多重继承C3算法