Python自引用for循环问题：为何a[-1]作为循环变量时输出为0 1 2 2

核心原因 #

该现象是Python for循环的执行机制、赋值目标为列表自身元素共同作用的结果，核心是a[-1]是赋值的左值目标，而非循环时读取的对象。

Python for循环的底层执行逻辑 #

for <target> in <iterable> 并非表层语义的“遍历iterable的元素赋值给target”，实际执行流程为：

• 进入循环前，仅对in后的可迭代对象调用一次iter()，生成有状态的迭代器（后续循环不会重新生成）
• 每轮循环调用迭代器的__next__()方法，取出下一个值
• 将取出的值写入<target>指定的内存位置，而非读取target的值

列表的迭代器内部维护一个递增的索引，每次取值时按当前索引动态读取列表对应位置的元素，不会保存初始列表的快照。

逐轮迭代状态拆解 #

原示例代码：

a = [0, 1, 2, 3]
for a[-1] in a:
    print(a[-1])

各轮迭代的具体变化：

• 初始状态：a = [0,1,2,3]，生成a的迭代器，初始索引为0
• 第1轮：迭代器取索引0的元素0，写入a[-1]（即a的索引3位置），此时a = [0,1,2,0]，打印输出0
• 第2轮：迭代器索引自增为1，取索引1的元素1，写入a[-1]，此时a = [0,1,2,1]，打印输出1
• 第3轮：迭代器索引自增为2，取索引2的元素2，写入a[-1]，此时a = [0,1,2,2]，打印输出2
• 第4轮：迭代器索引自增为3，此时读取a索引3的元素（上一轮已被赋值为2），将该值写入a[-1]（无变化），打印输出2
• 迭代器索引自增为4，超出列表长度，抛出StopIteration，循环结束

最终输出完全匹配测试的0 1 2 2。

常见认知误区 #

很多人会误以为a[-1]是循环变量的读取对象，实际上这里的a[-1]只是一个写入目标：每轮迭代的核心动作是把迭代器取出的值写入列表的最后一个位置，而非读取该位置的值。因为修改的是列表自身的元素，a[-1]的取值自然会随迭代不断变化，甚至会反过来影响后续迭代器的取值（本例第4轮的取值就是上一轮修改后的结果）。

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