Python C 扩展：PyList 的 Py_DECREF

Question

我有一个关于如何在 C 中的 PyList 上正确使用 Py_DECREF() 的问题。假设我有一个名为 build_list() 的函数，它接受一个字符串链表作为其输入参数，如果一切顺利，则返回一个 Python 列表, 或 NULL 如果有错误。

以下是简约示例：

struct strlist {
    char *str;
    size_t len;
    struct strlist *next;
};

PyObject *build_list (struct strlist *inlist) {
    struct strlist *node = NULL;
    PyObject *tmp_obj = NULL;
    int success;

    PyObject *ret_obj = PyList_New(0);
    if (ret_obj == NULL) {
        return NULL;
    }

    node = inlist;
    while (node != NULL) {
        tmp_obj = PyString_FromStringAndSize(node->str, node->len);
        if (tmp_obj == NULL) {
            Py_DECREF(ret_obj);
            return NULL;
        }
        else {
            success = PyList_Append(ret_obj, tmp_obj);
            Py_DECREF(tmp_obj);
            if (success != 0) {
                Py_DECREF(ret_obj);
                return NULL;
            }
        }
        node = node->next;
    }
    return ret_obj;
}

在这种情况下我是否正确使用了Py_DECREF()？

我的具体问题是： 如果在发生错误之前已将一些元素附加到列表中，我的代码将直接减少对列表的引用（在success != 0 内），而列表中的元素在技术上仍然具有 refcount 1。我是否应该减少每个元素的在我最终减少对列表的引用之前先引用？

谢谢。

Answer 1

创建list 后，它的引用计数为 1。每个string 的引用计数为 1，并将其附加到列表中会将其增加到 2（因为 list 和您的函数引用它） .所以DECREF 在Append() 之后是正确的，因为您的函数不再使用string 本身。 在两个错误路径（tmp_obj == NULL、success != 0）内，DECREFlist-object 将释放该对象（因为它的引用计数现在为 0）。 list-object 将遍历它的成员和 DECREF 每个成员，将每个 string 的引用计数减少到 0，释放它们。

长话短说：您的代码是正确的。列表中的元素必须具有（至少）1 的引用计数，因为列表正在引用它们。这是list 对DECREF 它的成员的专属责任。

作为练习，您可以尝试自己减少字符串的引用计数。解释器很可能会崩溃（可能在exit()），因为当列表被释放时，字符串的引用计数变为-1，触发断言。