Python/C API 3.12：PyErr_GetRaisedException返回异常是否规范化？求替代API

1. PyErr_GetRaisedException返回的异常是否经过规范化？ #

PyErr_GetRaisedException返回的是当前线程里未被处理的原始异常对象，不会自动做规范化处理。所谓异常规范化，是指确保异常符合(type, value, traceback)的标准三元组结构——要求value是type的实例、traceback是有效回溯对象。

你之前的代码里，用PyException_GetArgs获取的是异常的参数元组，但traceback.format_exception的第二个参数需要的是异常实例本身（或None），这就是调用时抛出异常的核心原因。

2. Python 3.12中替代PyErr_NormalizeException的方案 #

3.12里PyErr_NormalizeException被废弃，官方推荐用**PyErr_GetExcInfo()**来获取规范化的异常三元组。这个API会自动处理异常的规范化逻辑，返回的(type, value, traceback)完全符合Python标准异常结构，能直接给traceback.format_exception使用。

修正后的代码示例 #

获取规范化异常三元组

PyObject *exc_type = NULL, *exc_value = NULL, *exc_tb = NULL;
// 获取规范化的异常三元组，自动完成规范化处理
PyErr_GetExcInfo(&exc_type, &exc_value, &exc_tb);
if (exc_type) {
    // 后续直接使用这三个对象即可
}

调用traceback.format_exception的正确写法

// 注意Python 3.12里PyString_*已废弃，改用PyUnicode_*
PyObject* module_name = PyUnicode_FromString("traceback");
PyObject* pyth_module = PyImport_Import(module_name);
Py_DECREF(module_name); // 记得释放引用，避免内存泄漏

if (pyth_module) {
    PyObject* pyth_func = PyObject_GetAttrString(pyth_module, "format_exception");
    if (pyth_func && PyCallable_Check(pyth_func)) {
        // 构造format_exception需要的三元组参数
        PyObject* pyArgsTuple = PyTuple_New(3);
        // PyTuple_SetItem会转移对象引用，无需额外DECREF
        PyTuple_SetItem(pyArgsTuple, 0, exc_type);
        PyTuple_SetItem(pyArgsTuple, 1, exc_value);
        PyTuple_SetItem(pyArgsTuple, 2, exc_tb);

        PyObject* pyth_val = PyObject_CallObject(pyth_func, pyArgsTuple);
        Py_DECREF(pyArgsTuple);
        if (pyth_val) {
            PyObject* pystr = PyObject_Str(pyth_val);
            if (pystr) {
                char* traceBackCStr = PyUnicode_AsUTF8(pystr);
                // 这里可以处理traceBackCStr
                Py_DECREF(pystr);
            }
            Py_DECREF(pyth_val);
        }
        Py_DECREF(pyth_func);
    }
    Py_DECREF(pyth_module);
}

关键注意事项 #

• 引用计数管理：所有通过API创建的PyObject必须用Py_DECREF释放，防止内存泄漏。
• Python 3.x里PyString_*系列API已被移除，全部改用PyUnicode_*系列接口。
• PyErr_GetExcInfo()返回的三个对象属于当前线程的异常状态，不需要手动释放引用（除非你调用过Py_INCREF增加了引用计数）。

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