python - 为什么静态绑定(bind)对类和函数的作用不同？

Question

在 python 中(在 2.7.6 上测试)所有变量都是在编译时静态绑定(bind)到一个范围。这个过程很好在 http://www.python.org/dev/peps/pep-0227/ 中描述和 http://docs.python.org/2.7/reference/executionmodel.html

明确指出“如果发生名称绑定(bind)操作代码块中的任何位置， block 中名称的所有使用被视为对当前 block 的引用。”

函数是一个代码块，所以下面的代码会失败，因为 x在使用后分配(因此在编译时它被定义为本地因为它是在函数的某处分配的，但是在执行时时间，它在被绑定(bind)之前使用)。

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

>>> f()

Traceback (most recent call last):
  File "<pyshell#46>", line 1, in <module>
    f()
  File "<pyshell#45>", line 2, in f
    print x
UnboundLocalError: local variable 'x' referenced before assignment

一个类也是一个代码块，所以我们应该准确地观察同样的行为。但这不是我观察到的。看这个例子:

x = 1
class C():
    y = x + 10
    x = 2
    def __init__(self):
        print C.y

>>> C.x
2
>>> C.y
11      
>>> C()
11
<__main__.C instance at 0x00000000027CC9C8>

由于类定义是一个代码块，在此范围内的任何赋值 block 应该使变量本地化。所以 x 应该是本地的类 C，因此 y = x + 10 应该导致 UnboundLocalError。为什么没有这样的错误？

Answer 1

是的 - 文档似乎具有误导性。类定义实际上并不像其他普通 block 那样工作:

global_one = 0

class A(object):
    x = global_one + 10
    global_one = 100
    y = global_one + 20
    del global_one
    z = global_one + 30

a = A()
print a.x, a.y, a.z, global_one

结果:10, 120, 30, 0

如果您对一个函数尝试同样的事情，您会在第一次访问 global_one 时得到一个 UnboundLocalError。

原因是类定义通常可以访问父范围，但是，所有名称分配都不会修改本地范围，但实际上会被捕获到类的数据属性字典中。文档中有关于此的提示，但肯定不是很明显。