Python IDLE报StackHash_0a9e崩溃，C扩展循环5000次触发AppCrash求助

StackHash_0a9e是Windows系统特有的错误代码，通常和内存访问异常、系统组件冲突或软件本身的bug有关，针对IDLE的崩溃情况，常见原因和解决办法如下：

• 内存访问异常：IDLE运行中如果出现非法内存读写（比如扩展模块的bug、Python解释器内存泄漏），会触发这个错误。建议先关闭其他高内存占用程序，重启IDLE尝试。
• 系统组件冲突：Windows更新、第三方杀毒软件或防火墙可能干扰IDLE的正常运行。可以暂时禁用杀毒软件，或者检查并安装未完成的Windows更新后再测试。
• Python安装损坏：如果Python核心文件或IDLE组件被损坏，也会导致崩溃。可以尝试重新安装Python，选择“修复”选项，或者完全卸载后安装最新稳定版。
• IDLE版本bug：某些旧版本的IDLE存在已知崩溃问题，比如早期Python 3.x版本。建议升级到最新Python稳定版，或者换用VS Code、PyCharm等其他IDE验证问题是否消失。

你的C扩展代码存在几个关键的内存和逻辑问题，这些问题在循环次数较少时可能隐藏，但循环5000次后会触发未定义行为，最终导致崩溃。下面逐个分析并给出修复方案：

1. 未初始化变量b导致的随机行为 #

代码中定义了int b;但没有初始赋值，第一次执行b += ar2;时，b会使用栈上的随机垃圾值。随着循环次数增加，这个值不断累加，可能出现整数溢出，甚至破坏栈上其他数据，最终引发崩溃。

修复：简化逻辑，直接计算范围上下限，去掉ar2和b的复杂计算：

s = (long) PyLong_AsLong(PyTuple_GetItem(pItem2, i2));
int lower = s - ar;
int upper = s + ar;
if (!(lower <= c && c <= upper)) {
    Py_RETURN_FALSE;
}

2. 未检查两个列表的长度是否一致 #

代码直接用pList1的长度n循环访问pList2的元素，如果pList2比pList1短，PyList_GetItem(pList2, i)会返回NULL，后续调用PyTuple_Check(NULL)会直接崩溃。

修复：循环前添加长度检查：

n = PyList_Size(pList1);
if (PyList_Size(pList2) != n) {
    PyErr_SetString(PyExc_ValueError, "Both lists must have the same length.");
    return NULL;
}

3. 未检查元组元素数量是否为3 #

循环假设每个元组都有3个元素，但如果元组长度不足3，PyTuple_GetItem(pItem1, i2)会返回NULL，调用PyLong_AsLong(NULL)会导致崩溃。

修复：访问元组元素前检查长度：

if (PyTuple_Size(pItem1) != 3 || PyTuple_Size(pItem2) != 3) {
    PyErr_SetString(PyExc_TypeError, "Tuples must contain exactly 3 elements.");
    return NULL;
}

4. 过时的PyInt_AsLong函数（兼容Python 3） #

Python 3中int对应C的PyLongObject，PyInt_AsLong已被废弃，应使用PyLong_AsLong兼容Python 2和3。

修复：将所有PyInt_AsLong替换为PyLong_AsLong。

修复后的完整代码 #

#include <Python.h>

PyObject *compare(PyObject *self, PyObject *args) {
    PyObject *pList1;
    PyObject *pList2;
    PyObject *pItem1;
    PyObject *pItem2;
    Py_ssize_t n;
    int i, i2;
    int ar;
    long c, s;  // 用long避免整数溢出
    int lower, upper;

    if (!PyArg_ParseTuple(args, "O!O!i", &PyList_Type, &pList1, &PyList_Type, &pList2, &ar)) {
        PyErr_SetString(PyExc_TypeError, "Parameters must be two lists and an integer.");
        return NULL;
    }

    // 检查列表长度一致性
    n = PyList_Size(pList1);
    if (PyList_Size(pList2) != n) {
        PyErr_SetString(PyExc_ValueError, "Both lists must have the same length.");
        return NULL;
    }

    for (i = 0; i < n; i++) {
        pItem1 = PyList_GetItem(pList1, i);
        if (!PyTuple_Check(pItem1)) {
            PyErr_SetString(PyExc_TypeError, "List items must be tuples.");
            return NULL;
        }

        pItem2 = PyList_GetItem(pList2, i);
        if (!PyTuple_Check(pItem2)) {
            PyErr_SetString(PyExc_TypeError, "List items must be tuples.");
            return NULL;
        }

        // 检查元组元素数量
        if (PyTuple_Size(pItem1) != 3 || PyTuple_Size(pItem2) != 3) {
            PyErr_SetString(PyExc_TypeError, "Tuples must contain exactly 3 elements.");
            return NULL;
        }

        for (i2 = 0; i2 < 3; i2++) {
            PyObject *elem1 = PyTuple_GetItem(pItem1, i2);
            PyObject *elem2 = PyTuple_GetItem(pItem2, i2);
            // 检查元素是否为整数
            if (!PyLong_Check(elem1) || !PyLong_Check(elem2)) {
                PyErr_SetString(PyExc_TypeError, "Tuple elements must be integers.");
                return NULL;
            }

            c = PyLong_AsLong(elem1);
            s = PyLong_AsLong(elem2);

            lower = s - ar;
            upper = s + ar;
            if (!(lower <= c && c <= upper)) {
                Py_RETURN_FALSE;
            }
        }
    }

    Py_RETURN_TRUE;
}

额外优化建议 #

• 使用Py_RETURN_TRUE和Py_RETURN_FALSE宏替代直接返回Py_True/Py_False，这些宏会自动处理引用计数，更安全。
• 将c和s改为long类型，避免Python大整数转换为int时溢出。
• 添加元组元素的整数类型检查，避免非整数元素导致转换错误。

内容的提问来源于stack exchange，提问作者Алексей Сомов