C实现Flood Fill算法在Python扩展中异常填充整个数组问题排查

1. 优先排查Flood Fill算法逻辑 #

• 边界判断失效：这是最可能的原因，常见情况包括：
  • 未正确对比当前像素与起始像素的颜色/灰度值，导致所有像素都被判定为符合填充条件
  • 忽略数组索引范围检查，比如没判断行索引i是否在0 <= i < height、列索引j是否在0 <= j < width区间内
  • 边界阈值逻辑写反（比如误用>=替代<=）
• 起始点与访问标记问题：如果起始点未被标记为已访问，或者标记逻辑错误，会导致队列持续加入重复或无效节点，最终扩散至整个数组

2. 自定义Queue实现的潜在问题 #

• 空队列判断错误：如果is_empty函数返回值逻辑颠倒，会导致程序误以为队列始终有元素，持续取出无效数据，进而引发越界访问或无限制填充
• 入队/出队逻辑错误：比如入队时未正确存储坐标对，或出队时行、列值提取错位，导致处理的像素位置完全偏离预期区域
• 重复入队问题：若未对已处理的像素做标记，同一个像素会被多次加入队列，极端情况下会导致填充范围不受控

3. Python扩展调用的问题 #

• 参数传递错误：比如将数组的宽和高传递颠倒，导致边界判断时用错尺寸（用宽度校验行索引、高度校验列索引）
• 数据类型不匹配：Python传入的数组是浮点型，但C代码按整型处理，会导致颜色对比完全失效
• 内存访问错误：未正确获取Python数组的底层指针，或步长处理错误，导致读取的像素值并非目标位置的实际值

快速排查步骤 #

• 编写纯C测试用例：脱离Python环境，直接在C中构造小型测试数组，调用Flood Fill函数并打印中间结果，验证算法逻辑本身是否正常
• 打印队列操作日志：在入队、出队时打印坐标值，检查是否有不符合预期的位置被加入队列
• 校验参数传递：在C扩展的入口函数中打印传入的数组尺寸、起始坐标、填充阈值等参数，确认与Python端传入的一致

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