Cython中Delaunay三角剖分代码内核崩溃原因排查

1. 数组边界越界访问 #

• 处理数组时没控制好遍历终止条件：比如用了原始数组总长度而非实际有效元素数，或者长度变量类型溢出（比如int和size_t混用），导致访问数组范围外的内存直接触发崩溃
• 移动去重元素时下标计算错误，比如偏移量算多了，踩了相邻内存块

2. 重复判断逻辑的内存踩坑 #

• 数组里存在未初始化的Vertex元素，vid_nr是随机垃圾值，误判成重复元素后错误释放或覆盖内存
• 遍历对比时用了指针直接跳转而非下标，操作指针时没把控好范围，导致后续访问野指针

3. 内存释放的双重释放/野指针问题 #

• 释放重复元素时没标记已释放状态，回头又释放同一块内存，直接触发内核崩溃
• 如果Vertex结构体里有动态分配的字段（比如字符串、子数组），dealloc_non_uniques只释放了数组元素本身，没递归释放内部资源，要么内存泄漏要么后续操作踩烂内存
• 释放元素后没更新数组的有效长度，后续代码还按原长度访问已释放的内存块

4. Cython与C交互的类型不匹配 #

• 传给dealloc_non_uniques的数组指针类型不对：比如把Python列表直接强转成C数组指针，而非正确通过Cython的malloc/calloc分配的数组
• Vertex结构体的Cython定义和C端实际定义不一致（比如字段顺序、大小错了），导致访问vid_nr时读写了错误的内存地址

5. 测试代码的前置错误 #

• 测试用的Vertex数组没正确初始化，部分元素的指针或字段是无效值
• 调用dealloc_non_uniques前，数组已经被部分释放，传进去的是野指针

快速排查建议 #

• 给函数加个有效元素长度参数，别靠全局变量或默认值来判断数组范围
• 遍历前先检查所有Vertex的vid_nr是否为合法初始化值，过滤掉无效元素
• 给Vertex加个is_valid标记位，释放元素时先标记，避免重复释放
• 若Vertex含动态内存，必须在释放元素前先清理内部资源
• 用Cython的cdef void严格定义函数参数类型，确保指针传递没有类型隐式转换
• 加调试输出：打印遍历下标、vid_nr值、释放的内存地址，看崩溃时到底在操作哪块内存

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