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

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

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

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

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

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

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

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

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

接下來，我們不討論值傳遞和引用傳遞的問題。

讓我們做一個非常簡單的小實驗，其中，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))

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

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

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

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

對于不可變對象int，我們來看看最簡單的情況：    
a=1
print(id(a))
def x(a):
  print(id(a))
  b=a
  print(id(b))
x(a)

運行得到：
    
1643643344
1643643344
1643643344

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

但我們再來看一個極端情況：    
a=1
print(id(a))
def x():
  b=1
  print(id(b))
x()

運行得到：    
1643643344
1643643344

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

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

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

下面來看看傳遞可變對象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)

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