MRO
Method resolution order是python用来解析方法调用顺序的。MRO对于多重继承中方法调用异常重要。python中有一个内建函数和MRO密切相关——super。顾名思义,super看上去应该是调用父类的方法,通常情况下也是如此。来看一段代码:
这里我们通过super来调用父类的__init__,super(B, self)返回一个bounded对象(因为我们传入了self)。
从输出可以看到,调用正确。就像我们直接调用A.__init__(self)一样。
这样做的好处是,可以不用直接引用基类的名称就可以调用基类的方法。如果我们改变了基类的名称,那么所有子类的调用将不用改变。
但是super其实并不是我们想的那么简单,super不是简单地调用所谓基类的方法,而是调用MRO中的下一个类的方法,也就是类似于next的方法。
对于这段代码,我们可能期望输出像这样:
但事实上,这段代码会引发错误,因为python没有像我们想的那样调用正确的函数。
我们先给出上面的代码中注释掉的输出mro的语句的输出:
出错的原因是因为调用继续到A.__init__时,我们调用了super(A,self).__init__。记得上面我们说过super类似于next函数,是调用mro中下一个类型的方法。
这里我们给出的类型是A,那么mro中下一个类型就是D,很显然,super将会调用D.__init__(self)。可是,D.__init__却接受一个额外的参数arg,所以调用错误。
super并不像它的名字那样,只调用父类的方法,而是调用MRO中,下一个类型的方法。
reference中的链接中给出了使用super的建议,可以作为参考。
Summary
- 如果类被设计成使用了super,那么所有子类也必须要调用super,否则直接调用会出现重复调用的问题
- super调用的目标函数通常是用 *args, **kwargs 作为参数,这样可以解决目标函数参数匹配的问题
MRO Implementation
这个mro是根据The Python 2.3 Method Resolution Order中的描述,自己写出来的。该paper中也有相关的实现,而且更加精巧。
- Python's Super Considered Harmful
- The Python 2.3 Method Resolution Order
- 《Core python programming》