Python的非本地依賴於層次結構的級別？

Question

這個問題是關於a question about Python variable scope的後續行動。其他問題q1，q2和answers可以在SO上找到，甚至更多。 官方Python documentation和PEP 3104應該解釋的細節，但他們似乎不完全自我解釋給我。

我試圖解決的主題是通過將代碼向上/向下移動一層的層次結構來重構包含nonlocal/global的代碼。

什麼我不明白是這句話從Python參考的意義：

Names listed in a nonlocal statement, unlike to those listed in a global statement, must refer to pre-existing bindings in an enclosing scope (the scope in which a new binding should be created cannot be determined unambiguously).

鑑於全球範圍內將以下代碼：

var = 0 
def outer(): 
    global var     # line A 
    var = 1 
    def inner(): 
     nonlocal var   # line B 
     var = 2 

     print('inner:', var) 

    inner() 
    print('outer:', var) 

outer() 
print('main:', var) 

執行引發錯誤：

SyntaxError: no binding for nonlocal 'var' found 

該代碼工作（使用不同的語義，當然，如果有一個線A註釋：

inner: 2 
outer: 2 
main: 0 

或線B被註釋：

inner: 2 
outer: 1 
main: 1 

然而，在上面的例子中，由於nonlocal應該結合VAR到「封閉範圍「，我會預料到行A將外部/ var綁定到全局範圍，然後行B查找外部/ var，並將內部/ var重新綁定到global/var。相反，它似乎根本找不到它（由於A線的重新綁定，我想），並提出錯誤。

期望的結果我的預期是：

inner: 2 
outer: 2 
main: 2 

這是在Python作用域的頭腦的混亂狀態只是一個例子？

或者，使這個建設性的問題：

• 試問，這樣的例子在某種程度上被寫入，它不無論在哪個級別的功能所在（其與nonlocal，反之亦然交換global ）？
• 如果函數駐留在中間級別和未知級別，那麼outer()的作者如何更改代碼，即最外層（在本例中爲全局）級別和級別都不必觸及的代碼？ -

在我對語言的謙卑理解中，像這樣的構造（依賴於閉包）只是可以避免的。其他人已經建議使用其他語言功能（classes,func attrs）來實現這種上下文敏感性。

Answer 1

global和nonlocal並不意味着合併。他們有不同的含義：

• global意味着名字在模塊級
• nonlocal存在意味着名字在外部詞法函數範圍

你所得到的原始異常的原因是因爲存在你告訴Python var是非本地的（意思是它在外部函數定義中），但是沒有函數級綁定對於任何外部函數定義中的var，因爲你告訴Python var是全球性的外部功能。

Answer 2

How can such an example be written in a way that it does not matter at which level a function resides (having to exchange global with nonlocal and vice versa)?

函數所處的級別無關緊要。它只是變量駐留在哪個層次上。

If the functions reside at an intermediate, and unknown level of hierarchy, how could the author of outer() change the code that neither the outermost (in this case global) level, nor the inner() level have to be touched?

你問是否有可能用於在中間電平的功能，通過在其代碼改變的東西，以使在一個內部函數的變量在全局範圍或東西交替改變的東西外部函數的局部範圍。這似乎是一個非常奇怪的事情，能夠做到。