C3 linearization

C3 linearization

在计算机科学中，C3 linearization 是一种算法，主要用于在存在多重继承的情况下获得方法的继承顺序。换句话说，C3 linearization的输出是一个确定的Method Resolution Order(MRO)。

Python的MRO用的就是 C3 linearization 这个算法。

执行这样的一段代码：

class A:
    def foo(self):
        print("A")
class B:
    def foo(self):
        print("B")
        super().foo()
class C(B,A):
    def foo(self):
        print("C")
        super().foo()

C().foo()
print(C.mro())

结果是：

C
B
A
[, , , ]

按理说，B类的super竟然调用了A的foo方法，这怎么可能呢？

super并不一定是去寻找父类, 它的意思是: 沿着mro链往上搜索一格。

多继承语言的一个问题是方法冲突，所以必须规定一个方法搜索顺序来防止冲突，继承结构是一棵树，而我们要求的是一个线性的方法搜索顺序，这就要求我们把一棵树变成一个线性结构。C3 linearization 就是这样的一个算法！

C3 superclass linearization results in three important properties:

• a consistent extended precedence graph,
• preservation of local precedence order, and
• fitting the monotonicity criterion.

参考：https://en.wikipedia.org/wiki/C3_linearization