【面向对象】Python面向对象之多继承算法

Python的多继承类的声明如下:

def Son(F1,F2):
  def __init__(self):
    F1.__init__(self)
    F2.__init__(self)

Python的类分为经典类和新式类:

经典类:默认是没有继承任何基类的类,2.2版本之前的东西,2.7之后还在兼容,新式类在2.2版本之后都可以使用
新式类:new style class ,3.x之后全部都使用新式类!具体的表现为class name(object),默认继承Object基类

官方推荐使用新式类替换经典类,因为经典类对于多重继承采用的从左到右深度优先匹配算法存在一些问题。也就是如果方法同名,有的时候会绕过一些想要访问的方法,只指向一个方法。

2.x版本中使用的是深度优先算法,而3.x版本使用的是c3算法,和广度优先算法在某些情况下是不一样的

深度优先算法:

以顶点为起始点,从左到右开始遍历,当遍历到一个节点的时候,判断是否有左右两个顶点,优先选择左边的作为顶点,再继续遍历下去,当遍历完成后,选择未曾访问的顶点重新遍历


深度优先

如图:根据深度优先算法,就是v1-v2-v4-v5-v3-v6

广度优先算法

以顶点为起始点,从左到右开始遍历,一层一层地向下遍历,从左到右


广度优先

如图:根据广度优先算法:就是v1-v2-v3-v4-v6-v5

C3算法:(找表头很重要)

C3算法

C3 定义引用开始

C3 算法:MRO是一个有序列表L,在类被创建时就计算出来。
L(Child(Base1,Base2)) = [ Child + merge( L(Base1) , L(Base2) , Base1Base2 )]
L(object) = [ object ]
L的性质:结果为列表,列表中至少有一个元素即类自己。
“+” : 添加到列表的末尾,即 [ A + B ] = [ A,B ]
merge: ① 如果列表空则结束,非空 读merge中第一个列表的表头,
② 查看该表头是否在 merge中所有列表的表尾中,或者不在表尾的第一个字母
②-->③ 不在,则 放入 最终的L中,并从merge中的所有列表中删除,然后 回到①中
②-->④ 在,查看 当前列表是否是merge中的最后一个列表
④-->⑤ 不是 ,跳过当前列表,读merge中下一个列表的表头,然后 回到 ②中
④-->⑥ 是,异常。类定义失败。
表头: 列表的第一个元素 (列表:ABC,那么表头就是A,B和C就是表尾)
表尾: 列表中表头以外的元素集合(可以为空)
merge 简单的说即寻找合法表头(也就是不在表尾中的表头),如果所有表中都未找到合法表头则异常。

C3定义引用结束

例如:
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]

image.png

L(D)
= L(D(B,C)) 取出D
= D + merge(BA+CA+BC) 查看merge的表头,取出B,去除C,剩下A
= D + B + C + A

总的来说:c3算法保证了继承优先顺序的情况,使得在不断的继承中也能保持顺序

你可能感兴趣的:(【面向对象】Python面向对象之多继承算法)