問題描述

有這樣一個函數：

def outside(): x=[] print(id(x)) def inside():print(id(x))x[:]=[1,2,3]print(id(x)) inside() print(id(x)) print(x)

調用后沒出現問題，輸出：140560473157960140560473157960140560473157960140560473157960[1, 2, 3]

但是將里面的x換成一個字符串，如下：

def outside(): x=’outside’ print(id(x)) def inside():print(id(x))x=’inside’print(id(x)) inside() print(id(x)) print(x)

再來進行調用的時候就變成了：

140560473762872Traceback (most recent call last): File '<stdin>', line 1, in <module> File '<stdin>', line 8, in outside File '<stdin>', line 5, in insideUnboundLocalError: local variable ’x’ referenced before assignment

按照規則，此時進入inside函數里，為什么x不指向原來的’outside’字符串了呢？

未定義的變量不是應該產生NameError嗎，為什么此處不是？

我原來以為字符串和list都是類似于C中的指針，但現在看來不是這樣，如果可以的話希望能對這一點進行一些介紹，謝謝。

問題解答

從易到難一個個回答, 因為是個人愚見, 所以如果有大神看到說得不正確, 希望能夠指出類似C中的指針: 這個是正確的, 因為在py里面, 幾乎所有的事物都是對象, 就連變量賦值, 也是先生成對象, 再讓變量指向這個對象,而對象還分可變對象和不可變對象, 在對可變對象操作時, 是會影響到其他指向這個對象的變量, 例如:

o = [1, 2, 3, 4]b = oprint id(o)print id(b)b[1] = 123123print bprint o輸出:3994637639946376[1, 123123, 3, 4][1, 123123, 3, 4] # o指向的列表也被改變

而對于不可變對象, 是直接就放棄舊的對象, 而指向新的對象, 例如:

s = ’123123’print id(s)s = ’32131’print id(s)# 輸出:4139276841392808

所以你在操作python對象時, 需要謹記該對象是屬于哪種類型, 你的操作又會不會因為這些特性而失敗或者沒達到自己想要的效果.

未定義的變量: python在查找變量時, 將遵循LEGB的順序, 只有都查找完畢還是沒找到的情況下, 才會觸發NameError異常, 這個可以參考我的一篇博文: Python: 作用域(scope) 和 LEGB

UnboundLocalError: 這個問題是最常見, 也是最難解釋的, 因為我們總是相當然地覺得, 它必定就會根據ELGB的順序去查到變量;其實我們的理解并沒錯誤, 只是我們忽略了一點:賦值語句,如果函數代碼段沒有賦值語句, 那么這個問題是不會出現, 但為什么出現賦值語句就會報錯呢? 這和python的作用域有關, 在上面那篇文章提到, python作用域并不是動態的,而是靜態的, 從腳本文件的縮進, 就能看出來的, 所以在代碼:

x=’outside’ print(id(x)) def inside():print(id(x))x=’inside’print(id(x))

在inside中, 已經有了賦值語句, 所以對于x,他已經不會從enclosing 或者global甚至bulitin里面去查找, 它已經被認定在local域了, 只是這個值并沒有和真正的對象’inside’建立起綁定關系, 因為代碼沒有運行到真正的賦值語句, 所以, 會觸發這個UnboundLocalError. 而為什么那個列表會可以那樣做, 因為他們兩個是完全不同的操作, 同樣都是print(id(x))list的操作字節碼是LOAD_DEREF, 而字符串的操作字節碼是LOAD_FAST, 而x[:]=[1,2,3]/x=’inside’分別對應的字節碼又是STORE_SLICE+3 和 STORE_FAST, 前者是在原來的基礎上修改, 而后者是重新指向新的對象, 而這兩種方式的區別, 決定了,它們在構建函數時, 以怎樣的形式存放x, 這個就涉及到python函數構建的原理了, 有興趣可以看看源碼中的object/ceval.c源碼, 這是虛擬機運行的原理, 關于這個問題可以簡單看我另一篇文章, 比較簡單將UnboundLocalError: 說下那神奇的 UnboundLocalError: local variable x referenced before assignment

你在inside函數里面重新賦值了新的變量x，兩個x的作用域是不相同的。而導致UnboundLocalError，是因為你在inside的作用域里面，打印了一個沒有初始化的變量。具體看這個解釋：https://docs.python.org/2/faq...

基本上Lin_R已經說的很清楚了。outside函數與inside函數，他們的域是不同的。由于你在inside函數中對x進行了賦值，當在inside函數中使用變量x時，此時x就被認定是在inside的local域中。此時的x是不會使用其他域中的值的。所以在print(x)時，由于x沒有初始化的值，因此出錯。雖然在c中可以使用已定義而未賦值的變量，但是python不允許這種情況。

在python3中，有一個nonlocal語句可以解決這個問題。

def outside(): x=’outside’ print(id(x)) def inside():nonlocal xprint(id(x))x=’inside’print(id(x)) inside() print(id(x)) print(x)

注意，此時使用global語句是不行的，因為在global域內沒有x這個變量。