Why do these two loops not work the same?

近日，在Stack Overflow、Reddit等全球程序员社区中，一个看似基础却极具“杀伤力”的问题再度引发热议：“为什么这两个循环的运行结果不一样？”（Why do these two loops not work the same?）该帖在短短数小时内获得上千条评论，不少资深开发者直呼“翻车”。问题的核心，指向一个几乎所有编程语言中都存在的“陷阱”——迭代过程中修改容器结构。

问题重现：两个循环，截然不同的结果

假设我们有一个简单的Python列表：nums = [1, 2, 3, 4, 5]，目标是删除其中的所有偶数。新手程序员可能会写出两种看似等价的循环：

循环A（for循环）：

for num in nums:
    if num % 2 == 0:
        nums.remove(num)

循环B（while循环）：

i = 0
while i < len(nums):
    if nums[i] % 2 == 0:
        nums.remove(nums[i])
    else:
        i += 1

运行后，循环A输出 [1, 3, 5]（正确），循环B却输出 [1, 3, 4, 5]（错误，4未被删除）。这一差异让许多初学者困惑不已，甚至一些经验丰富的开发者也不得不反复调试。

深度解析：隐藏的指针与索引漂移

记者采访了多位一线工程师，试图揭开谜底。微软高级软件工程师李明表示：“问题的本质在于‘迭代器失效’与‘索引漂移’。”

在循环A中，for num in nums 实际上是基于Python的迭代器协议工作的。每当调用 nums.remove() 删除一个元素，列表长度减1，迭代器内部维护的“下一个元素指针”会自动跳过被删除元素的后继，从而避免重复访问。这正是为什么它“歪打正着”地删除了所有偶数——实际上它跳过了某些元素，只不过本例中刚好把奇数保留了下来。

而在循环B中，使用手动索引 i 来控制循环。当删除当前索引 i 处的元素后，列表剩余元素会向左移动，原本位于 i+1 位置的元素自动填补到 i 位置。此时 i 本应回退一位，但代码中却继续 i += 1，导致跳过了这个紧挨着的元素。这就是为什么数字 4 没有被删除——当删除 2 后，3 补到索引0，4 补到索引1，而 i 却从0跳到1，恰好错过了 4。

社区热议：不仅是Python，更是所有语言的“通病”

这一现象并非Python独有。在C++中，使用 for (auto it = vec.begin(); it != vec.end(); ++it) 并在循环内 erase(it)，迭代器会立即失效，导致未定义行为。Java的 ArrayList 在使用 `for (int i=0; i