python中引用计数_Python中的引用计数法

引用计数法

增量操作

如果对象的引用数量增加,就在该对象的计数器上进行增量操作。在实际中它是由宏Py_INCREF() 执行的。

#define Py_INCREF(op) (((PyObject*)(op))->ob_refcnt++)

#define Py_XINCREF(op) if ((op) == NULL) ; else Py_INCREF(op)

除了增量操作外,还要执行NULL检查,Py_XINCREF(op)。

计数器溢出的问题

Include/object.h

typedef ssize_t Py_ssize_t;

ssize_t型,在32位环境下是int在64位下是long,它的大小由系统决定。这里定义的计数器它是可以为负数的,那么就有问题了,计数器是有符号整数,他能表达的最大数仅仅是无符号整数的一半。这样不会内存溢出吗?我们之前说对象是4字节对齐的,既然是按4字节对齐,我们就可以得到这样分下来,即使所有对象都指向某一个对象,也是不会溢出的。

那么,负的计数器表达的是什么?在debug中,会存在减数操作过度,和增量操作遗失的情况。负的计数器就是为它而设计的。在debug中,Py NegativeRefcount() 函数会把变为负数的对象信息当成错误信息输出。

减量操作

先将计数器减量

如果得出0以外的数值就调用_Py_CHECK_REFCNT()。它负责检查引用计数器是否变为负数。

如果计数器为0就调用 _Py_Dealloc(),与增量操作相同,这里是减量操作。

NULL检查扩展的减量操作。

其中成员 tp_dealloc 存着负责释放各个对象的函数指针,比如下面这个释放元组对象的函数指针。

Objects/tupleobject.c

static void tupledealloc(register PyTupleObject *op)

{

register Py_ssize_t i;

register Py_ssize_t len = Py_SIZE(op);

if (len > 0) {

i = len;

/* 将元组内的元素进行减量 */

while (--i >= 0)

Py_XDECREF(op->ob_item[i]);

}

/* 释放元组对象 */

Py_TYPE(op)->tp_free((PyObject *)op);

Py_TRASHCAN_SAFE_END(op) }

先对元组进行减量,然后在去释放对象。

成员tp_free里存着各个对象的释放处理程序。调用PyObject_GC_Del()

PyObject_GC_Del()

void PyObject_GC_Del(void *op) {

PyGC_Head *g = AS_GC(op);

/* 省略部分:释放前的处理 */

PyObject_FREE(g);

}

这里的 PyObject_FREE(),就是上一节中的 PyObject_Free()函数,这个函数会对对象进行释放。不过我是怎么知道的呢。此处又有宏定义。#define PyObject_FREE PyObject_Free。位于Include/objimpl.h

元组减量操作如下图示:

终结器

就是我们类里经常写的 __del__

终结器指的是与对象的释放处理挂钩的一个功能。列表和字典等内置对象基本上是不能设置终结器的,能定义终结器的只有用户创建的类。

# 一个终结器

class Foo(object):

def __def__(self): # 定义终结器

print("GKD")

这种情况下,当Foo被释放的时候,就会输出GKD。

那么Foo实例实际上是怎么调用的呢?如下示:

Objects/typeobject.c:subtype_dealloc():单独拿出终结器的部分

static void subtype_dealloc(PyObject *self)

{

PyTypeObject *type, *base;

destructor basedealloc;

type = Py_TYPE(self);

if (type->tp_del) {

_PyObject_GC_TRACK(self);

type->tp_del(self);

}

/* 省略 */

}

实例的情况下,变量 tp_del 中保存着执行终结器所需的 slot_tp_del() 函数

Objects/typeobject.c:slot_tp_del()

static void

slot_tp_del(PyObject *self)

{

static PyObject *del_str = NULL;

PyObject *del, *res;

self->ob_refcnt = 1;

/* 如果有__del__就执行它 */

del = lookup_maybe(self, "__del__", &del_str);

if (del != NULL) {

res = PyEval_CallObject(del, NULL);

/* 省略部分:错误检查和后处理等 */

}

if (--self->ob_refcnt == 0)

return; /* 退出函数 */

/* 省略部分:最终化时有引用的情况下的应对处理 */

}

先用lookup_maybe(),取出实例中的__del__,然后使用 PyEval_CallObject()来执行它。

插入计数处理

在python中,正常情况是要对对象的计数器进行增量和减量操作的。但是并不是所有地方都需要这样做。

比如说在python中编写c的扩展模块:当从局部变量引用某个对象,大多数情况下是可以不执行计数处理的,因为从局部来说,我们引用它之后给计数器增量,退出后局部后又要减量。这实际上没有任何意义。不过也可以这样做。

本来计数器的作用是告诉GC这个对象被引用了,不要回收。那如果计数器的值已经是大于0了。我们还需要这样的增量计数器吗?增量之后计数器局部使用完后还是会被减量的。

但是在局部变量的作用域中,如果对象的计数器为0那就必须要进行增量操作对变量进行保护了。

像这样的情况,何时对对象的计数器增量,何时减量,完全可以有编程人员自己判断,如果不能判断则就按照规则来。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值