我应该把 Py_INCREF 和 Py_DECREF 放在 Python C 扩展中这个块的哪里？

Question

每当我调用我的函数时，每次调用的内存使用量都会增加大约+10M，所以我认为这里存在一些内存泄漏。

....
PyObject *pair = PyTuple_New(2), *item = PyList_New(0);

PyTuple_SetItem(pair, 0, PyInt_FromLong(v[j]));

if(v[j] != DISTANCE_MAX && (p[j] || d[0][j])){
  jp=j;
  while(jp!=istart) {
    PyList_Append(item, PyInt_FromLong(jp));
    jp=p[jp];
  }

  PyList_Append(item, PyInt_FromLong(jp));

  PyList_Reverse(item);
}

PyTuple_SetItem(pair, 1, item);

return pair;
....

当我阅读 文档 时，有些调用需要

void
bug(PyObject *list)
{
    PyObject *item = PyList_GetItem(list, 0);

    PyList_SetItem(list, 1, PyInt_FromLong(0L));
    PyObject_Print(item, stdout, 0); /* BUG! */
}

像这样放置引用计数

void
no_bug(PyObject *list)
{
    PyObject *item = PyList_GetItem(list, 0);

    Py_INCREF(item);
    PyList_SetItem(list, 1, PyInt_FromLong(0L));
    PyObject_Print(item, stdout, 0);
    Py_DECREF(item);
}

那么，我应该将 Py_INCREF 和 Py_DECREF 放在我的函数中的哪里？

Answer 1

使用 PyInt_FromLong() 创建并添加到列表中的对象应保存在局部变量中。

原因是 所有权规则： PyInt_FromLong() 生成一个引用，您可以使用自己的。在对 PyTuple_SetItem() 的调用中，您再次失去了此所有权，因为 PyTuple_SetItem() 从您那里“窃取”了它，因此您不必关心。但 PyList_Append() 不会这样做，它会增加引用计数。为了正确地对对象进行 GC，您必须通过 DECREF'ing 释放您的所有权。

因此，您可以执行以下操作，而不是 PyList_Append(item, PyInt_FromLong(jp))：

PyObject * jpo = PyInt_FromLong(jp);
// do some error checking here
PyList_Append(item, jpo);
Py_DECREF(jpo);

这将使程序执行正确的操作。

Answer 2

创建对象时，其引用计数将为 1，因此在此之后：

my_item  = PyInt_FromLong(jp)

my_item 处的对象的引用计数将为 1。

当您将项目存储到容器中时，该项目的引用计数会增加，因此该项目将被保留，因此在此之后：

PyList_Append(my_list, my_item);

my_item 处的对象的引用计数将为 2。

因此，这一行：

PyList_Append(item, PyInt_FromLong(jp));

将创建一个引用计数为 1 的对象并将其存储在列表中，将对象的引用计数增加到 2。