为何Python循环内定义的变量可在外部访问？运行输出10而非未定义报错

出现这个结果是因为混淆了Python和多数带块级作用域语言（如C++、Java）的作用域判定规则，具体逻辑拆解如下：

Python的作用域判定规则 #

Python的作用域层级完全不依赖代码缩进划分的代码块，只按照代码的编写结构划分为4个层级：

• 函数内部的局部作用域
• 外层嵌套函数的闭包作用域
• 模块层级的全局作用域
• 内置命名空间的作用域
  像for循环、if判断、with语句这类通过缩进标识的独立代码块，本身不会新建独立的作用域，块内部的所有赋值操作，都会和块外部归属到同一个上层作用域。

对应到你的代码的执行流程 #

你的整段代码没有定义函数、类，整体运行在模块级的全局作用域下：

1. for循环第一次迭代（i=1）时，执行a = 10的赋值，这时候会直接在全局作用域下创建名为a的变量，绑定值10。
2. 后续i从2到9的迭代过程中，只是反复给已经存在的全局变量a重新赋值10，既不会创建独立的循环作用域，也不会在循环退出时销毁已经创建的a变量。
3. 循环全部执行完成后，全局作用域下的a依然存在，因此后面的print(a)可以正常访问到该变量，输出结果为10。

你预期的NameError触发场景 #

如果要触发你预想的名称未定义报错，需要满足“循环内的赋值逻辑完全没有被执行过”的条件——也就是循环根本没有进入缩进块执行，比如把循环改成遍历空可迭代对象：

for i in range(1, 1):
    a =10
print(a)

这时候程序从来没有在当前全局作用域下创建过变量a，执行到print语句时就会抛出NameError: name 'a' is not defined。

补充容易混淆的细节：Python 3中列表推导式、生成器表达式是有独立作用域的，这类结构内部定义的变量不会泄漏到外层作用域，但普通for循环没有这个特性。

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