引用计数为0仍无段错误：Python/C API代码是否存在问题？

先贴出你的代码方便参考：

#include <Python.h>
#include <iostream>

int main(){
    Py_Initialize();
    PyObject* pythonList = Py_BuildValue("[i i]",1,2);
    Py_DECREF(pythonList); // 已通过Py_REFCNT确认引用计数为0
    PyList_Check(pythonList); // 预期触发段错误但未发生...
    std::cout << "Ok, goodbye" << std::endl;
    return 0;
}

1. 访问引用计数为0的PyObject是否合法？ #

这绝对是不合法的操作！当Py_DECREF把对象的引用计数降到0时，Python的内存管理系统会立即销毁这个PyObject（或者根据对象类型放入垃圾回收队列处理）。此时pythonList指针就变成了野指针——它指向的内存已经被释放，不再属于任何有效的Python对象。在C/C++中访问野指针属于未定义行为，可能导致任何后果，从看似正常运行到程序崩溃、数据损坏都有可能，完全不可预测。

2. 为什么代码有误却没触发段错误？ #

段错误是操作系统的保护机制，只有当进程尝试访问不属于自己地址空间的内存页时才会触发。而你的代码没触发错误，主要有两个原因：

• 释放的内存还没被回收或覆盖：刚释放的内存块通常还留在当前进程的地址空间里，只是被标记为“可用”状态，还没被操作系统回收，也没有被其他内存分配操作覆盖。此时你访问这块内存，可能还能读取到之前对象遗留的数据（比如类型标记），所以PyList_Check能顺利执行。
• PyList_Check的操作非常轻量：这个宏本质上只是检查对象的ob_type指针是否指向PyList_Type，它只是读取一个内存地址的值，没有修改内存，也没有访问超出该内存块的区域。只要这块内存的内容还没被破坏，这个检查就不会触发错误。

但这纯粹是运气！如果后续代码继续使用这个野指针，或者程序运行过程中这块内存被其他操作覆盖，随时可能出现段错误、奇怪的程序行为甚至崩溃。这种未定义行为是编程中的大忌，绝对不能依赖它“正常运行”。

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