python源码解析读书笔记（三）——对象和函数

1.mro

算法，自身先入栈，而后按声明顺序继承每个父类的mro，内部对象在最后。简单来说，深度优先，从左向右。

当类对象创建时，会将父类所有函数全部复制过来（很明显，应当是符号复制）。

2.super规则

>>> class A(object):
…     def f(self): print 'A'
…
>>> class B(object):
…     def f(self): print 'B'
…
>>> class C(A):
…     def f(self): print 'C'
…
>>> class D(C, B):

…     def f(self): super(D, self).f()
…
>>> d = D()
>>> d.f()
C
>>> D.__base__
<class '__main__.C'>
>>> D.__bases__

(<class '__main__.C'>, <class '__main__.B'>)
>>> class A(object):
…     def f(self): print 'A'
…
>>> class B(object):
…     def g(self): print 'B'
…
>>> class C(A, B):
…     def f(self): super(C, self).g()
…
>>> c = C()
>>> c.f()
B
>>> C.__mro__
(<class '__main__.C'>, <class '__main__.A'>, <class '__main__.B'>, <type 'object'>)

super的算法是跟随mro次序，寻找非本类第一个符合名称的函数，调用之。

3.construct

instance = cls.__new__(cls, *args, **kargs)
cls.__init__(instance, *args, **kargs)

4.bound method

>>> class A(object):
…     def f(self): pass
…
>>> a = A()
>>> a.__class__.__dict__['f']
<function f at 0xb7595454>
>>> a.f
<bound method A.f of <__main__.A object at 0xb75a1e6c>>
>>> a.f.im_self
<__main__.A object at 0xb75a1e6c>

bound method是一个函数对象和一个实例对象的集合。

5.descriptor

>>> class A(object):
…     def __get__(self, obj, cls): return 'A.__get__ %s %s %s' % (self, obj, cls)

…
>>> class B(object):
…     v = A()
…
>>> b = B()
>>> b.v
"A.__get__ <__main__.A object at 0xb75a1cac> <__main__.B object at 0xb75a1cec> <class '__main__.B'>"

某个instance的属性查找顺序为，obj.__dict__，class属性（按照mro顺序）。如果有data descriptor则先于obj.__dict__。

于是，这解释了一个问题。我们定义函数的时候，定义的都是“类函数”，即函数是类的成员。为什么最终函数会变成实例的成员呢？为什么又在调用时会自动产生一个self呢？

实例在查找的时候，会先查找class属性中的descriptor。假定class有成员函数f，当使用obj.f时，首先命中这个函数对象，因为这个对象是一个descriptor。descriptor在取值时，会被调用__get__方法，这一方法有obj参数。于是函数对象的默认__get__返回了一个bound method，其中包含了self和函数对象自身。

这种行为在每次调用时都会发生，因此实例成员函数的性能比unbound method直接写对象要慢。