Python 参考语言：非本地定义

Question

在this paragraph，可以找到以下句子（我的重点）：

与全局语句中列出的名称不同，非本地语句中列出的名称必须引用封闭范围内的预先存在的绑定（不能明确确定应该创建新绑定的范围)。

我用括号中的粗体句子来解释前面的句子意思是为了使诸如nonlocal a之类的非本地语句正确，诸如a = 1之类的语句在决定要在哪个命名空间中应该有问题在本地命名空间或封闭命名空间中添加（或修改）绑定（因为存在这样的命名空间已经包含名称 a 的绑定）。

这样对吗，是不是故意的？

如果是，我相信即使a 是全局的情况下（括号中的）措辞也适用，因为“不能明确地确定应该创建新绑定的范围”，这不是故意的。我对么？

Answer 1

语言参考是说外部范围内的某些语句必须创建变量供nonlocal 参考。例如，这很好：

def f():
    def g():
        a = 3
        def h():
            def i():
                nonlocal a
                print(a)

但这不是：

def f():
    def g():
        def h():
            def i():
                nonlocal a
                print(a)

因为在第一个 sn-p 中，Python 可以判断 nonlocal 应该使用来自 g 函数的 a 变量。在第二个 sn-p 中，Python 必须在其中一个封闭函数中创建一个新的 a 变量，但它不知道是哪个。