Python C扩展中Py_INCREF使用时机及引用计数相关疑问

嘿，兄弟，Python C扩展的内存管理确实是个让人头大的坑，我当初刚上手的时候也被引用计数绕得晕头转向，你的这些问题我一个个给你掰扯清楚：

问题1：若PyWhatever_New()创建的对象不超出创建它的函数生命周期，是否仍需减少引用计数？
必须要！PyWhatever_New()这类构造API返回的对象，你作为调用者会持有一个新的引用——不管这个对象是不是只在函数内部用，只要你不再需要它，就得调用Py_DECREF（或者Py_XDECREF，处理空指针更安全）来释放这个引用。哪怕对象在函数执行完后就没有指针指向它了，但引用计数没降到0，Python的垃圾回收机制就不会回收它，直接造成内存泄漏。举个例子：你在函数里创建了一个列表但没返回也没减引用，这个列表就会永远留在堆上占内存。

问题2：每个Py_INCREF是否都需对应一个Py_DECREF，或两者数量可存在差异？
严格要求一一对应！引用计数的核心规则就是谁加引用谁负责释放——你调用Py_INCREF相当于拿到了对象的一个“使用权”，当你不再需要这个使用权的时候，必须用Py_DECREF把它还回去。如果数量不对：

• 要是Py_INCREF比Py_DECREF多，会导致内存泄漏；
• 要是Py_DECREF比Py_INCREF多，会让引用计数变成负数，或者对象被提前销毁，后续再访问这个对象的指针会触发段错误、崩溃或者不可预测的内存损坏。
  唯一的例外是：当你把对象作为返回值交给Python解释器时，这个引用会被解释器接管，这时候你不需要自己调用Py_DECREF。

问题3：调用Python函数得到PyObject*后，是否需增加引用计数以永久使用，或减少计数确保被垃圾回收，还是两者都不需要？
这要看你对这个对象的使用场景：

• Python C API的规则是：调用函数返回的PyObject*，你作为调用者持有一个新的引用。
• 如果你要“永久使用”（比如把它存在全局变量、结构体里，或者在多个函数中复用），那不需要额外调用Py_INCREF——你已经持有合法引用了，但一定要记得在你彻底不需要这个对象的时候调用Py_DECREF。
• 如果你只是临时用一下，用完就不需要了，那用完立刻调用Py_DECREF释放引用，让对象可以被垃圾回收。

举个例子：调用PyEval_EvalCode得到的结果，如果你只是打印一下就完事，那打印完就Py_DECREF；如果要把它存到一个全局的缓存字典里，那缓存销毁的时候要记得对这个对象做Py_DECREF。

问题4：通过C API创建的Python对象分配在栈还是堆上？（例如Py_INCREF是否可能将其重新分配到堆上）
所有通过Python C API创建的Python对象全部分配在堆上，栈上只会存放指向这些堆对象的指针（也就是PyObject*类型的变量）。Py_INCREF只是一个原子操作，它只会修改对象内部的引用计数字段，完全不会涉及内存分配或者移动对象的位置——说白了就是给对象内部的计数器加1，仅此而已。所以根本不用担心Py_INCREF会把对象“移到堆上”，因为它本来就在堆上。

问题5：将C代码创建的Python对象传递给Python代码前，是否需特殊处理？若Python代码生命周期长于创建对象的C代码该如何处理？
不需要特殊处理，只要确保你传递的是一个拥有合法引用的对象就行：

• 比如你用PyLong_FromLong创建了一个整数对象，这个对象的引用计数是1（你作为创建者持有这个引用），当你把它作为函数返回值传给Python，或者作为参数传给Python函数时，Python解释器会接管这个引用——这时候你不需要再调用Py_DECREF，解释器会负责后续的引用计数管理。
• 如果Python代码的生命周期比创建它的C代码长，完全不用担心：只要Python那边还持有这个对象的引用，它的引用计数就不会降到0，对象就不会被回收。你要做的只是：如果不是把对象交给Python接管，而是自己在C代码里存着，那一定要在C代码不再需要它的时候调用Py_DECREF。

问题6：Python同时使用引用计数和垃圾回收机制：若引用计数处理错误（如未足够减少），问题有多严重？垃圾回收能否最终处理这些对象？
引用计数错误的后果非常严重，而且Python的循环垃圾回收机制完全救不了：

• 如果漏了Py_DECREF（引用计数没减够），对象的引用计数会一直大于0，垃圾回收机制根本不会把它当成可回收对象，直接造成永久内存泄漏，内存占用会越来越高，直到程序崩溃。
• 如果多调用了Py_DECREF，会导致引用计数变成负数，或者对象被提前销毁，后续再访问这个对象的指针会触发段错误、崩溃，或者出现不可预测的内存损坏（比如覆盖其他内存区域的数据）。
  Python的循环垃圾回收只能处理循环引用的情况（比如两个对象互相引用，但没有其他外部引用），对于引用计数错误导致的问题，它完全无能为力。

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