python中的作用域顺序如下:

搜索局部范围 搜索所有外围函数的范围 搜索全局范围 搜索内置设备

(源)

注意，这里没有列出if和其他循环/分支结构——在Python中只有类、函数和模块提供作用域，因此if块中声明的任何内容都与块外声明的任何内容具有相同的作用域。在编译时不检查变量，这就是为什么其他语言会抛出异常。在python中，只要变量在你需要它的时候存在，就不会抛出异常。

是的，它们在同一个“局部作用域”中，实际上这样的代码在Python中很常见:

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

use(x)

注意，x没有在条件之前声明或初始化，就像在C或Java中那样。

换句话说，Python没有块级作用域。但是，在使用诸如

if False:
    x = 3
print(x)

这显然会引发NameError异常。

是的。对于范围也是如此。当然不是函数。

在你的例子中:如果if语句中的条件为false, x将不会被定义。

与C等语言不同，Python变量在它出现的整个函数(或类或模块)的范围内，而不仅仅是在最里面的“块”中。这就好像你在函数(或类，或模块)的顶部声明了int x，只是在Python中你不需要声明变量。

注意，变量x的存在只在运行时检查——也就是说，当你得到print x语句时。如果__name__不等于"__main__"，那么你会得到一个异常:NameError: name 'x'没有定义。

Python变量的作用域是它们被赋值的最里面的函数、类或模块。像if和while这样的控制块不算数，所以在if中赋值的变量仍然是函数、类或模块的作用域。

(由生成器表达式或list/set/dict推导式定义的隐式函数也算数，lambda表达式也是如此。你不能把赋值语句塞进这些语句中，但lambda形参和for子句目标是隐式赋值。)

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

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

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

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