类定义中的变量范围令人困惑

Question

由于某些原因，当出现这种情况时，python 从全局命名空间获取变量：

class Cls:
    foo = foo

请看这段代码：

foo = 'global'

def func0():
    foo = 'local'
    class Cls:
        bar = foo
    print('func0', Cls.bar)
 func0()
 # func0 local

def func1():
    foo = 'local'
    class Cls:
        foo = foo
    print('func1', Cls.foo)
func1()
# func1 global

def func2():
    foo = 'nonlocal'
    def internal():
        class Cls:
            foo = foo
        print('func2.internal', Cls.foo)
    internal()
func2()
# func2.internal global

def func3():
    foo = 'local'
    class Cls:
        bar = foo
        foo = foo
    print('func3', Cls.bar, Cls.foo)
func3()
# func3 global global

按照PEP 227

类定义是一个可执行语句，可能包含名称的使用和定义。这些引用遵循名称解析的正常规则。类定义的命名空间成为类的属性字典。

但在我看来，这根本不像是“遵循正常规则”。我错过了什么？

Py2 和 Py3 都是这样操作的。

Answer 1

Execution model - Resolution of names:

中记录了这一点

类定义块 [...] 是特殊的 在名称解析的上下文中。类定义是可执行文件 可以使用和定义名称的语句。这些参考遵循 名称解析的正常规则，unbound local 除外 在全局命名空间中查找变量。

（强调我的）