本地變數是靜態檢測的

正如我們所知道的一樣，Python定義的在一個函式中進行分配的變數名是預設為本地變數的，它們存在於函式的作用域並只在函式執行時存在。Python是靜態檢測Python的本地變數的，當編譯def程式碼時，不是通過發現賦值語句在執行時進行檢測的。這導致了在Python中入門者最為常見的陷阱之一。

一般來說，沒有在函式中賦值的變數名會在整個模組檔案中查詢。

X = 99
def selector():
    print(X)

>>>selector()
99

這裡，函式中的X被解析為模組中的X。但是如果在引用之後增加了一個賦值語句，看看會發生什麼。

def selector():
    print(X)
    X = 88

>>>selector()

UnboundLocalError: local variable 'X' referenced before assignment
 

def selector():
    global X
    print(X)
    X = 88

>>>selector()
99

X = 99
def selector():
    import __main__
    print(__main__.X)
    X = 88
    print(X)

selector()
99
88
 

在Python最近的版本中，已經針對這種情況釋出了更為專用的“unbound local”錯誤訊息來改進這一問題；然而這個陷阱仍然普遍存在。

預設和可變物件

預設引數是在def語句執行時評估並儲存的，而不是在這個函式呼叫時。從內部來講，Python會將每一個預設引數儲存成一個物件，附加在這個函式本身。

這也就是通常我們想要的：因為預設引數是在def時被評估的，如果必要的話，它能夠從整個作用域內儲存值，但是因為預設引數在呼叫之間都儲存了一個物件，必須對修改可變的預設引數十分小心。例如，下面的函式使用了一個空列表作為預設引數，並在函式每次呼叫時都對它進行了改變。

def saver(x=[]):
    x.append(1)
    print(x)

>>>saver([2])
[2,1]
>>>saver()
[1]
>>>saver()
[1,1]
>>>saver()
[1,1,1]

儘管這樣，對於大多數人來說，這看起來就像一個陷阱，特別是第一次遇到這樣的情況的時候。在Python中有更好的辦法在呼叫之間儲存狀態（例如，使用類）。

此外，可變型別預設引數記憶起來比較困難（理解起來也不容易）。它們的值取決於預設物件構建的時間。在上一個例子中，其中只有一個列表物件作為預設值，這個列表物件是在def語句執行時被建立的。不會每次函式呼叫時都得到一個新的列表，所以每次新的元素加入後，列表會變大，對於每次呼叫，它都沒有重置為空列表。

如果這不是你想要的行為的話，在函式主體的開始對預設引數進行簡單的拷貝，或者將預設引數值的表示式移至函式體內部。只要值是存在於程式碼中，而這部分程式碼在函式每次執行時都會執行的話，你就會每次都得到一個新的物件。

def saver(x=None):
    if x is None:
        x = []
    x.append(1)
    print(x)

>>>saver([2])
[2,1]
>>>saver()
[1]
>>>saver()
[1]

def saver():
    saver.x.append(1)
    print(saver.x)

>>>saver.x = []
>>>saver()
[1]
>>>saver()
[1,1]
>>>saver()
[1,1,1]

def proc(x):
    print(x)

>>>x = proc('testing 123...')
testing 123...
>>>print(x)
None

>>>list = [1,2,3]
>>>list = list.append(4)
>>>print(list)
None