4.2.1。名称的绑定

名称指的是对象。名称由名称绑定操作引入。

以下构造绑定名称：形式参数到函数， import语句，类和函数定义（这些参数绑定定义块中的类或函数名称），以及作为标识符的目标（如果在赋值，for循环标题中或as在with语句中后 发生）或except条款。import表单的语句绑定导入模块中定义的所有名称，但以下划线开头的名称除外。此表单只能在模块级别使用。from ...import *

在del语句中出现的目标也被认为是为此目的绑定的（尽管实际的语义是取消绑定名称）。

每个赋值或导入语句都发生在由类或函数定义或模块级别（顶级代码块）定义的块中。

如果名称绑定在块中，则它是该块的局部变量，除非声明为nonlocal或global。如果名称在模块级别绑定，则它是全局变量。（模块代码块的变量是局部的和全局的。）如果在代码块中使用了变量但没有在那里定义，则它是一个自由变量。

程序文本中每次出现的名称都是指由以下名称解析规则建立的名称的绑定。

4.2.2。名称解析

甲范围定义了块内的名称的可见性。如果在块中定义了局部变量，则其范围包括该块。如果定义发生在功能块中，则作用域将扩展到定义块中包含的任何块，除非包含的块为名称引入了不同的绑定。

在代码块中使用名称时，将使用最近的封闭范围解析该名称。代码块可见的所有此类范围的集合称为块的 环境。

如果根本找不到名称，NameError则会引发异常。如果当前作用域是函数作用域，并且名称引用尚未绑定到使用该名称的值的局部变量，UnboundLocalError则会引发异常。 UnboundLocalError是。的子类NameError。

如果名称绑定操作发生在代码块中的任何位置，则块中名称的所有使用都将被视为对当前块的引用。在绑定之前在块中使用名称时，这可能会导致错误。这个规则很微妙。Python缺少声明，并允许在代码块中的任何位置进行名称绑定操作。可以通过扫描块的整个文本以确定名称绑定操作来确定代码块的局部变量。

如果global语句出现在块中，则语句中指定的名称的所有使用都将引用该名称在顶级名称空间中的绑定。通过搜索全局命名空间（即包含代码块的模块的命名空间）和内置命名空间（模块的命名空间），在顶级命名空间中解析名称builtins。首先搜索全局命名空间。如果在那里找不到名称，则搜索内置命名空间。该global声明必须在名称的所有使用之前。

该global语句与同一块中的名称绑定操作具有相同的范围。如果自由变量的最近封闭范围包含全局语句，则将自由变量视为全局变量。

该nonlocal语句使相应的名称引用最近的封闭函数范围中的先前绑定的变量。 SyntaxError如果任何封闭的函数作用域中不存在给定的名称，则在编译时引发。

模块的命名空间在第一次导入模块时自动创建。始终调用脚本的主模块__main__。

类定义块和参数exec()，并eval()在名称解析的情况下特别。类定义是可以使用和定义名称的可执行语句。这些引用遵循名称解析的常规规则，但在全局命名空间中查找未绑定的局部变量。类定义的名称空间成为类的属性字典。类块中定义的名称范围仅限于类块; 它没有扩展到方法的代码块 – 这包括了解和生成器表达式，因为它们是使用函数作用域实现的。这意味着以下内容将失败：

class A: 
    a = 42 
    b = list(a + i for i in range(10))

4.2.3。内置和限制执行

与代码块执行相关联的builtins命名空间实际上是通过__builtins__在其全局命名空间中查找名称来找到的; 这应该是字典或模块（在后一种情况下，使用模块的字典）。默认情况下，在 __main__模块中，__builtins__是内置模块 builtins; 在任何其他模块中，__builtins__是builtins模块本身的字典的别名。

4.2.4。与动态特征的交互

自由变量的名称解析在运行时发生，而不是在编译时发生。这意味着以下代码将打印42：

i = 10 
def f(): 
    print(i) 
    i = 42 
f()

该eval()和exec()功能没有获得解决的名字完整环境。可以在调用者的本地和全局名称空间中解析名称。自由变量不在最近的封闭命名空间中解析，而是在全局命名空间中解析。 [1]的exec()和 eval()函数具有可选参数覆盖全局和局部命名空间。如果仅指定了一个名称空间，则将其用于两者。