面試題之一。

def extendList(val,list=[]):
    list.append(val)
    return list

list1 = extendList(10)
list2 = extendList(123,[])
list3 = extendList('a')

print list1
print list2
print list3

我猜應該是[10]，[123]，['a']，但實際上是：

[10, 'a']
[123]
[10, 'a']

def foo(a, b =[]):
    b.append(a)
    print b

foo(1)
foo(2)
 

>>> 
[1]
[2]
>>> 

>>> 
[1]
[1, 2]
>>> 

原來當list等可變型別作為預設引數時，僅僅在定義函式的時候（也就是執行def語句）被計算一次，有且僅有這麼一次。

其它的時候無論呼叫幾次函式，如果沒有傳參進來，就會一直用這個預設引數了。

看起來有點像是靜態變數，靜態變數的初始化也僅僅是執行一次。

為了驗證下上述的幾句話，我們需要先介紹下一些小工具：

id(obj)，檢視一個物件的id，如果兩個物件的id是一樣的，意味著他們是同一個物件。

func.__defaults__，是一個列表，存放著函式的預設引數的一個list，因為b()只有一個預設引數，那麼b.__defaults__[0]就是指向b()的第一個預設引數x。

證據：

def a():
    print 'a executed'
    return []

def b(x=a()):
    print 'id(x):',id(x)
    x.append(5)

for i in range(2):
    print '*'*20
    b()
    print 'b.__defaults__:',b.__defaults__
    print 'id(b.__defaults__[0]):',id(b.__defaults__[0])

for i in range(2):
    print '*'*20
    b(list())
    print 'b.__defaults__:',b.__defaults__
    print 'id(b.__defaults__[0]):',id(b.__defaults__[0])
 

我們先預測結果：

1、因為預設函式只會在def執行的時候，被計算一次，所以結果應該只有一個：a executed。

2、兩個for迴圈一共4次呼叫b()，前兩次沒有傳參（那麼x就用的是預設引數），後兩次傳參。

3、因為預設引數一直就這麼一個物件，所以兩個for迴圈中四個id(b.__defaults__[0])都是指向同一個id。

4、前兩次呼叫b()中，id(x) == id(b.__defaults__[0])，後兩次b()中，id(x)互相不同，且都異於id(b.__defaults__[0])。

實際結果是（完全正確）：

a executed
********************
id(x): 48881992
b.__defaults__: ([5],)
id(b.__defaults__[0]): 48881992
********************
id(x): 48881992
b.__defaults__: ([5, 5],)
id(b.__defaults__[0]): 48881992
********************
id(x): 48753672
b.__defaults__: ([5, 5],)
id(b.__defaults__[0]): 48881992
********************
id(x): 48754056
b.__defaults__: ([5, 5],)
id(b.__defaults__[0]): 48881992

看來這個list當預設引數值時，還需要特別注意呢。

為了避免類似問題程式碼的情況，官方文件的寫法是：

def foo(a, b=None):
    if b is None:
        b = []
    b.append(a)
    print b

foo(1)
foo(2)

總結：

1、當list、dic等可變型別作為函式預設引數並且呼叫函式時沒有傳參的時候，要注意list、dic並不會自己清空。

2、預設引數只在def語句被執行的時候計算一次。

3、如果想要的話，把預設引數當成靜態變數（也就是全域性變數）也是一種抖機靈的好思路呢。

參考文獻：