Python中enumerate迭代器的浅拷贝行为异常原因探究

先看测试代码：

import copy

my_list = ["a", "b", "c", "d", "e", "f", "g", "h", "i", "j"]

def iterate_5_elements(iterator):
    for _ in range(5):
        print(next(iterator))

my_iterator1 = enumerate(my_list)
iterate_5_elements(my_iterator1)
iterate_5_elements(my_iterator1)
print("--------------------------------")

my_iterator2 = enumerate(my_list)
iterate_5_elements(copy.copy(my_iterator2))
iterate_5_elements(copy.copy(my_iterator2))
print("--------------------------------")

my_iterator3 = enumerate(my_list)
iterate_5_elements(copy.deepcopy(my_iterator3))
iterate_5_elements(copy.deepcopy(my_iterator3))
print("--------------------------------")

执行输出：

(0, 'a')
(1, 'b')
(2, 'c')
(3, 'd')
(4, 'e')
(5, 'f')
(6, 'g')
(7, 'h')
(8, 'i')
(9, 'j')
--------------------------------
(0, 'a')
(1, 'b')
(2, 'c')
(3, 'd')
(4, 'e')
(0, 'f')
(1, 'g')
(2, 'h')
(3, 'i')
(4, 'j')
--------------------------------
(0, 'a')
(1, 'b')
(2, 'c')
(3, 'd')
(4, 'e')
(0, 'a')
(1, 'b')
(2, 'c')
(3, 'd')
(4, 'e')
--------------------------------

原因解析 #

1. enumerate迭代器的内部结构 #

enumerate返回的迭代器本质包含两部分核心数据：

• 一个指向原可迭代对象（此处为my_list）的内部迭代器
• 一个用于生成索引的计数器（默认从0开始）

每次调用next()时，它会先通过内部迭代器取出原列表的下一个元素，结合当前计数器生成元组，最后计数器自增1。

2. copy.copy()的浅拷贝逻辑 #

浅拷贝仅复制enumerate迭代器对象本身，但共享其内部的列表迭代器，同时会将新拷贝对象的计数器重置为初始值（0）。具体流程：

• 创建my_iterator2时，它的内部列表迭代器指向my_list起始位置（元素'a'），计数器为0。
• 第一次调用copy.copy(my_iterator2)得到拷贝对象A：A共享my_iterator2的内部列表迭代器，计数器重置为0。遍历A的5次操作，会推动共享的列表迭代器依次取出'a'到'e'，同时A的计数器从0增加到5。此时共享的列表迭代器已停在元素'f'的位置。
• 第二次调用copy.copy(my_iterator2)得到拷贝对象B：B依然共享那个已走到'f'的列表迭代器，计数器再次重置为0。遍历B时，列表迭代器从'f'开始取元素，而计数器从0开始计数，因此出现(0, 'f')这类索引重置但元素续接的输出。

3. 与原迭代器行为差异的原因 #

原迭代器my_iterator1是同一个对象被连续遍历两次：第一次遍历推进了它的内部列表迭代器和计数器，第二次遍历基于已推进的状态继续，所以索引和元素同步递增。而浅拷贝每次生成新的enumerate对象，计数器重置，但内部列表迭代器的状态被所有拷贝对象共享，导致索引和元素不同步。

4. copy.deepcopy()的深拷贝逻辑 #

深拷贝会完全复制迭代器的所有结构：包括重新创建一个指向my_list起始位置的内部列表迭代器，同时计数器重置为0。因此每次深拷贝得到的都是全新的、从头开始的enumerate迭代器，两次遍历都会输出从(0, 'a')开始的结果。

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