深入理解python中函數(shù)傳遞參數(shù)是值傳遞還是引用傳遞

目前網(wǎng)絡(luò)上大部分博客的結(jié)論都是這樣的：

Python不允許程序員選擇采用傳值還是傳 引用。Python參數(shù)傳遞采用的肯定是“傳對(duì)象引用”的方式。實(shí)際上，這種方式相當(dāng)于傳值和傳引用的一種綜合。如果函數(shù)收到的是一個(gè)可變對(duì)象（比如字典 或者列表）的引用，就能修改對(duì)象的原始值——相當(dāng)于通過(guò)“傳引用”來(lái)傳遞對(duì)象。如果函數(shù)收到的是一個(gè)不可變對(duì)象（比如數(shù)字、字符或者元組）的引用，就不能 直接修改原始對(duì)象——相當(dāng)于通過(guò)“傳值”來(lái)傳遞對(duì)象。
你可以在很多討論該問(wèn)題的博客里找到以上這一段話。

但是在實(shí)際操作中我卻發(fā)現(xiàn)一個(gè)問(wèn)題：    
l=[1,2,3]
def a(x):
  x=x+[4]
a(l)
print(l)

這段代碼的輸出為：    
[1,2,3]

為什么是這樣呢，list是可變對(duì)象，按照上面的結(jié)論來(lái)說(shuō)傳遞方式是引用傳遞，我應(yīng)該在函數(shù)里能對(duì)它進(jìn)行修改呀？難道不應(yīng)該輸出[1,2,3,4]嗎？

我覺(jué)得我上面引用的那段大多數(shù)博主的結(jié)論，其實(shí)非常不好理解，而且沒(méi)有講到本質(zhì)，看的云里霧里的。

經(jīng)過(guò)我后面的多次試驗(yàn)，得到以下結(jié)論：

其實(shí)在python中討論值傳遞還是引用傳遞是沒(méi)有意義的，要真正對(duì)這些情況作出解釋?zhuān)鋵?shí)是應(yīng)該搞明白python(對(duì)可變對(duì)象和不可變對(duì)象的)賦值過(guò)程中是如何分配內(nèi)存地址的。

接下來(lái)，我們不討論值傳遞和引用傳遞的問(wèn)題。

讓我們做一個(gè)非常簡(jiǎn)單的小實(shí)驗(yàn)，其中，id()可以查看變量在內(nèi)存中的地址：    
l1=[1,2,3]
l2=[1,2,3]
a=1
b=1
print(id(l1))
print(id(l2))
print(id(a))
print(id(b))

在我的電腦中的運(yùn)行結(jié)果：    
12856594504
12856915080
1643643344
1643643344

可以發(fā)現(xiàn)，對(duì)于可變對(duì)象list來(lái)說(shuō)，即便列表內(nèi)容一模一樣，python也會(huì)給它們分配新的不同的地址。

然而，對(duì)于不可變對(duì)象int來(lái)說(shuō)，內(nèi)存里只有一個(gè)1。即便再定義一個(gè)變量c=1，也是指向內(nèi)存中同一個(gè)1。換句話說(shuō)，不可變對(duì)象1的地址是共享的。

接下來(lái)讓我們看看在函數(shù)中調(diào)用可變對(duì)象和不可變對(duì)象，并修改他們的值，會(huì)是一個(gè)什么情況。

對(duì)于不可變對(duì)象int，我們來(lái)看看最簡(jiǎn)單的情況：    
a=1
print(id(a))
def x(a):
  print(id(a))
  b=a
  print(id(b))
x(a)

運(yùn)行得到：
    
1643643344
1643643344
1643643344

這看起來(lái)就是一個(gè)引用傳遞，函數(shù)外的a、函數(shù)里的a和b都指向了同一個(gè)地址。

但我們?cè)賮?lái)看一個(gè)極端情況：    
a=1
print(id(a))
def x():
  b=1
  print(id(b))
x()

運(yùn)行得到：    
1643643344
1643643344

很神奇不是嗎？函數(shù)外定義的a和函數(shù)內(nèi)定義的b沒(méi)有任何關(guān)系，但它們指向同一個(gè)地址！

所以你說(shuō)如何判斷它是值傳遞還是引用傳遞？討論這個(gè)問(wèn)題根本沒(méi)有意義，因?yàn)閮?nèi)存里只有一個(gè)1。當(dāng)我把值1傳遞給函數(shù)里的某一個(gè)變量的時(shí)候，我實(shí)際上也傳遞了地址，因?yàn)閮?nèi)存里只有一個(gè)1。

甚至于說(shuō)我直接給函數(shù)里的b賦值1都可以讓函數(shù)外的a和函數(shù)內(nèi)的b指向同一個(gè)地址。

下面來(lái)看看傳遞可變對(duì)象list的情況：    
l=[1,2,3]
print(id(l))
def a(x):
  print(id(x))
  x.pop()
  print(x)
  print(id(x))
  x=x+[3]
  print(x)
  print(id(x))
a(l)

運(yùn)行得到    
883142451528
[1, 2]
[1, 2, 3]
可以看到，當(dāng)我們把函數(shù)外的列表L傳遞給函數(shù)后，x的地址和L是一樣的，這看起來(lái)就是一個(gè)引用傳遞，沒(méi)問(wèn)題。
繼續(xù)往下，我們調(diào)用x本身的方法pop后，x變成[1,2]，并且x的地址沒(méi)變，這也沒(méi)什么問(wèn)題。
但是當(dāng)我們給x賦值以后，x的地址就變了。
也就是說(shuō)，只要?jiǎng)?chuàng)建一個(gè)新的可變對(duì)象，python就會(huì)分配一個(gè)新的地址。就算我們創(chuàng)建的新可變對(duì)象和已存在的舊可變對(duì)象完全一樣，python依舊會(huì)分配一個(gè)新的地址（見(jiàn)本文上半部分那個(gè)‘非常簡(jiǎn)單的小實(shí)驗(yàn)'）
而pop并不是創(chuàng)建新的可變對(duì)象，pop是對(duì)已有的可變對(duì)象進(jìn)行修改。
所以可以總結(jié)為：
在python中，不可變對(duì)象是共享的，創(chuàng)建可變對(duì)象永遠(yuǎn)是分配新地址
這個(gè)時(shí)候我們?cè)倩剡^(guò)頭來(lái)思考值傳遞和引用傳遞的問(wèn)題，就會(huì)發(fā)現(xiàn)在python里討論這個(gè)確實(shí)是沒(méi)有意義。
我們可以說(shuō)：python有著自己的一套特殊的傳參方式，這是由python動(dòng)態(tài)語(yǔ)言的性質(zhì)所決定的
總結(jié)
以上就是本文關(guān)于深入理解python中函數(shù)傳遞參數(shù)是值傳遞還是引用傳遞的全部?jī)?nèi)容，希望對(duì)大家有所幫助。