函数命名空间概念（赋值前引用）

Question

我在函数中寻找一些关于命名空间概念的解释。

这是一个会引发 UnboundLocalError: local variable … referenced before assignment

的代码

x = 1
def foo():
    print x
    x = 2

我知道这应该引发异常。但我想了解 python 如何知道变量在本地命名空间中。在行 print x 处，x 不在局部变量 dict 中。

x = 1
def foo():
    print 'local before print x : ',locals()
    print x
    print 'local after print x :',locals()
    x = 2

foo() # call function, print local namespace before raising exception
local before print x :  {}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 3, in foo
UnboundLocalError: local variable 'x' referenced before assignment

在 print x 之前，local namespace dict 是空的 {}（这很明显）。那么python怎么知道x是局部变量呢。

这与类的工作方式不同

a = [1]
class b():
    c = a
    a = 2

print 'c inside class ', b.c
'c inside class  [1]'

d = b()

类中类似情况不会引发异常。

如果有人可以帮我解释概念，python如何在赋值之前知道这个变量是局部变量。

我检查了许多表格和网站的解释，但没有找到任何解释。

有解释如何解决这种情况的帖子和表格。例子。 UnboundLocalError: local variable … referenced before assignment 。 但我正在寻找 python 在后面工作。

Answer 1

Python 将您的代码预编译成一些字节码。在这一步中，它将为每个范围（通常是函数）找出标识符是引用全局变量还是局部变量。

• 如果明确声明为global，则它是全局的（简单的情况）。
• 如果在函数中任何地方为其分配了一个值而没有明确声明global，则它是本地的。
• 如果仅在函数中读取，则假定为全局（隐式）。

这是在编译时完成的，因此不会执行任何操作来确定这一点。

现在，在运行时，如果您在分配局部变量之前读取它，您会得到错误。

现在，对于类，您会遇到不同的情况，因为那里的变量并不是真正的本地变量（即位于调用堆栈的内存中）。如果您在b 的声明中访问 a，您将访问模块全局变量，除非存在覆盖模块全局变量的类全局变量。如果您分配到a，您将创建（或更改）一个类全局变量。对a 的任何后续访问（或分配给）都将访问全局类（或分配给）。