Python嵌套for循环使用同名变量的底层机制问询

先看你给出的代码和运行结果：

for i in range(2):
    for i in range(3):
        print(f"i at depth 2: {i}")
    print(f"i at depth 1: {i}")
print(f"i at depth 0: {i}")

运行输出：

i at depth 2: 0
i at depth 2: 1
i at depth 2: 2
i at depth 1: 2
i at depth 2: 0
i at depth 2: 1
i at depth 2: 2
i at depth 1: 2
i at depth 0: 2

底层原理解析 #

这个现象的核心是：Python的for循环不依赖循环变量名追踪迭代进度，而是直接绑定到独立的迭代器对象上，具体细节如下：

• 迭代器独立存在：外层循环启动时，会先把range(2)转换成一个迭代器，这个迭代器的状态（比如当前迭代到第几个元素）是独立存储的，和变量i没有绑定关系。外层循环的每次迭代，只是把迭代器的下一个值赋值给i，而非通过i控制迭代器的走向。
• 同名变量是覆盖而非关联：内层循环的i和外层的i属于同一个命名空间（这里是全局命名空间），内层循环每次迭代会把新值覆盖到i上，但这只是改变了i指向的内存对象，完全不会影响外层循环的迭代器。
• 循环变量的保留特性：Python中循环结束后，循环变量会保留最后一次赋值的内容。所以内层循环结束后i的值是2，外层循环第二次迭代完成后，i依然是2，最终全局的i也维持这个值。

相关官方文档说明 #

Python官方文档的「复合语句」章节中，对for循环的执行流程有明确定义：

for语句的执行步骤为：

1. 计算in后面的表达式，得到一个可迭代对象，生成对应的迭代器。
2. 不断从迭代器中取出下一个元素，赋值给循环变量（这里的i），然后执行循环体代码。
3. 当迭代器耗尽所有元素后，终止循环（如果有else子句则执行其内容）。

这段定义清晰说明：迭代器是循环执行的核心，循环变量只是迭代结果的接收者，二者没有绑定关系，所以即使变量被同名覆盖，也不会影响迭代器的工作。

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