python - python解释器如何处理对象的负引用计数？

Question

如果对象的引用计数为负数，python 解释器会释放对象的内存吗？

例如，如果我有这样的代码，time_tuple 会被 python 释放吗？

PyObject* list = PyList_New(2);
PyObject *time_tuple = Py_BuildValue("(s, s)", "Time", "O");
PyList_SetItem(list, 0, time_tuple);
Py_XDECREF(time_tuple);
Py_XDECREF(list);

如果可以，请在回答中引用一些文档。

Answer 1

解释器不应该遇到负引用计数。如果引用计数达到零，则意味着对该对象的引用为零。一旦发生这种情况，该对象将被释放。

引用 Python documentation :

If the reference count reaches zero, the object’s type’s deallocation function (which must not be NULL) is invoked.

另见 here了解更多。

同样重要的是要注意，在 Python 中，除了引用计数之外，跟踪谁实际拥有这些引用也很重要。

在您提供的示例中:

1. Py_BuildValue() 返回一个新的引用，然后由您拥有并保存在 time_tuple 中。此时元组的引用计数为 1。

2. PyList_SetItem() 窃取了所有权引用，元组的引用计数仍然为 1，但引用归 list 所有。

3. Py_XDECREF(time_tuple) 将元组的引用计数递减为 0，并释放对象。这是一个错误，因为引用属于list。

4. Py_XDECREF(list) 将列表的引用计数递减为 0，并释放列表。对元组的引用归列表所有，因此它会减少其引用计数。

5. 不幸的是，元组已经分配完毕，您的程序崩溃了。或者更糟的是，它可能会继续运行一段时间，并在代码的不相关部分崩溃。对此进行调试通常很有趣。