[[405302]]

本文轉載自微信公眾號「Python作業輔導員」，作者天元浪子 。轉載本文請聯系Python作業輔導員公眾號。

昨晚有同學問了一個非常有意思的問題。問題本身很簡單，卻包含了初學者不易理解、編碼實踐中又處處可見的幾個知識點。如果對這些知識點理解有偏差，即便是經驗豐富的Python程序員，稍不留神也會掉進坑里。

def f(w, a, b): 
    w.append(a) 
    w = w + [b] 
    return w 
 
w, a, b = [5, 9], 2, 1 
w = f(w, a, b) + w 
print(w) 

如果將上面代碼稍作改動，函數中的賦值操作(=)變成加等操作(+=)，正確的輸出結果又是哪一個呢?

def f(w, a, b): 
    w.append(a) 
    w += [b] 
    return w 
 
w, a, b = [5, 9], 2, 1 
w = f(w, a, b) + w 
print(w) 

要想正確回答問題，首先要了解可變對象和不可變對象的概念，以及可變對象和不可變對象作為函數參數是如何向函數傳參的。

那么，什么是可變對象、什么是不可變對象呢?在Python中，整型(int)、浮點型(float)、布爾型(bool)、元組(tuple)和字符串(str)等內置類，一旦實例化就不可改變，屬于不可變對象;而列表(list)、字典(dict)和集合(set)等內置類，實例化后得到對象，可以任意修改。

讀到這里，有些初學者可能會不理解：元組、字符串不可改變，老師和教科書上都是這么說的，整型浮點型對象為什么不可變呢?讓x=1之后，x就不能改變了嗎?加1不就變成2了嗎?顯然，這是對對象概念的誤解。x=1，是讓x指向了值為1的整型對象，但x并不是真正的整型對象，只是一個名字而已，我們稱其為變量名或對象名 。x加1變成2，并非值為1的整型對象自身加1，而是讓x指向了另一個值為2的整型對象。

>>> id(x) 
2794729897296 
>>> x += 1 
>>> id(x) 
2794730437616 
>>> y = [1,2] 
>>> id(y) 
2794699482248 
>>> y += [3] 
>>> id(y) 
2794699482248 
>>> y = y + [4] 
>>> id(y) 
2794699482376 

借助Python的id函數(返回變量名所指對象的內存首地址)，可以清楚看到，執行加等操作(+=)之后，x指向的整型對象地址發生了改變，y指向的列表對象地址并未改變。不過，對y執行賦值操作(=)之后，y指向的列表對象地址發生了改變。這表明，賦值操作(=)是在變量名和對象之間新建對應關系，而加等操作(+=)并不改變變量名和對象之間的對應關系，除非對象是不可變的。

理解了可變對象和不可變對象的概念之后，就很容易理解可變對象和不可變對象作為函數參數是如何向函數傳參的了。如下圖所示，紅色箭頭指向的是可變對象作為參數傳遞到函數，綠色箭頭指向的是不可變對象作為參數傳遞到函數。對于不可變對象而言，無論函數內部如何改變這些參數，都不會影響到函數外部的不可變對象，因為他們是不可改變的。對于可變對象來說，函數內部對于它們的任何操作都是施加于對象本身的，這個對象即函數外部的變量所指向的對象。需要說明的是，函數的參數傳遞，并不要求實際參數和形式參數同名，下圖紅綠箭頭對應的實際參數和形式參數名字相同，僅是我個人的習慣，并非規則要求。

是時候進入正題了。第一段代碼中，可變對象w和不可變對象a、b作為參數傳進函數后，內部變量名w和外部變量名w指向同一個對象，append操作自然也會影響外部變量名w所指向的列表對象。其后的賦值操作將函數內部的變量名w指向了另外一個新的列表對象，因而不會改變外部的變量名w所指向的列表對象。如下圖所示，不言自明，代碼最后的輸出結果應該是D，即[5, 9, 2, 1, 5, 9, 2]。

在第二段代碼中，由于+=操作不改變內部變量w的指向，外邊變量w所指向的列表自然也變成了[5, 9, 2, 1]，最終的輸出結果是兩個[5, 9, 2, 1]相加，正確答案是E， 如下圖所示。