在全局命名空间中查找类定义中未绑定的局部变量 - 这意味着什么？

最后一段https://docs.python.org/3/reference/executionmodel.html#resolution-of-names https://docs.python.org/3/reference/executionmodel.html#resolution-of-names says

类定义块以及 exec() 和 eval() 的参数在名称解析上下文中是特殊的。类定义是可以使用和定义名称的可执行语句。这些引用遵循名称解析的正常规则，但在全局命名空间中查找未绑定的局部变量除外。

引用文本的最后一句是什么意思？起初我从中推断出以下代码将打印1

a = 1

def foo():
    a = 2
    def bar():
        class Bar:
            b = a
        print(Bar.b)
    bar()

foo()

但我错了 - 由上面的代码组成的模块在运行时会打印2，即名称a在类定义中，即使它没有绑定在类定义块中，也没有绑定在其外部的本地块中，也不会在全局命名空间中查找，这与文档所说的相反。

我尝试了下面描述的另一个代码片段（使用del语句，这是一个绑定其中变量的构造）

a = 1

def foo():
    a = 2
    def bar():
        class Bar:
            del a
        print(Bar.b)
    bar()

foo()

but the del声明提出NameError: name 'a' is not defined.

所以我不明白，这句话是什么意思？

根据文档 https://docs.python.org/3/reference/executionmodel.html#binding-of-names,

如果名称绑定在块中，则它是该块的局部变量，除非声明为非局部或全局变量。

在你的第一个代码块中，a不绑定到你的任何东西class Bar定义，因此它不是该块的局部变量。

绑定名称的一种方法是在赋值语句的左侧使用它。这是一个例子。

a = 1
def foo():
    a = 2
    class Bar:
        b = a
        a = 3
    print(Bar.b)
foo()

Result:

1

这演示了“在全局命名空间中查找未绑定的局部变量”的原理——b = a使用全局的值a而不是其价值a本地到foo.

在你的第二个例子中，a is被认为是本地的class Bar块，因为为了确定名称的范围，“del 语句中出现的目标也被视为绑定”。但是“在全局命名空间中查找未绑定的局部变量”是不相关的，因为del不需要查找名称的值来解除绑定。

为了更好地衡量，我们可以通过实验证实del语句向解释器发出信号，表明名称应被视为本地名称。

a = 1
def foo():
    a = 2
    class Bar:
        print(a)
        del a
foo()

Result:

1
Traceback (most recent call last):
  File "C:\Users\Kevin\Desktop\test.py", line 7, in <module>
    foo()
  File "C:\Users\Kevin\Desktop\test.py", line 4, in foo
    class Bar:
  File "C:\Users\Kevin\Desktop\test.py", line 6, in Bar
    del a
NameError: name 'a' is not defined

在这里我们看到print(a)成功查找局部变量的值a，然后在下一行它崩溃了，因为del无法删除未绑定的局部变量。