《Python 源码剖析》一些理解以及勘误笔记（2）

淡淡的烟草味﹌ 2022-08-08 00:45 116阅读 0赞

以下是本人阅读此书时理解的一些笔记，包含一些影响文义的笔误修正，当然不一定正确，贴出来一起讨论。

注：此书剖析的源码是2.5版本，在python.org 可以找到源码。纸质书阅读，pdf 贴图。

文章篇幅太长，故切分成3部分，这是第二部分。

**p248:** 嵌套函数、闭包和 decorator

co\_cellvars: 通常是一个tuple，保存嵌套的作用域内使用的变量名集合；

co\_freevars: 通常是一个tuple，保存使用了的外层作用域中的变量名集合。

如下的一段Python 代码：

Python Code

<table style="width:946px; font-family:Consolas,'Courier New'; font-size:12px; vertical-align:text-top; line-height:15px"> 
 <tbody> 
 <tr> 
 <td style="color:rgb(0,130,132); background-color:rgb(227,227,227); vertical-align:text-top"> 
 <div style="margin:7px; text-align:right; white-space:nowrap">
 1 
 2 
 3 
 4 
 5 
 6 
 7 
 8 
 
 </div> </td> 
 <td style="background-color:rgb(0,130,132); padding:1px"> 
 <div style="border:1px solid rgb(0,130,132)"></div> </td> 
 <td style="background-color:rgb(239,239,239); width:921px; vertical-align:text-top"> 
 <div style="margin:7px"> 
 def&nbsp;get_func(): 
 &nbsp;&nbsp;&nbsp;&nbsp;value&nbsp;=&nbsp; 
 "inner" 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 def&nbsp;inner_func(): 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 print&nbsp;value 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 return&nbsp;inner_func 
 
 show_value&nbsp;=&nbsp;get_func() 
 show_value() 
 </div> </td> 
 </tr> 
 </tbody> 
</table>

则py 文件编译出来的PyCodeObject 有3个，那么与get\_func 对应的对象中的 co\_cellvars 就应该包含字符串 "value"，而与 inner\_func

对应的PyCodeObject 对象的co\_freevars 也应该有字符串"value"。

闭包从创建、传递到使用的全过程可以用以下三幅图演示：

![20150426144506138][]

![20150426144403295][]![20150426144411329][]

inner\_func 可以认为是 get\_func 的局部变量，如图2 中 inner\_func 对应的 PyFunctionObject 对象的 func\_closure 指向 tuple。在inner\_func 调用过

程中，tuple 中包含的一个个cell 对象就被放到 f\_localplus 中相应的位置，当引用外层作用域符号时，一定是先到 f\_localsplus 中的 free 变量区域获

取符号对应的值。实际上 value 的值可以通过 show\_value.\_\_closure\_\_\[0\].cell\_contents 访问到。使用闭包的时候需要注意返回的函数不要引用任何循环变量，或者后续会发生变化的变量，否则出现的情况可能与你预期不同。

在closure 技术的基础上，Python 实现了 decorator，decorator 可以认为是 "func = should\_say(func)" 的一种包装形式。

Python Code

注意还有含参的装饰器（再封装一层），以及装饰类（接收一个类，并返回一个新类）。

**p264:** Python 中的可调用性（**callable**）。只要一个对象对应的class 对象中实现了"\_\_call\_\_" 操作（更确切地说，在 Python 内部的

PyTypeObject 中，tp\_call 不为空），那么这个对象就是一个可调用的对象，比如：

class A(object):

> def \_\_call\_\_(self): print 'Hello Python'

那么 a= A() a() 会输出'Hello Python' ；可以认为 PyA\_Type 对象的 tp\_call 不为空。在 c++ 看来也就是函数对象的实现。

所谓 “调用”，就是执行对象的 type 所对应的 class 对象的 tp\_call 操作。

**p268: 内置类型**对应的PyTypeObject 的tp\_dict 填充、descriptor

在Python 内部，存在多种 descriptor，PyType\_Ready 在通过add\_operators 添加了 PyTypeObject 对象中定义的一些 operator 后，

还会通过 add\_methods、add\_members、add\_getsets 添加在PyType\_Object 中定义的 tp\_methods、tp\_members、tp\_getset 函数

集。这些 add\_\*\*\* 的过程与 add\_operator 类似，不过最后添加到 tp\_dict 中的descriptor 就不再是PyWrapperDescrObject，而分别是

PyMethodDescrObject、PyMemberDescrObject、PyGetSetDescrObject。

注：PyWrapperDescrObject 的 ob\_type 是 PyWrapperDescr\_Type，PyWrapperDescr\_Type 对象中的 tp\_call 是wrapperdescr\_call，当

Python 虚拟机”调用“一个 descriptor 时，也就会调用 wrapperdescr\_call 。

一般而言，对于一个 Python 中的对象obj，如果 obj.\_\_class\_\_ 对应的 class 对象中存在 \_\_get\_\_ 、\_\_set\_\_、\_\_delete\_\_ 三种操作，那么 obj 可以称

为Python 的一个 descriptor。像 PyWrapperDescr\_Type 的 tp\_descr\_get 设置了 wrapperdescr\_get，故称 PyWrapperDescrObject 为 descriptor。

![20150426144556776][]

如上图来说，实际上 mp\_subscript 和 d\_wrapped 都是函数指针变量，它们的值相等，都是 list\_subscript 。

如下的例子重写了list 的 '\_\_repr\_\_ ' 方法，则初始化完成后的 A 如下图所示：

class A(list):

> def \_\_repr\_\_(self): return ‘Python'

![20150502003730731][]

即如果没有重写则 A.tp\_repr 没有定义，A.tp\_dict 里面也没有定义 '\_\_repr\_\_'，当 a = A(); a.\_\_repr\_\_() 找到是在mro 列表中某个基类定义的

'\_\_repr\_\_' ，比如 PyList\_Type 的 d\_wrapped 和 tp\_repr 一样，都是 list\_repr。

如果重写了则创建时A.tp\_repr 被赋值为 slot\_to\_repr。在 slot\_to\_repr 中，会寻找 '\_\_repr\_\_' 方法对应的 PyFunctionObject 对象，正好就找到在 A 定

义中重写的函数。比如 A.\_\_dict\_\_\['\_\_repr\_\_'\] 显示是<function \_\_repr\_\_ at ...>，而

list.\_\_dict\_\_\['\_\_repr\_\_'\] 显示的是 <slot wrapper '\_\_repr\_\_' of 'list' object>。

所谓的MRO 即 Method Resolve Order，也是一个class 对象的属性解析顺序（继承情况下），class A(list) class B(list) class C(A) class D(C, B)

则 D 的 mro 列表 是(D, C, A, B, list)，保存在 PyTypeObject.tp\_mro 中，可以访问 type.\_\_mro\_\_ 获取。

基类中的子类列表保存在 PyTypeObject.tp\_subclasses 中，比如访问 int.\_\_subclasses\_\_() 是 <type 'bool'>。

Python 虚拟机在 PyType\_Ready 中对各种**内置类型**对应的 PyTypeObject 对象进行了复杂的改造动作，包括如下：

1). 设置 ob\_type 信息，tp\_base 信息（指向一个 PyTupleObject 对象，即基类列表）；

2). 填充 tp\_dict（**自定义类型填充的是自定义函数和class 变量**）；

3). 确定 mro 列表在 tp\_mro；

4). 基于mro 列表从基类继承属性操作（**自定义类型不会继承基类属性操作到tp\_dict**）；

5). 设置基类的子类列表在 tp\_subclasses 。

**p286:** 在创建类对应的 PyFrameObject 对象时，f\_locals 被创建并指向一个PyDictObject 对象，包含**class 变量和成员函数对象**，在 Frame 回退

时 f\_locals 先会被压入到运行时栈后被弹出给前一个 Frame 的运行时栈，并作为创建 class 对象的其中一个属性表参数，这个参数一般还包含

\{'\_\_module\_\_' : '\_\_main\_\_', '\_\_doc\_\_' : None\}。

而在函数机制中，f\_locals 被设置为NULL，函数机制中的局部变量是以一种位置参数的形式放在了运行时栈前面的那段内存中。

**p292:** slotoffset = base->basicsize;  basicsize 修改为 tp\_basicsize 。

**p283:** 创建 class 对象、创建 instance 对象

PyIntObject、PyDictObject 等对象是Python 静态提供的，它们都具有相同的接口集合，当然有的对象可能不支持某个接口，但这并

不影响它们的所有元信息全存储在其类型对象 PyType\_Type 中；而用户自定义的class 对象A，其接口是动态的，不可能在

metaclass 中静态地指定，故在利用PyType\_Type 对象创建 用户自定义 class 对象A 时还需要传递 (classname, bases 基类列表,

methods 属性表\[class 变量、成员函数\])。

因为PyType\_Type 实现了 tp\_call，故我们说 **'调用'** PyType\_Type 创建一个自定义class 对象，流程是

call\_function --> do\_call --> PyObject\_Call --> tp\_call(type\_call) --> tp\_new(type\_new) --> tp\_alloc,

tp\_alloc 继承自<type 'object'> 的 tp\_alloc 即 PyType\_GenericAlloc，最终申请的内存大小是

metatype->tp\_basicsize + metatype->tp\_itemsize，从 typeobject.c 中的定义可以看到实际上就是

sizeof(PyHeapTypeObject) + sizeof(PyMemberDef)。

而 Atype->tp\_basicsize = base->tp\_basicsize + 8; Atype->tp\_itemsize = base->itemsize; 其中 8 是 2\*sizeof(PyObject\*)

Atype->tp\_dictoffset = base->tp\_basicsize; Atype->tp\_weaklistoffset = base->tp\_basicsize + 4;

如果自定义 class 重写了 \_\_new\_\_， 将\_\_new\_\_ 对应的函数改造为 static method; Atype->tp\_dict 设置为 methods 属性dict ; 调用 PyType\_Ready

对 class 对象进行初始化。

![20150427101926120][]

当通过 a=A() 这样的表达式创建instance 对象时，即 **‘调用’**  class 对象将创建 instance 对象，同样沿用上面的调用路径，但

PyType\_Type.tp\_call 中调用的是A.tp\_new，A.tp\_new 继承自object.tp\_new，在PyBaseObject\_Type 中定义为object\_new。

在object\_new 中，调用了A.tp\_alloc，这个操作也是继承自object，即PyType\_GenericAlloc。由上面分析可知，申请的内存大小为

A.tp\_basicsize + A.tp\_itemsize(0) ，申请完内存空间回到 type\_call，由于创建的不是 class 对象而是 instance 对象，会尝试调用

AType->tp\_init 进行 instance 初始化。一般情况下我们会重写 class A 的 '\_\_init\_\_' 方法，故 tp\_init 不再是在 PyType\_Ready 中继承

的PyBaseObject\_Type 的 object\_init 操作，而是 slot\_tp\_init。

**p296:** 访问和设置 instance 对象中的属性

Python Code

在 Python 中，形如 x.y or x.y() 形式的表达式称为“属性引用”，属性可能是简单的数据或者成员函数。PyObject\_GetAttr 中调用 Atype->tp\_getattro

操作，是继承自 PyBaseObject\_Type 的 PyObject\_GenericGetAttr、对应的还有 PyObject\_GenericSetAttr，下面是简略版函数实现。

C++ Code

<table style="width:100%; font-family:'Consolas','Courier New'; font-size:12px; vertical-align:text-top; line-height:15px"> 
 <tbody> 
 <tr> 
 <td style="color:#008284; background-color:#e3e3e3; vertical-align:text-top"> 
 <div style="margin:7px; text-align:right; white-space:nowrap">
 1 
 2 
 3 
 4 
 5 
 6 
 7 
 8 
 9 
 10 
 11 
 12 
 13 
 14 
 15 
 16 
 17 
 18 
 19 
 20 
 21 
 22 
 23 
 24 
 25 
 26 
 27 
 28 
 29 
 30 
 31 
 32 
 33 
 34 
 35 
 36 
 37 
 38 
 39 
 40 
 41 
 42 
 43 
 44 
 45 
 46 
 47 
 48 
 49 
 50 
 51 
 52 
 53 
 54 
 55 
 56 
 57 
 58 
 59 
 60 
 61 
 62 
 63 
 64 
 65 
 66 
 67 
 68 
 69 
 70 
 71 
 72 
 73 
 74 
 75 
 76 
 77 
 78 
 79 
 80 
 81 
 82 
 83 
 84 
 85 
 86 
 87 
 88 
 89 
 90 
 91 
 92 
 93 
 94 
 95 
 96 
 97 
 98 
 99 
 100 
 101 
 102 
 103 
 104 
 105 
 106 
 107 
 108 
 109 
 110 
 111 
 112 
 113 
 114 
 115 
 116 
 117 
 118 
 119 
 120 
 121 
 122 
 123 
 124 
 125 
 126 
 127 
 128 
 129 
 130 
 131 
 132 
 133 
 134 
 135 
 136 
 137 
 138 
 139 
 140 
 141 
 142 
 143 
 144 
 145 
 146 
 147 
 
 </div> </td> 
 <td style="background-color:#008284; padding:1px"> 
 <div style="border:1px #008284 solid"></div> </td> 
 <td style="background-color:rgb(239,239,239); width:100%; vertical-align:text-top"> 
 <div style="margin:7px"> 
 //&nbsp;a&nbsp;=&nbsp;A()&nbsp;&nbsp;a.f() &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;// object.c&nbsp; //&nbsp;obj=&amp;a&nbsp;&nbsp;name&nbsp;=&nbsp;"f" PyObject&nbsp;* 
 PyObject_GenericGetAttr(PyObject&nbsp;*obj,&nbsp;PyObject&nbsp;*name) 
 { 
 &nbsp;&nbsp;&nbsp;&nbsp;PyTypeObject&nbsp;*tp&nbsp;=&nbsp;obj-&gt;ob_type;&nbsp;&nbsp; 
 //&nbsp;A &nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*descr&nbsp;=&nbsp; 
 NULL; 
 &nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*res&nbsp;=&nbsp; 
 NULL; 
 &nbsp;&nbsp;&nbsp;&nbsp;descrgetfunc&nbsp;f; 
 &nbsp;&nbsp;&nbsp;&nbsp;Py_ssize_t&nbsp;dictoffset; 
 &nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;**dictptr; 
 
 &nbsp;&nbsp;&nbsp;&nbsp;... 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(tp-&gt;tp_dict&nbsp;==&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(PyType_Ready(tp)&nbsp;&lt;&nbsp; 
 0) 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 
 //&nbsp;在&nbsp;A&nbsp;的&nbsp;mro&nbsp;列表中的基类对象的&nbsp;tp_dict&nbsp;中查找&nbsp;'f'&nbsp;对应的&nbsp;descriptor&nbsp; &nbsp;&nbsp;&nbsp;&nbsp; 
 /*&nbsp;Inline&nbsp;_PyType_Lookup&nbsp;*/ 
 &nbsp;&nbsp;&nbsp;&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Py_ssize_t&nbsp;i,&nbsp;n; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*mro,&nbsp;*base,&nbsp;*dict; 
 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 /*&nbsp;Look&nbsp;in&nbsp;tp_dict&nbsp;of&nbsp;types&nbsp;in&nbsp;MRO&nbsp;*/ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mro&nbsp;=&nbsp;tp-&gt;tp_mro;&nbsp; 
 //tuple &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;n&nbsp;=&nbsp;PyTuple_GET_SIZE(mro); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 for&nbsp;(i&nbsp;=&nbsp; 
 0;&nbsp;i&nbsp;&lt;&nbsp;n;&nbsp;i++)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;base&nbsp;=&nbsp;PyTuple_GET_ITEM(mro,&nbsp;i); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dict&nbsp;=&nbsp;((PyTypeObject&nbsp;*)base)-&gt;tp_dict; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;descr&nbsp;=&nbsp;PyDict_GetItem(dict,&nbsp;name); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(descr&nbsp;!=&nbsp; 
 NULL) 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 break; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp;f&nbsp;=&nbsp; 
 NULL; 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(descr&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f&nbsp;=&nbsp;descr-&gt;ob_type-&gt;tp_descr_get;&nbsp;&nbsp; 
 //&nbsp;type&nbsp;=&nbsp;descriptor.__class__,&nbsp;&nbsp;__get__&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(f&nbsp;!=&nbsp; 
 NULL&nbsp;&amp;&amp;&nbsp;descr-&gt;ob_type-&gt;tp_descr_set&nbsp;!=&nbsp; 
 NULL)&nbsp;{&nbsp; 
 //&nbsp;__set__ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;f(descr,&nbsp;obj,&nbsp;(PyObject&nbsp;*)obj-&gt;ob_type); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done;&nbsp;&nbsp; 
 //&nbsp;PyObject_GenericGetAttr&nbsp;返回&nbsp;type.__get__(descriptor,&nbsp;a,&nbsp;A)&nbsp;的执行结果 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 //&nbsp;如果不是&nbsp;data&nbsp;descriptor&nbsp;(type&nbsp;同时定义了__set__&nbsp;和&nbsp;__get__) &nbsp;&nbsp;&nbsp;&nbsp; 
 //&nbsp;在&nbsp;a.__dict&nbsp;中查找 &nbsp;&nbsp;&nbsp;&nbsp; 
 /*&nbsp;Inline&nbsp;_PyObject_GetDictPtr&nbsp;*/ 
 &nbsp;&nbsp;&nbsp;&nbsp;dictoffset&nbsp;=&nbsp;tp-&gt;tp_dictoffset; 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dictoffset&nbsp;!=&nbsp; 
 0)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*dict; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dictoffset&nbsp;&lt;&nbsp; 
 0)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 //&nbsp;说明A&nbsp;继承自&nbsp;str&nbsp;这样的变长对象，对&nbsp;dictoffset&nbsp;做些调整 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dictptr&nbsp;=&nbsp;(PyObject&nbsp;**)&nbsp;(( 
 char&nbsp;*)obj&nbsp;+&nbsp;dictoffset); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dict&nbsp;=&nbsp;*dictptr; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dict&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;PyDict_GetItem(dict,&nbsp;name);&nbsp; 
 //&nbsp;PyObject_GenericGetAttr&nbsp;返回&nbsp;a.__dict__['f'] &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(res&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 
 //&nbsp;在&nbsp;a.__dict__&nbsp;中没有找到 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(f&nbsp;!=&nbsp; 
 NULL)&nbsp;{&nbsp;&nbsp; 
 //&nbsp;__get__ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;f(descr,&nbsp;obj,&nbsp;(PyObject&nbsp;*)obj-&gt;ob_type); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done;&nbsp; 
 //&nbsp;PyObject_GenericGetAttr&nbsp;返回&nbsp;type.__get__(descriptor,&nbsp;a,&nbsp;A)&nbsp;的执行结果 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(descr&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;descr; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 /*&nbsp;descr&nbsp;was&nbsp;already&nbsp;increfed&nbsp;above&nbsp;*/ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done;&nbsp; 
 //&nbsp;PyObject_GenericGetAttr&nbsp;返回&nbsp;descriptor &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp;PyErr_Format(PyExc_AttributeError, 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 "'%.50s'&nbsp;object&nbsp;has&nbsp;no&nbsp;attribute&nbsp;'%.400s'", 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;tp-&gt;tp_name,&nbsp;PyString_AS_STRING(name)); 
 &nbsp;&nbsp;done: 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 return&nbsp;res; 
 } 
 
 
 //&nbsp;a.time&nbsp;=&nbsp;2 //&nbsp;obj=&amp;a,&nbsp;name="time",&nbsp;value=2 
 int 
 PyObject_GenericSetAttr(PyObject&nbsp;*obj,&nbsp;PyObject&nbsp;*name,&nbsp;PyObject&nbsp;*value) 
 { 
 &nbsp;&nbsp;&nbsp;&nbsp;PyTypeObject&nbsp;*tp&nbsp;=&nbsp;obj-&gt;ob_type; 
 &nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*descr; 
 &nbsp;&nbsp;&nbsp;&nbsp;descrsetfunc&nbsp;f; 
 &nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;**dictptr; 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 int&nbsp;res&nbsp;=&nbsp;- 
 1; 
 &nbsp;&nbsp;&nbsp;&nbsp;... 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(tp-&gt;tp_dict&nbsp;==&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(PyType_Ready(tp)&nbsp;&lt;&nbsp; 
 0) 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp;descr&nbsp;=&nbsp;_PyType_Lookup(tp,&nbsp;name);&nbsp; 
 //&nbsp;inline&nbsp;function &nbsp;&nbsp;&nbsp;&nbsp;f&nbsp;=&nbsp; 
 NULL; 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(descr&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;f&nbsp;=&nbsp;descr-&gt;ob_type-&gt;tp_descr_set; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(f&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;f(descr,&nbsp;obj,&nbsp;value);&nbsp; 
 //PyObject_GenericSetAttr&nbsp;返回&nbsp;type.__set__(descriptor,&nbsp;a,&nbsp;2)&nbsp;的结果 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp;dictptr&nbsp;=&nbsp;_PyObject_GetDictPtr(obj);&nbsp; 
 //&nbsp;inline&nbsp;function&nbsp; &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dictptr&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;PyObject&nbsp;*dict&nbsp;=&nbsp;*dictptr; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dict&nbsp;==&nbsp; 
 NULL&nbsp;&amp;&amp;&nbsp;value&nbsp;!=&nbsp; 
 NULL)&nbsp;{&nbsp; 
 &nbsp; 
 //&nbsp;a.__dict__&nbsp;还没创建 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dict&nbsp;=&nbsp;PyDict_New();&nbsp; 
 //&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dict&nbsp;==&nbsp; 
 NULL) 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;*dictptr&nbsp;=&nbsp;dict; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(dict&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(value&nbsp;==&nbsp; 
 NULL) 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;PyDict_DelItem(dict,&nbsp;name);&nbsp; 
 //&nbsp;删除 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 else 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;PyDict_SetItem(dict,&nbsp;name,&nbsp;value);&nbsp; 
 //&nbsp;设置&nbsp;a.__dict__['time']&nbsp;=&nbsp;2 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(f&nbsp;!=&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;res&nbsp;=&nbsp;f(descr,&nbsp;obj,&nbsp;value);&nbsp; 
 //PyObject_GenericSetAttr&nbsp;返回&nbsp;type.__set__(descriptor,&nbsp;a,&nbsp;2)&nbsp;的结果 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 if&nbsp;(descr&nbsp;==&nbsp; 
 NULL)&nbsp;{ 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;PyErr_Format(PyExc_AttributeError, 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 "'%.100s'&nbsp;object&nbsp;has&nbsp;no&nbsp;attribute&nbsp;'%.200s'", 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;tp-&gt;tp_name,&nbsp;PyString_AS_STRING(name)); 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 goto&nbsp;done; 
 &nbsp;&nbsp;&nbsp;&nbsp;} 
 
 &nbsp;&nbsp;&nbsp;&nbsp;PyErr_Format(PyExc_AttributeError, 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
 "'%.50s'&nbsp;object&nbsp;attribute&nbsp;'%.400s'&nbsp;is&nbsp;read-only", 
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;tp-&gt;tp_name,&nbsp;PyString_AS_STRING(name)); 
 &nbsp;&nbsp;done: 
 &nbsp;&nbsp;&nbsp;&nbsp; 
 return&nbsp;res; 
 } 
 </div> </td> 
 </tr> 
 </tbody> 
</table>

首先我们在 \_PyObject\_GetDictPtr 看到前面提过的 tp\_dictoffset 的作用，如下图所示：

![20150427180107336][]

注意：获取 Atype.\_\_dict\_\_ 访问的是 Atype->tp\_dict; 获取 a.\_\_dict\_\_ 访问的是 上图中的\_\_dict\_\_。

对于 descriptor 可以细分为如下两种：

1). data descriptor: type 中定义了 \_\_get\_\_ 和 \_\_set\_\_ 的 descriptor;

2). non data descriptor: type 中只定义了 \_\_get\_\_ 的 descriptor;

在 Python 虚拟机访问 instance 对象时，descriptor 的一个作用是影响 Python 虚拟机对属性的选择，虽然 PyObject\_GenericGetAttr

中对属性的选择线路比较复杂，但最终效果上，可以总结如下两条规则：

1). Python 虚拟机按照 instance 属性、class 属性的顺序选择属性，即 instance 属性 优先于 class 属性；

2). 如果在 class 属性中发现同名的 data descriptor，那么该 descriptor 会优先于 instance 属性；

这两条原则在对属性进行设置时仍然会被严格遵守。

参照函数实现，看下面图示代码的演示结果，注意：2.5 源码被我加了很多调试输出而影响观察，故在 Python 3.3.2 下演示，Python

3.x 输出稍有不同，如 <type 'str'> 变成 <class 'str'> 。

![20150428131803293][]![20150428152116304][]![20150428152759454][]

descriptor 改变返回值 ============ instance 属性优先于 non data descriptor ======= data descriptor 优先于 instance 属性

如果我们在上面 py 文件中加入 'print A.name' 这样的访问 class 对象的属性的表达式时，在 PyObject\_GetAttr 中的 Typetype->tp\_getattro 调用的是

type\_getattro，而非 PyObject\_GenericGetAttr，对应的还有 type\_setattro，简略代码如下：

C++ Code

对比PyObject\_GenericGetAttr 和 type\_getattro 的 函数实现可以总结出：如果最终获得的属性是一个存在于 class 对象的 tp\_dict 中 的 descriptor

时，返回的是 descriptor.\_\_get\_\_ 的调用结果；若 descriptor 存在于 instance 对象的 \_\_dict\_\_ 中，则不会调用其 \_\_get\_\_ 方法，如下图所示。

![20150428165236095][]

到这里，我们可以看到 descriptor 对 属性的访问影响主要在两个方面：其一是对访问顺序的影响；其二是对访问结果的影响，第二

种影响正是类的成员函数调用的关键。

回到前面的 py 文件，在 class 对象 A 创建完成后，在 A.\_\_dict\_\_ 中保存了一个与符号'f' 对应的 PyFunctionObject 对象。表达式 a.f()

需要先从 instance 对象 a 找到属性 f，那么 PyObject\_GenericGetAttr 返回的是什么对象呢？走一遍流程，回到上面代码注释可以看

到返回的是 descriptor.\_\_class\_\_.\_\_get\_\_(descriptor, a, A) 的执行结果，其实 PyFunctionObject 对象的 class 对象是

PyFunction\_Type，与 '\_\_get\_\_' 对应的 tp\_descr\_get 在 PyType\_Ready 中被设置为了 func\_descr\_get，这意味着 A.f 实际上是一个

non data descriptor，在 fun\_descr\_get 中将 A.f 对应的 PyFunctionObject 进行了一番包装，生成一个新的 PyMethodObject 对象。

C++ Code

其中 im\_func = descriptor; im\_self = a; im\_class = A; 这样将一个 PyFunctionObject 与 一个 instance 对象通过 PyMethodObject 对象

结合在一起的过程称为成员函数的绑定，如下图所示。

![20150428203014798][]

现在我们知道PyObject\_GenericGetAttr 返回一个PyMethodObject 对象（ob\_type 为 PyMethod\_Type），a.f() 接下去的操作就是将其压入运行时栈，

实际上 a.f 仅仅是一个带一个位置参数的函数，故需要把 self 参数解析到运行时栈，接下去的函数调用操作就跟 笔记（1）的 p226 条目类似了。

类似地，a.g(10) 可以看作带2个位置参数的函数调用，函数中 self.value = value; 会设置 a.\_\_dict\_\_ 。

这里再补充说明下上面提到过的PyWrapperDescrObject。 PyWrapperDescr\_Type 的 tp\_descr\_get 设置了 wrapperdescr\_get，故称

PyWrapperDescrObject 为 descriptor。举个例子 class A(list): pass a = A() a.\_\_repr\_\_() ，走一遍上述代码流程可知PyObject\_GenericGetAttr 返

回的是 PyWrapperDescr\_Type.wrapperdescr\_get(descriptor, a, A) 的结果，而在 wrapperdescr\_get 里面会调用 PyWrapper\_New 创建一

个 wrapperobject（ob\_type 为 wrappertype），定义如下所示，类比PyMethodObject 可以理解其作用，即 desc =descriptor; self = a，完成了一个

PyWrapperDescrObject 对象与 一个instance 对象的绑定，a.\_\_repr\_\_() 最终调用到 list\_repr。

C++ Code

**p308:** Bound Method 和 Unbound Method

当调用Bound Method 时，Python 虚拟机帮我们完成了 PyFunctionObject 对象 与 instance 对象的绑定，instance 对象 自动成为 self

参数；而调用 Unbound Method 时，没有这个绑定导致 im\_self 为 NULL， 我们需要自己传入 self 参数。

![20150428210412770][]

故我们可以这样调用 Unbound Method：a = A() A.f(a, 10); 最终更改的当然是 instance 对象 a。

**p311:** PyObject\_GenericAlloc  修改为 PyType\_GenericAlloc

**p310:** staticmethod

首先，下图2种方式都可以实现 staticmethod：

![20150428213959957][]

实际上 staticmethod 是 <type 'staticmethod'>，staticmethod(g) 的过程就是从一个 class 对象（PyStaticMethod\_Type） 创建 instance 对象的过程。

C++ Code

在申请完 staticmethod 结构体决定大小的内存之后，还会调用 \_\_init\_\_ 进行初始化，PyStaticMethod\_Type 的 tp\_init 设置为 sm\_init，在函数内

原来'g' 对应的那个 PyFunctionObject 被赋给了 staticmethod 对象的 sm\_callable，并在 A.\_\_dict\_\_ 中关联起来。

因为在 PyStaticMethod\_Type 中 tp\_descr\_get 指向了 sm\_descr\_get，故实际上 staticmethod 对象也是一个 descriptor，sm\_descr\_get 直接返回

sm\_callable。所以当我们无论通过 a.g 还是 A.g 访问，由于'g' 是位于 class 对象A 的 tp\_dict 中的 descriptor，所有会调用其 \_\_get\_\_操作，直接返回

当时最开始与'g' 对应的那个 PyFunctionObject 对象，而不是一般成员函数返回的 PyMethodObject 对象，也就没有了绑定self 参数的过程，所以

'g' 访问不到 a = A(); a.\_\_dict\_\_ 里面的内容，但可以访问到 A.\_\_dict\_\_ 里面的内容，如上图所示。

Python 中的 static method 只是 descriptor 应用的一个例子，还有很多其他特性，如 class method, property 等都是应用 descriptor 的例子。

[20150426144506138]: /images/20220805/ab1d50c9656f4da08f991d161920a0f4.png
[20150426144403295]: https://img-blog.csdn.net/20150426144403295
[20150426144411329]: /images/20220805/080ebe73b1b3488782c70893d8d22da6.png
[20150426144556776]: /images/20220805/0d0f50530ea54f928b1ab439cd299636.png
[20150502003730731]: /images/20220805/ea21f6959d714313b15241495a4c0950.png
[20150427101926120]: /images/20220805/c188e13a00c842b1b825ecdf8c882be1.png
[20150427180107336]: /images/20220805/9d46fbfcdd834bf49732e98ce8dc3609.png
[20150428131803293]: https://img-blog.csdn.net/20150428131803293
[20150428152116304]: https://img-blog.csdn.net/20150428152116304
[20150428152759454]: /images/20220805/42803132c1ff42bb8001fef3996c8ba8.png
[20150428165236095]: /images/20220805/b02171b6819949bd895a0b1a0bd0be24.png
[20150428203014798]: /images/20220805/6bfc4cb3111d4b9bb29a6d3b42bd5548.png
[20150428210412770]: /images/20220805/5d526e558d8d4e829e8e09d7cc92376c.png
[20150428213959957]: /images/20220805/62d9fd69e9db4ca5b8dfee14a6195f23.png