深入源码解析Python中的对象与类型

对象
对象, 在C语言是如何实现的?

python中对象分为两类: 定长(int等), 非定长(list/dict等)

所有对象都有一些相同的东西, 源码中定义为PyObject和PyVarObject, 两个定义都有一个共同的头部定义PyObject_HEAD(其实PyVarObject有自己的头部定义PyObject_VAR_HEAD, 但其实际上用的也是PyObject_HEAD).

源码位置: Include/object.h

PyObject_HEAD
Python 内部, 每个对象拥有相同的头部.

定义

/* PyObject_HEAD defines the initial segment of every PyObject. */#define PyObject_HEAD            _PyObject_HEAD_EXTRA          Py_ssize_t ob_refcnt;          struct _typeobject *ob_type;

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

1. _PyObject_HEAD_EXTRA
先忽略, 双向链表结构, 后面垃圾回收再说

2. Py_ssize_t ob_refcnt
Py_ssize_t在编译时确定, 整型
ob_refcnt, 引用计数, 跟Python的内存管理机制相关(基于引用计数的垃圾回收)

3. struct _typeobject *ob_type
*ob_type 指向类型对象的指针(指向_typeobject结构体)
决定了这个对象的类型!
PyObject
定义

 typedef struct _object {   PyObject_HEAD } PyObject;

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

 1. 依赖关系
 PyObject -> PyObject_HEAD
结构

20151211181600262.png (459×180)

PyVarObject
定义

typedef struct {  PyObject_VAR_HEAD} PyVarObject;#define PyObject_VAR_HEAD         PyObject_HEAD             Py_ssize_t ob_size; /* Number of items in variable part */

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

 1. 依赖关系
 PyVarObject -> PyObject_VAR_HEAD -> PyObject_HEAD

 2.Py_ssize_t ob_size
 ob_size, 变长对象容纳的元素个数
结构

20151211181633658.png (484×250)

代码关系

20151211181651468.png (740×385)

几个方法
跟对象相关的方法

#define Py_REFCNT(ob)           (((PyObject*)(ob))->ob_refcnt)
读取引用计数

#define Py_TYPE(ob)             (((PyObject*)(ob))->ob_type)
获取对象类型

#define Py_SIZE(ob)             (((PyVarObject*)(ob))->ob_size)
读取元素个数(len)
跟引用计数相关的方法

Py_INCREF(op)  增加对象引用计数

Py_DECREF(op)  减少对象引用计数, 如果计数位0, 调用_Py_Dealloc

_Py_Dealloc(op) 调用对应类型的 tp_dealloc 方法(每种类型回收行为不一样的, 各种缓存池机制, 后面看)
其他
几个参数涉及

ob_refcnt 引用计数, 与内存管理/垃圾回收相关
ob_type   类型, 涉及Python的类型系统

类型
一个例子

>>> a = 1>>> a1>>> type(a)#等价的两个>>> type(type(a))>>> type(int)#还是等价的两个>>> type(type(type(a)))>>> type(type(int))

登录后复制

我们反向推导一个int对象是怎么生成的.

1. 首先, 定义一种类型叫PyTypeObject
代码位置 Include/object.h

定义

 

typedef struct _typeobject { /* MARK: base, 注意, 是个变长对象*/ PyObject_VAR_HEAD const char *tp_name; /* For printing, in format "." */ //类型名 Py_ssize_t tp_basicsize, tp_itemsize; /* For allocation */ // 创建该类型对象时分配的内存空间大小 // 一堆方法定义, 函数和指针 /* Methods to implement standard operations */ printfunc tp_print; hashfunc tp_hash; /* Method suites for standard classes */ PyNumberMethods *tp_as_number;  // 数值对象操作 PySequenceMethods *tp_as_sequence; // 序列对象操作 PyMappingMethods *tp_as_mapping; // 字典对象操作 // 一堆属性定义 ....} PyTypeObject;

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

1. PyObject_VAR_HEAD
变长对象

2. const char *tp_name
tp_name, 类型名字符串数组
所有Type都是PyTypeObject的”实例”: PyType_Type/PyInt_Type

2. 然后, 用PyTypeObject初始化得到一个对象PyType_Type
代码位置 Objects/typeobject.c

定义

PyTypeObject PyType_Type = { PyVarObject_HEAD_INIT(&PyType_Type, 0) "type",                   /* tp_name */ sizeof(PyHeapTypeObject),          /* tp_basicsize */ sizeof(PyMemberDef),            /* tp_itemsize */ (destructor)type_dealloc,          /* tp_dealloc */ // type对象的方法和属性初始化值 .....};

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

1. tp_name
类型名, 这里是”type”

2. PyVarObject_HEAD_INIT(&PyType_Type, 0)
PyVarObject_HEAD_INIT, 这个方法在 Include/object.h中,
等价于
        ob_refcnt = 1
        *ob_type = &PyType_Type
        ob_size = 0

即, PyType_Type的类型是其本身!
结构

第一张图, 箭头表示实例化(google doc用不是很熟找不到对应类型的箭头)

20151211181832844.png (510×277)

第二张图, 箭头表示指向

20151211181846535.png (484×250)

使用

# 1. int 的 类型 是`type`>>> type(int)# 2. type 的类型 还是`type`, 对应上面说明第二点>>> type(type(int))

登录后复制

注意: 无论任何时候, ob_type指向的是 PyTypeObject的实例: PyType_Type/PyInt_Type…

3. 再然后, 定义具体的类型, 这里以PyInt_Type为例子
代码位置 Objects/intobject.c

定义

PyTypeObject PyInt_Type = { PyVarObject_HEAD_INIT(&PyType_Type, 0) "int", sizeof(PyIntObject), 0, // int类型的相关方法和属性值 .... (hashfunc)int_hash,             /* tp_hash */};

登录后复制

说明

立即学习“Python免费学习笔记(深入)”;

1. “int”
PyInt_Type的类型名是int

2.PyVarObject_HEAD_INIT(&PyType_Type, 0)
PyInt_Type的

 

  *ob_type = &PyType_Type

登录后复制

结构

20151211181940069.png (1083×570)

使用

>>> type(1)>>> type(type(1))

登录后复制

4. 最后, 生成一个整数对象int
代码位置 Include/intobject.h

定义

typedef struct {  PyObject_HEAD  long ob_ival;} PyIntObject;

登录后复制

结构

20151211182004246.png (1768×832)

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至253000106@qq.com举报,一经查实,本站将立刻删除。

发布者:PHP中文网,转转请注明出处:https://www.chuangxiangniao.com/p/2535042.html

(0)
上一篇 2025年3月5日 22:18:28
下一篇 2025年3月5日 22:18:59

AD推荐 黄金广告位招租... 更多推荐

相关推荐

发表回复

登录后才能评论