Python边遍历边修改列表的安全方法

在 Python 中直接在 for 循环中修改正在迭代的列表（如调用 .clear() 或 .append()）会导致跳过元素或提前终止，根本原因是循环依赖底层索引，而列表长度和结构变化使索引与实际元素错位。

很多 Python 开发者都踩过这个坑：在 for 循环里一边遍历一边清空列表，结果发现循环要么提前结束，要么漏掉元素，百思不得其解。其实这背后的原理并不复杂——Python 的 for item in lst 本质上是在后台按索引顺序取值：lst[0]、lst[1]……每步前进一个位置。当你执行到第 i 步，突然调用了 lst.clear()，原本应该在那里的 lst[i] 已经消失了；可解释器还傻傻地去取 lst[i+1]，此时列表已空，迭代器检测到越界，直接中断。这就是“只运行了原始长度次数”甚至更早就退出的根源。

正确做法：避免就地修改，改用生成新列表

最清晰、安全且符合 Python 风格的做法是：不在循环中修改原列表，而是用列表推导式或 filter() 构建新列表，循环结束后再重新赋值。举个例子：

#  危险：修改正在迭代的列表
for vertex2 in v_in_g2_with_color:
    if condition_met:
        v_in_g2_with_color.clear()  # ← 破坏迭代状态！
        v_in_g2_with_color.append(new_key)

#  推荐：构建新列表，循环外赋值
if len(v_in_g2_with_color) > 0 and condition_met:
    v_in_g2_with_color = [
        key for key, value in colours2.items()
        if value == colours1[vertex_to_be_checked]
    ]

对应到你的图同构算法片段，可以这样重构：

if (len(v_in_g1_with_color) + len(v_in_g2_with_color)) >= 4:
    # 提前收集所有待检查的 vertex_to_be_checked（避免循环中修改）
    target_color = colours1[list(colours1.keys())[v + 1]]  # 注意：确保 v+1 不越界
    # 一次性生成新列表
    v_in_g2_with_color = [
        key for key, value in colours2.items()
        if value == target_color
    ]
    # 后续逻辑基于新列表继续执行（无需 continue 或中途重置）

其他注意事项

• 如果确实需要在遍历过程中筛选元素，可以考虑用 while 加手动索引（比如 i = 0; while i < len(lst): ... i += 1），但这种方法容易出错，不是最佳实践。
• 用 list.copy() 创建副本再遍历（for x in lst[:]: ...）适用于“按条件删除部分元素”的场景，但对你这种“完全替换”的需求并不合适。
• 对于复杂算法逻辑（如图着色 refinement），建议把列表更新封装成独立函数，这样可读性和可测试性都会更好。

说到底，“迭代时不可变”是 Python 的隐式契约。坚持“读旧列表 → 生成新列表 → 替换引用”的三步范式，就能从根源上避开跳过、崩溃和逻辑错乱。写代码时多留个心眼，回头调试能省下不少时间。