PyErr_Restore后调用PyErr_Print触发SIGSEGV异常问题咨询

问题原因与解决方案 #

你遇到的SIGSEGV异常大概率是异常对象的所有权处理出错导致的，首先明确Python C API的异常操作引用计数规则：

• PyErr_Fetch会将当前异常的类型、值、回溯对象的所有权完全转移给调用者，调用者拿到的三个指针是偷引用，解释器不再持有这三个对象的引用。
• PyErr_Restore会将传入的三个异常对象的所有权完全交回给解释器，后续解释器会负责这三个对象的生命周期管理，调用者不需要再额外操作它们的引用计数。

常见报错场景与修复方法 #

• 场景1：中间代码错误释放了异常对象
  如果你在PyErr_Fetch和PyErr_Restore之间的逻辑里，对三个对象任意一个调用了Py_DECREF，或者传给了会窃取引用的C API，会导致传给PyErr_Restore的是已经释放的野指针，触发段错误。
  修复：如果不需要自己持有异常对象使用，中间不要修改三个对象的引用计数，也不要将它们传给窃取引用的函数。

• 场景2：需要自行使用异常对象时引用计数操作错误
  如果你需要在中间逻辑中使用提取到的异常对象，必须对三个对象都执行引用计数加1操作，使用完成后再释放自己持有的引用，示例代码如下：

PyObject *type, *value, *traceback;
PyErr_Fetch(&type, &value, &traceback);

// 自行使用前给三个对象都加引用，Py_XINCREF兼容NULL场景
Py_XINCREF(type);
Py_XINCREF(value);
Py_XINCREF(traceback);

/* 这里写你自己处理异常对象的业务逻辑 */

// 恢复异常状态，将原始对象所有权交回解释器
PyErr_Restore(type, value, traceback);
// 释放你自己持有的引用
Py_XDECREF(type);
Py_XDECREF(value);
Py_XDECREF(traceback);

PyErr_Print();

注意必须同时操作三个对象的引用计数，不能漏加漏减。

• 场景3：中间代码修改了原始指针的指向
  如果你的业务逻辑中修改了type/value/traceback三个指针本身的赋值，会导致PyErr_Restore收到的不是PyErr_Fetch返回的原始有效指针。
  修复：提前备份原始指针的副本，恢复异常时传入备份的原始指针。

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