4.2.1. 名稱(chēng)的綁定?

名稱(chēng) 用于指代對象。 名稱(chēng)是通過(guò)名稱(chēng)綁定操作來(lái)引入的。

The following constructs bind names:

• formal parameters to functions,

• class definitions,

• function definitions,

• assignment expressions,

• targets that are identifiers if occurring in an assignment:

  • for loop header,

  • after as in a with statement, except clause or in the as-pattern in structural pattern matching,

  • in a capture pattern in structural pattern matching

• import statements.

The import statement of the form from ... import * binds all names defined in the imported module, except those beginning with an underscore. This form may only be used at the module level.

del 語(yǔ)句的目標也被視作一種綁定（雖然其實(shí)際語(yǔ)義為解除名稱(chēng)綁定）。

每條賦值或導入語(yǔ)句均發(fā)生于類(lèi)或函數內部定義的代碼塊中，或是發(fā)生于模塊層級（即最高層級的代碼塊）。

如果名稱(chēng)綁定在一個(gè)代碼塊中，則為該代碼塊的局部變量，除非聲明為 nonlocal 或 global。 如果名稱(chēng)綁定在模塊層級，則為全局變量。 (模塊代碼塊的變量既為局部變量又為全局變量。) 如果變量在一個(gè)代碼塊中被使用但不是在其中定義，則為 自由變量。

每個(gè)在程序文本中出現的名稱(chēng)是指由以下名稱(chēng)解析規則所建立的對該名稱(chēng)的 綁定。

4.2.2. 名稱(chēng)的解析?

作用域 定義了一個(gè)代碼塊中名稱(chēng)的可見(jiàn)性。 如果代碼塊中定義了一個(gè)局部變量，則其作用域包含該代碼塊。 如果定義發(fā)生于函數代碼塊中，則其作用域會(huì )擴展到該函數所包含的任何代碼塊，除非有某個(gè)被包含代碼塊引入了對該名稱(chēng)的不同綁定。

當一個(gè)名稱(chēng)在代碼塊中被使用時(shí)，會(huì )由包含它的最近作用域來(lái)解析。 對一個(gè)代碼塊可見(jiàn)的所有這種作用域的集合稱(chēng)為該代碼塊的 環(huán)境。

當一個(gè)名稱(chēng)完全找不到時(shí)，將會(huì )引發(fā) NameError 異常。 如果當前作用域為函數作用域，且該名稱(chēng)指向一個(gè)局部變量，而此變量在該名稱(chēng)被使用的時(shí)候尚未綁定到特定值，將會(huì )引發(fā) UnboundLocalError 異常。 UnboundLocalError 為 NameError 的一個(gè)子類(lèi)。

如果一個(gè)代碼塊內的任何位置發(fā)生名稱(chēng)綁定操作，則代碼塊內所有對該名稱(chēng)的使用會(huì )被認為是對當前代碼塊的引用。 當一個(gè)名稱(chēng)在其被綁定前就在代碼塊內被使用時(shí)則會(huì )導致錯誤。 這個(gè)一個(gè)很微妙的規則。 Python 缺少聲明語(yǔ)法，并允許名稱(chēng)綁定操作發(fā)生于代碼塊內的任何位置。 一個(gè)代碼塊的局部變量可通過(guò)在整個(gè)代碼塊文本中掃描名稱(chēng)綁定操作來(lái)確定。

If the global statement occurs within a block, all uses of the names specified in the statement refer to the bindings of those names in the top-level namespace. Names are resolved in the top-level namespace by searching the global namespace, i.e. the namespace of the module containing the code block, and the builtins namespace, the namespace of the module builtins. The global namespace is searched first. If the names are not found there, the builtins namespace is searched. The global statement must precede all uses of the listed names.

global 語(yǔ)句與同一代碼塊中名稱(chēng)綁定具有相同的作用域。 如果一個(gè)自由變量的最近包含作用域中有一條 global 語(yǔ)句，則該自由變量也會(huì )被當作是全局變量。

nonlocal 語(yǔ)句會(huì )使得相應的名稱(chēng)指向之前在最近包含函數作用域中綁定的變量。 如果指定名稱(chēng)不存在于任何包含函數作用域中則將在編譯時(shí)引發(fā) SyntaxError。

模塊的作用域會(huì )在模塊第一次被導入時(shí)自動(dòng)創(chuàng )建。 一個(gè)腳本的主模塊總是被命名為 __main__。

類(lèi)定義代碼塊以及傳給 exec() 和 eval() 的參數是名稱(chēng)解析上下文中的特殊情況。 類(lèi)定義是可能使用并定義名稱(chēng)的可執行語(yǔ)句。 這些引用遵循正常的名稱(chēng)解析規則，例外之處在于未綁定的局部變量將會(huì )在全局命名空間中查找。 類(lèi)定義的命名空間會(huì )成為該類(lèi)的屬性字典。 在類(lèi)代碼塊中定義的名稱(chēng)的作用域會(huì )被限制在類(lèi)代碼塊中；它不會(huì )擴展到方法的代碼塊中 -- 這也包括推導式和生成器表達式，因為它們都是使用函數作用域實(shí)現的。 這意味著(zhù)以下代碼將會(huì )失敗:

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

4.2.3. 內置命名空間和受限的執行?

與一個(gè)代碼塊的執行相關(guān)聯(lián)的內置命名空間實(shí)際上是通過(guò)在其全局命名空間中搜索名稱(chēng) __builtins__ 來(lái)找到的；這應該是一個(gè)字典或一個(gè)模塊（在后一種情況下會(huì )使用該模塊的字典）。 默認情況下，當在 __main__ 模塊中時(shí)，__builtins__ 就是內置模塊 builtins；當在任何其他模塊中時(shí)，__builtins__ 則是 builtins 模塊自身的字典的一個(gè)別名。

4.2.4. 與動(dòng)態(tài)特性的交互?

自由變量的名稱(chēng)解析發(fā)生于運行時(shí)而不是編譯時(shí)。 這意味著(zhù)以下代碼將打印出 42:

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

eval() 和 exec() 函數沒(méi)有對完整環(huán)境的訪(fǎng)問(wèn)權限來(lái)解析名稱(chēng)。 名稱(chēng)可以在調用者的局部和全局命名空間中被解析。 自由變量的解析不是在最近包含命名空間中，而是在全局命名空間中。 1 exec() 和 eval() 函數有可選參數用來(lái)重載全局和局部命名空間。 如果只指定一個(gè)命名空間，則它會(huì )同時(shí)作用于兩者。