为什么在全局范围而不是封闭范围中查找未初始化的类变量？

Question

这不是我在编码项目中需要的问题，但我的一个朋友把它发给了我。 问题是：这里打印出什么？为什么？

x = 0
y = 0
def f():
    x = 1
    y = 1
    class A:
        print(x,y)
        x = 2
f()

输出：

0 1

我的第一直觉告诉我应该是“1 1”，但我错了。我摆弄了代码，发现如果我删除“x = 2”我会是正确的。但为什么呢？

此外，当我将变量设为全局变量时，它也起作用了。像这样：

x = 0
y = 0
def f():
    global x
    global y
    x = 1
    y = 1
    class A:
        print(x,y)
        x = 2
f()

输出：

1 1

我不是在寻找解决问题的其他方法，只是为了更好地了解这里发生的事情。

提前致谢

Answer 1

这在Resolution of names的最后一段中有记录：

exec() 和 eval() 的类定义块和参数是特殊的 在名称解析的上下文中。类定义是可执行文件 可以使用和定义名称的语句。这些参考遵循 名称解析的正常规则有一个例外是未绑定本地 在全局命名空间中查找变量。 （强调我的）

因此，正如预期的那样，在定义它的最近的封闭范围内查找y（f 函数，它的值是 1）。

另一方面，x = 2 导致 x 被认为是本地的，并且由于它尚未在 print(x,y) 中定义，因此异常会导致在全局命名空间中查找它（它的值是 0 )，而不是像普通函数中未绑定的局部变量所期望的那样导致 NameError。

---

我一直想知道为什么存在这个特殊规则，感谢@orlp 在问题下的评论，我才找到了答案。

问题中的代码似乎来自this 2014 blog post from KMOD'S BLOG，最近是tweeted by Guido van Rossum。

正如有人问及原因，Guido answered：

向后兼容 Python 2.1。

所以现在我们知道了...