Python 函數中，參數是傳值，仍是傳引用？

在 C/C++ 中，傳值和傳引用是函數參數傳遞的兩種方式，在Python中參數是如何傳遞的？回答這個問題前，不如先來看兩段代碼。

 

代碼段1：

def foo(arg):

    arg = 2

    print(arg)

 

a = 1

foo(a)  # 輸出：2

print(a) # 輸出：1

看了代碼段1的同窗可能會說參數是值傳遞。

 

代碼段2：

def bar(args):

    args.append(1)

 

b = []

print(b)#　輸出：[]

print(id(b)) # 輸出：4324106952

bar(b)

print(b) ＃　輸出：[1]

print(id(b))  # 輸出：4324106952

看了代碼段2，這時可能又有人會說，參數是傳引用，那麼問題來了，參數傳遞究竟是傳值仍是傳引用或者二者都不是？爲了把這個問題弄清楚，先了解 Python 中變量與對象之間的關係。

 

變量與對象

 

Python 中一切皆爲對象，數字是對象，列表是對象，函數也是對象，任何東西都是對象。而變量是對象的一個引用（又稱爲名字或者標籤），對象的操做都是經過引用來完成的。例如，[]是一個空列表對象，變量 a 是該對象的一個引用

a = []

a.append(1)

在 Python 中，「變量」更準確叫法是「名字」，賦值操做 = 就是把一個名字綁定到一個對象上。就像給對象添加一個標籤。

a = 1

 

整數 1 賦值給變量 a 就至關因而在整數1上綁定了一個 a 標籤。

a = 2

 

整數 2 賦值給變量 a，至關於把原來整數 1 身上的 a 標籤撕掉，貼到整數 2 身上。

b = a

 

把變量 a 賦值給另一個變量 b，至關於在對象 2 上貼了 a，b 兩個標籤，經過這兩個變量均可以對對象 2 進行操做。

 

變量自己沒有類型信息，類型信息存儲在對象中，這和C/C++中的變量有很是大的出入（C中的變量是一段內存區域）

 

函數參數

 

Python 函數中，參數的傳遞本質上是一種賦值操做，而賦值操做是一種名字到對象的綁定過程，清楚了賦值和參數傳遞的本質以後，如今再來分析前面兩段代碼。

def foo(arg):

    arg = 2

    print(arg)

 

a = 1

foo(a)  # 輸出：2

print(a) # 輸出：1

 

在代碼段1中，變量 a 綁定了 1，調用函數 foo(a) 時，至關於給參數 arg 賦值 arg=1，這時兩個變量都綁定了 1。在函數裏面 arg 從新賦值爲 2 以後，至關於把 1 上的 arg 標籤撕掉，貼到 2 身上，而 1 上的另一個標籤 a 一直存在。所以 print(a) 仍是 1。

 

再來看一下代碼段2

def bar(args):

    args.append(1)

 

b = []

print(b)#　輸出：[]

print(id(b)) # 輸出：4324106952

bar(b)

print(b) ＃　輸出：[1]

print(id(b))  # 輸出：4324106952

 

執行 append 方法前 b 和 arg 都指向（綁定）同一個對象，執行 append 方法時，並無從新賦值操做，也就沒有新的綁定過程，append 方法只是對列表對象插入一個元素，對象仍是那個對象，只是對象裏面的內容變了。由於 b 和 arg 都是綁定在同一個對象上，執行 b.append 或者 arg.append 方法本質上都是對同一個對象進行操做，所以 b 的內容在調用函數後發生了變化（但id沒有變，仍是原來那個對象）

 

最後，回到問題自己，到底是是傳值仍是傳引用呢？說傳值或者傳引用都不許確。非要安一個確切的叫法的話，叫傳對象（call by object）。若是做爲面試官，非要考察候選人對 Python 函數參數傳遞掌握與否，與其討論字面上的意思，還不如來點實際代碼。

 

show me the code

 

def bad_append(new_item, a_list=[]):

    a_list.append(new_item)

    return a_list

 

這段代碼是初學者最容易犯的錯誤，用可變(mutable)對象做爲參數的默認值。函數定義好以後，默認參數 a_list 就會指向（綁定）到一個空列表對象，每次調用函數時，都是對同一個對象進行 append 操做。所以這樣寫就會有潛在的bug，一樣的調用方式返回了不同的結果。

>>> print bad_append('one')

['one']

>>> print bad_append('one')

['one', 'one']

 

 

而正確的方式是，把參數默認值指定爲None

def good_append(new_item, a_list=None):

    if a_list is None:

        a_list = []

    a_list.append(new_item)

    return a_list

　　

參考：http://python.net/~goodger/projects/pycon/2007/idiomatic/handout.html#other-languages-have-variables