if 语句中初始化变量的范围是什么？

问题描述：

这可能是一个简单的范围问题。Python 文件（模块）中的以下代码让我有点困惑：

if __name__ == '__main__':
    x = 1
    
print x

在我使用过的其他语言中，此代码会引发异常，因为x变量是if语句的本地变量，不应存在于语句之外。但此代码执行并打印 1。有人能解释这种行为吗？在模块中创建的所有变量都是全局的/可供整个模块使用的吗？

解决方案 1：

Python 变量的作用域为它们被分配到的最内层函数、类或模块。控制块（如if和while块）不计算在内，因此在内部分配的变量的作用域if仍然为函数、类或模块。

（由生成器表达式或列表/集合/字典理解定义的隐式函数确实算数，lambda 表达式也是如此。您不能将赋值语句填充到其中任何一个中，但 lambda 参数和for子句目标是隐式赋值。）

解决方案 2：

是的，它们处于同一个“本地范围”内，实际上这样的代码在 Python 中很常见：

if condition:
  x = 'something'
else:
  x = 'something else'

use(x)

请注意，x在条件之前并未声明或初始化，例如在 C 或 Java 中。

换句话说，Python 没有块级作用域。不过，请注意以下示例

if False:
    x = 3
print(x)

这显然会引发NameError异常。

解决方案 3：

Python 中的作用域遵循以下顺序：

• 搜索本地范围

• 搜索任何封闭函数的范围

• 搜索全局范围

• 搜索内置功能

（来源）

请注意，if没有列出其他循环/分支结构 - 只有类、函数和模块在 Python 中提供范围，因此块中声明的任何内容都if具有与块外声明的任何内容相同的范围。变量在编译时不进行检查，这就是其他语言抛出异常的原因。在 Python 中，只要变量在您需要时存在，就不会抛出异常。

解决方案 4：

与 C 等语言不同，Python 变量的作用域是它出现的整个函数（或类、模块），而不仅仅是最内层的“块”。就像您int x在函数（或类、模块）顶部声明一样，只不过在 Python 中您不必声明变量。

请注意，仅在运行时检查变量是否存在x—— 即当您到达print x语句时。如果__name__不相等"__main__"，那么您将得到一个异常：NameError: name 'x' is not defined。

解决方案 5：

正如 Eli 所说，Python 不需要变量声明。在 C 中，你会说：

int x;
if(something)
    x = 1;
else
    x = 2;

但在 Python 中，声明是隐式的，因此当您将 x 赋值时，它会自动声明。这是因为 Python 是动态类型的 - 它在静态类型语言中不起作用，因为根据使用的路径，变量可能会在未声明的情况下使用。在静态类型语言中，这会在编译时被捕获，但在动态类型语言中，这是允许的。

静态类型语言被限制必须在if语句之外声明变量的唯一原因就是这个问题。拥抱动态吧！

解决方案 6：

是的。对于作用域来说也是如此for。但当然不是函数。

在您的示例中：如果语句中的条件if为假，x则不会定义。

解决方案 7：

您正在从命令行执行此代码，因此if条件为真且x已设置。比较：

>>> if False:
    y = 42


>>> y
Traceback (most recent call last):
  File "<pyshell#6>", line 1, in <module>
    y
NameError: name 'y' is not defined