Python C API中字典、列表、字符串类型PyObject的引用释放疑问

我有一段基于Python C API的代码：

PyObject* result = PyObject_CallMethod(/* 传入对应函数和参数 */);
// 对result进行处理
Py_XDECREF(result);

我确定当result是PyBool、PyLong、PyFloat这类简单类型的PyObject*时，引用释放逻辑是正确的，但对以下类型存在疑问：

• 字典（PyDict类型）
• 列表（PyList类型）
• 文本字符串（PyUnicodeObject类型）

（针对前两种类型，我不确定Py_XDECREF()是否会自动释放其内部存储的所有成员引用，还是需要自己实现递归释放函数）

请问我的处理方式对这些类型同样适用吗？

补充说明：针对评论里的疑问“你是否会引用字典或列表指向的对象？”，我提供更贴近实际的代码：
我会递归处理result，不确定key、value以及PyList_GetItem(result, ix)的返回值是否会产生需要手动释放的引用：

void process(PyObject* result) {
  if (PyDict_Check(result)) {
    PyObject *key, *value;
    Py_ssize_t pos = 0;
    while (PyDict_Next(value, &pos, &key, &value)) {
      process(value);
    }
  } else if (PyList_Check(result)) {
    Py_ssize_t size = PyList_Size(result);
    for (Py_ssize_t ix = 0; ix < size; ++ix) {
      process(PyList_GetItem(result, ix));
    }
  } else if (PyUnicode_Check(result)) {
    const char* str = PyUnicode_AsUTF8(result);
    // 处理字符串
  } else {
    // 处理其他类型
  }
}

// 入口代码
PyObject* result = PyObject_CallMethod(/* 传入对应函数和参数 */);
process(result);
Py_XDECREF(result);

解答 #

你的原始处理逻辑（获取result后调用Py_XDECREF）对字典、列表、字符串类型完全适用，不需要手动递归释放内部成员。Python的对象销毁机制会自动处理容器内部的引用计数：当容器对象的引用计数降到0时，Python会自动遍历其内部所有成员，对每个成员调用Py_XDECREF，递归完成整个引用链的释放。

针对你补充代码里的细节，逐一说明：

1. PyDict_Next的参数与返回值：你代码里PyDict_Next的第一个参数写错了，应该是传入字典对象result而非value，修正后为while (PyDict_Next(result, &pos, &key, &value))。另外，key和value是直接借用字典内部的引用，不会增加引用计数，所以不需要调用Py_DECREF或Py_XDECREF。
2. PyList_GetItem的返回值：这个函数返回的是列表中元素的借用引用，不会增加元素的引用计数，不需要手动释放。
3. PyUnicode_AsUTF8的返回值：返回的C字符串是Python字符串对象内部的缓冲区，只要原PyUnicodeObject的引用计数大于0，这个指针就有效。你不需要手动释放这个C字符串，Python会在字符串对象销毁时自动清理。

总结：你的代码除了PyDict_Next的参数错误外，引用释放逻辑都是正确的，无需额外处理容器内部成员的引用。

内容的提问来源于stack exchange，提问作者fgalan