• c3 算法


    class A(object):
        pass
    
    class B(A):
        pass
    
    class C(B):
        pass
    
    class D(object):
        pass
    
    class E(D,C):
        pass
    
    class F(object):
        pass
    
    class G(F):
        pass
    
    class H(C,G):
        pass
    
    class Foo(E,H):
        pass
    print(Foo.mro())
    #
    '''
    首先把每个分段落了解清晰,让c3 算法是这样使用的,想要计算最后一层的Foo类,则需要先计算上一次的E,H,在通过算法得到Foo的继承顺序
    取第一个列表的头,即L[B1][0];如果这个头不在任何其他列表的尾部,那么将它添加到C的线性化中,并从合并中的列表中删除它,
    否则查看下一个列表的头,如果它是一个好的头。然后重复这个操作,直到所有的类都被移除,否则就不可能找到好的头脑。
    在这种情况下,不可能构建合并,Python2.3将拒绝创建类C并引发异常
    备注:O==object
    2.python-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]
    
    获取C3的数组列表,可以梳理清楚子类执行过程中向上执行的顺序
    

      

  • 相关阅读:
    Tiny64140之初始化时钟
    Tiny6410之控制icache驱动
    Tiny6410之按键裸机驱动
    Linux -- man 、info、 whatis、 -h
    Linux -- which whereis
    Linux -- sudoers (简单:转)
    Linux -- sudo
    Linux -- sudoers文件
    Linux -- cp
    Linux -- mv
  • 原文地址:https://www.cnblogs.com/zzy7372/p/9642512.html
Copyright © 2020-2023  润新知