小试牛刀,解剖浮点对象 float

经过前面章节,我们知道 float 对象背后由 PyFloatObject 组织,对其结构也了然于胸。 那么,本节为何要重复讨论 float 对象呢?

一方面, 对象模型 中关于 float 对象的讨论, 着眼于 Python 面向对象体系的讲解,许多细节没来得及展开。 另一方面, float 作为 Python 中最简单的对象之一,“麻雀虽小,五脏俱全”, 拥有对象的全部必要属性。 以 float 对象为起点开启源码之旅,能够快速上手,为研究更复杂的内置对象打好基础,建立信心。

内部结构

float 实例对象在 Include/floatobject.h 中定义,结构很简单:

typedef struct {
    PyObject_HEAD
    double ob_fval;
} PyFloatObject;

除了定长对象共用的头部,只有一个额外的字段 ob_fval ,存储对象所承载的浮点值。

../../_images/80ea50e4cf97e81c90c0c8e060d777c0.svg

float 类型对象又长啥样呢?

与实例对象不同, float 类型对象 全局唯一 ,因此可以作为 全局变量 定义。 在 C 文件 Objects/floatobject.c 中,我们找到了代表 float 类型对象的全局变量 PyFloat_Type :

PyTypeObject PyFloat_Type = {
    PyVarObject_HEAD_INIT(&PyType_Type, 0)
    "float",
    sizeof(PyFloatObject),
    0,
    (destructor)float_dealloc,                  /* tp_dealloc */
    0,                                          /* tp_print */
    0,                                          /* tp_getattr */
    0,                                          /* tp_setattr */
    0,                                          /* tp_reserved */
    (reprfunc)float_repr,                       /* tp_repr */
    &float_as_number,                           /* tp_as_number */
    0,                                          /* tp_as_sequence */
    0,                                          /* tp_as_mapping */
    (hashfunc)float_hash,                       /* tp_hash */
    0,                                          /* tp_call */
    (reprfunc)float_repr,                       /* tp_str */
    PyObject_GenericGetAttr,                    /* tp_getattro */
    0,                                          /* tp_setattro */
    0,                                          /* tp_as_buffer */
    Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE,   /* tp_flags */
    float_new__doc__,                           /* tp_doc */
    0,                                          /* tp_traverse */
    0,                                          /* tp_clear */
    float_richcompare,                          /* tp_richcompare */
    0,                                          /* tp_weaklistoffset */
    0,                                          /* tp_iter */
    0,                                          /* tp_iternext */
    float_methods,                              /* tp_methods */
    0,                                          /* tp_members */
    float_getset,                               /* tp_getset */
    0,                                          /* tp_base */
    0,                                          /* tp_dict */
    0,                                          /* tp_descr_get */
    0,                                          /* tp_descr_set */
    0,                                          /* tp_dictoffset */
    0,                                          /* tp_init */
    0,                                          /* tp_alloc */
    float_new,                                  /* tp_new */
};

PyFloat_Type 中保存了很多关于浮点对象的 元信息 ,关键字段包括:

  • tp_name 字段保存类型名称,常量 float

  • tp_dealloc 、 tp_init 、 tp_alloc 和 tp_new 字段是对象创建销毁相关函数;

  • tp_repr 字段是生成语法字符串表示形式的函数;

  • tp_str 字段是生成普通字符串表示形式的函数;

  • tp_as_number 字段是数值操作集;

  • tp_hash 字段是哈希值生成函数;

PyFloat_Type 很重要,作为浮点 类型对象 ,它决定了浮点 实例对象 的 生死和行为 。 接下来,我们以不同小节分别展开讨论。

对象的创建

在 从创建到销毁,对象的生命周期 一节,我们初步了解到创建实例对象的一般过程。

调用类型对象 float 创建实例对象,Python 执行的是 type 类型对象中的 tp_call 函数。 tp_call 函数进而调用 float 类型对象的 tp_new 函数创建实例对象, 再调用 tp_init 函数对其进行初始化:

../../_images/ccfef84aa6b3ebe9d31a09653d9c2884.svg

注意到, float 类型对象 PyFloat_Type 中 tp_init 函数指针为空。 这是因为 float 是一种很简单的对象,初始化操作只需要一个赋值语句,在 tp_new 中完成即可。

除了通用的流程, Python 为内置对象实现了对象创建 API ,简化调用,提高效率:

PyObject *
PyFloat_FromDouble(double fval);

PyObject *
PyFloat_FromString(PyObject *v);
  • PyFloat_FromDouble 函数通过浮点值创建浮点对象;

  • PyFloat_FromString 函数通过字符串对象创建浮点对象;

以 PyFloat_FromDouble 为例,特化的对象创建流程如下:

PyObject *
PyFloat_FromDouble(double fval)
{
    PyFloatObject *op = free_list;
    if (op != NULL) {
        free_list = (PyFloatObject *) Py_TYPE(op);
        numfree--;
    } else {
        op = (PyFloatObject*) PyObject_MALLOC(sizeof(PyFloatObject));
        if (!op)
            return PyErr_NoMemory();
    }
    /* Inline PyObject_New */
    (void)PyObject_INIT(op, &PyFloat_Type);
    op->ob_fval = fval;
    return (PyObject *) op;
}
  1. 为对象 分配内存空间 ,优先使用 空闲对象缓存池 (第 4-12 行);

  2. 初始化 对象类型 字段 ob_type 以及 引用计数 字段 ob_refcnt (第 14 行);

  3. ob_fval 字段初始化为指定 浮点值 (第 15 行);

其中,宏 PyObject_INIT 在头文件 Include/objimpl.h 中定义:

#define PyObject_INIT(op, typeobj) \
    ( Py_TYPE(op) = (typeobj), _Py_NewReference((PyObject *)(op)), (op) )

_Py_NewReference 将对象引用计数初始化为 1 ,在 Include/Object.h 中定义:

#define _Py_NewReference(op) (                          \
    _Py_INC_TPALLOCS(op) _Py_COUNT_ALLOCS_COMMA         \
    _Py_INC_REFTOTAL  _Py_REF_DEBUG_COMMA               \
    Py_REFCNT(op) = 1)

至此,我们已经解锁了 float 对象的内部结构和创建过程。 那么,float 对象是如何进行销毁的?前面提到的 空闲对象缓存池 又是怎么一回事呢? 阅读 更多章节,获取更多细节!

更多章节

洞悉 Python 虚拟机运行机制,探索高效程序设计之道!

到底如何才能提升我的 Python 开发水平,向更高一级的岗位迈进? 如果你有这些问题或者疑惑,请订阅我们的专栏,阅读更多章节:

https://cdn.fasionchan.com/python-source-course-qrcode.png

附录

订阅更新,获取更多学习资料,请关注我们的 微信公众号

微信搜索:小菜学编程

创作不易,如果觉得我们写得还行,就请我们喝杯咖啡吧😋

微信搜索:小菜学编程