理解Python中的迭代器与zip：首次遍历后为何无输出？

核心本质 #

zip在Python3中是一次性惰性迭代器，而非可重复遍历的序列对象，该行为完全契合Python迭代协议的统一规则，并非实现bug。
Python里支持for循环遍历的对象分两类：

• 可重复遍历的容器/序列：比如列表、字典、字符串，每次启动遍历都会生成独立的新迭代器，从内容起始位置重新开始读取，不会损耗容器本身存储的内容
• 一次性迭代器：实现了__next__()方法的对象，内部维护一个单向移动的游标：
  1. 每调用一次__next__()，游标向后移动一个位置，返回当前位置对应的元素
  2. 游标走到内容末尾后，后续所有__next__()调用都会直接抛出StopIteration异常，永远不会返回此前已经遍历过的内容

示例无输出的完整执行流程 #

对应给出的代码场景，执行逻辑是这样的：

1. 执行zipped = zip([1,2,3], [4,5,6])时，对象并不会提前把(1,4)、(2,5)、(3,6)这些配对元组全部存入内存，仅记录两个输入列表的当前遍历偏移位置
2. 第一次跑for a,b in zipped循环时，循环会直接复用zipped对象本身作为迭代器（迭代器的__iter__()方法返回的就是自身，不会生成新的内容副本），反复调用__next__()依次取出3个配对元组，直到游标走到所有输入列表的末尾，触发StopIteration正常退出循环
3. 第二次跑同一循环时，zipped对象的内部游标已经卡在偏移量为3的末尾位置，第一次调用__next__()就直接抛出StopIteration，循环体一次都不会执行，自然没有任何输出

这种情况下zipped的对象引用仍然有效，但已经没有可遍历的剩余元素——本质是它从一开始就没存所有配对内容，只是一个带单向游标、临时计算配对结果的遍历通道。

同类常见的一次性迭代器 #

不止zip，Python3中大量内置对象都遵循完全相同的规则：

• map()、filter()返回的实例对象
• 打开的文件句柄
• 生成器表达式（比如(x*2 for x in [1,2,3])）

如果需要重复遍历配对结果，只需要在创建zip对象时提前把结果转成可重复遍历的列表容器即可，也就是zipped = list(zip([1,2,3], [4,5,6]))，此时所有配对元组会被实际存入内存，可无限次重复遍历。

背后的设计考量 #

这种惰性、一次性的迭代器设计，核心是为了最大程度降低内存开销：
如果要对两个长度为千万级的大列表做配对，若zip提前把所有配对元组全部加载到内存，会产生极高的存储成本。而惰性迭代器的实现下，遍历时每次仅生成当前位置的一个配对元组，使用后即可释放内存，完全不需要提前持有全部结果，哪怕处理超大规模序列也不容易出现内存溢出问题。

内容的提问来源于stack exchange，提问作者Lucia Martinez Rodrigez