为何Python的for循环修改列表长度后仍按原长度迭代？代码疑问求解

Python的for循环遍历列表时，底层是通过索引迭代实现的：

• 循环启动前，会先获取当前列表的长度（这里初始列表[1,2,3,4]的长度是4），迭代器从索引0开始，每次迭代索引加1，直到索引等于列表长度时停止循环。
• 你的循环体里，每次执行l.pop(0)取出第一个元素1，打印后又用l.insert(0,x)把1放回列表开头——这操作完全不会改变列表的长度，始终保持为4。
• 迭代器不会因为你修改列表内容而改变遍历逻辑，只会按索引依次递增：
  • 第1次循环：索引0，遍历元素1，循环体输出1，列表变回原状态
  • 第2次循环：索引1，遍历元素2，循环体依旧取出并输出列表开头的1，列表不变
  • 第3次循环：索引2，遍历元素3，循环体还是输出1
  • 第4次循环：索引3，遍历元素4，循环体仍然输出1
• 当索引递增到4时，等于列表长度4，迭代器抛出StopIteration信号，循环直接终止。

所以最终只会输出4次1，而不会陷入无限循环。

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