Python中的方法解析顺序深入理解即super()和Method Resolution Order详解

简介

Python和其它任何面向对象的语言都需要面对多继承的问题，多继承会带来非常复杂的问题，包括类的多继承和函数的多继承等。而全网中目前很少有人能参考python的官方文档对super函数和Method Resolution Order进行较为准确的分析。
在这里，我对这两个问题进行分析和记录，如有问题，欢迎讨论。

MRO规则

MRO规则是第一个需要讨论的问题，即在多继承的情况下如何对类中的同一个名字的函数进行调用。讨论在Python 2.3中定义的规则前，我们先定义一些基本概念。
一组类的列表

C1 C2 ... CN

或：

[C1 C2 ... CN]

其头部为：

head = C1

其尾部为：

tail = C2 ... CN

注意其尾部为剩余的所有的类。
两个列表的和计算规则如下：

C + (C1 C2 ... CN) = C C1 C2 ... CN

MRO规则1

对一个类C其MRO的计算为其父类的MRO及父类列表的和，即：

L[C(B1 ... BN)] = C + merge(L[B1] ... L[BN], B1 ... BN)

其中L[B1] ... L[BN]等为父类的MRO，而B1 ... BN为父类的列表。这里注意的是，父类列表是在父类MRO的后面。在构建一个类的聚合公式的时候，就要按照这个顺序来，即其继承的类从左到右开始，先将其继承的类的MRO排上，然后再将继承的类排上。

MRO规则2

如果C是object类，也即其没有父类，那么其MRO列表只有object 。

MRO规则3

bad head是类似如下的列表：

EO
DE

上述两个MRO列表中，E分别位于head和tail，C3程序不知道应该如何安排E，因此这样的E称为bad head。
C3程序先从左往右开始选父类，先从第一个列表中选择head，如果这个head不在后续列表中的tail中，那么就将其加入到当前类的MRO中去。否则就查看下一个列表的head。重复这个过程，直到全部的类都被安排完或者找不到good head。

MRO规则4

每一个类的MRO都是从本体开始到object结束。例子如下：