阿里資深架構師告訴你為什麼Java中只有值傳遞

對於初學者來說,要想把這個問題回答正確,是比較難的。在第二天整理答案的時候,我發現我竟然無法通過簡單的語言把這個事情描述的很容易理解,遺憾的是,我也沒有在網上找到哪篇文章可以把這個事情講解的通俗易懂。所以,就有了我寫這篇文章的初衷。這篇文章中,我從什麼是方法的實際參數和形式參數開始,給你講解為什麼說Java中只有值傳遞。

闢謠時間

關於這個問題,在StackOverflow上也引發過廣泛的討論,看來很多程序員對於這個問題的理解都不盡相同,甚至很多人理解的是錯誤的。還有的人可能知道Java中的參數傳遞是值傳遞,但是說不出來為什麼。

在開始深入講解之前,有必要糾正一下大家以前的那些錯誤看法了。如果你有以下想法,那麼你有必要好好閱讀本文。

錯誤理解一:值傳遞和引用傳遞,區分的條件是傳遞的內容,如果是個值,就是值傳遞。如果是個引用,就是引用傳遞。

錯誤理解二:Java是引用傳遞。

錯誤理解三:傳遞的參數如果是普通類型,那就是值傳遞,如果是對象,那就是引用傳遞。

實參與形參

我們都知道,在Java中定義方法的時候是可以定義參數的。比如Java中的main方法,public static void main(String[] args),這裡面的args就是參數。參數在程序語言中分為形式參數和實際參數。

形式參數:是在定義函數名和函數體的時候使用的參數,目的是用來接收調用該函數時傳入的參數。

實際參數:在調用有參函數時,主調函數和被調函數之間有數據傳遞關係。在主調函數中調用一個函數時,函數名後面括號中的參數稱為“實際參數”。

簡單舉個例子:

public static void main(String[] args) { ParamTest pt = new ParamTest(); pt.sout("Hollis");//實際參數為 Hollis}public void sout(String name) { //形式參數為 name System.out.println(name);}

實際參數是調用有參方法的時候真正傳遞的內容,而形式參數是用於接收實參內容的參數。

值傳遞與引用傳遞

上面提到了,當我們調用一個有參函數的時候,會把實際參數傳遞給形式參數。但是,在程序語言中,這個傳遞過程中傳遞的兩種情況,即值傳遞和引用傳遞。我們來看下程序語言中是如何定義和區分值傳遞和引用傳遞的。

值傳遞(pass by value)是指在調用函數時將實際參數複製一份傳遞到函數中,這樣在函數中如果對參數進行修改,將不會影響到實際參數。

引用傳遞(pass by reference)是指在調用函數時將實際參數的地址直接傳遞到函數中,那麼在函數中對參數所進行的修改,將影響到實際參數。

有了上面的概念,然後大家就可以寫代碼實踐了,來看看Java中到底是值傳遞還是引用傳遞 ,於是,最簡單的一段代碼出來了:

public static void main(String[] args) { ParamTest pt = new ParamTest(); int i = 10; pt.pass(10); System.out.println("print in main , i is " + i);}public void pass(int j) { j = 20; System.out.println("print in pass , j is " + j);}

上面的代碼中,我們在pass方法中修改了參數j的值,然後分別在pass方法和main方法中打印參數的值。輸出結果如下:

print in pass , j is 20print in main , i is 10

可見,pass方法內部對name的值的修改並沒有改變實際參數i的值。那麼,按照上面的定義,有人得到結論:Java的方法傳遞是值傳遞。

但是,很快就有人提出質疑了(哈哈,所以,不要輕易下結論咯。)。然後,他們會搬出以下代碼:

public static void main(String[] args) { ParamTest pt = new ParamTest(); User hollis = new User(); hollis.setName("Hollis"); hollis.setGender("Male"); pt.pass(hollis); System.out.println("print in main , user is " + hollis);}public void pass(User user) { user.setName("hollischuang"); System.out.println("print in pass , user is " + user);}

同樣是一個pass方法,同樣是在pass方法內修改參數的值。輸出結果如下:

print in pass , user is User{name='hollischuang', gender='Male'}print in main , user is User{name='hollischuang', gender='Male'}

經過pass方法執行後,實參的值竟然被改變了,那按照上面的引用傳遞的定義,實際參數的值被改變了,這不就是引用傳遞了麼。於是,根據上面的兩段代碼,有人得出一個新的結論:Java的方法中,在傳遞普通類型的時候是值傳遞,在傳遞對象類型的時候是引用傳遞。

但是,這種表述仍然是錯誤的。不信你看下面這個參數類型為對象的參數傳遞:

public static void main(String[] args) { ParamTest pt = new ParamTest(); String name = "Hollis"; pt.pass(name); System.out.println("print in main , name is " + name);}public void pass(String name) { name = "hollischuang"; System.out.println("print in pass , name is " + name);}

上面的代碼輸出結果為

print in pass , name is hollischuangprint in main , name is Hollis

這又作何解釋呢?同樣傳遞了一個對象,但是原始參數的值並沒有被修改,難道傳遞對象又變成值傳遞了?

Java中的值傳遞

上面,我們舉了三個例子,表現的結果卻不一樣,這也是導致很多初學者,甚至很多高級程序員對於Java的傳遞類型有困惑的原因。

其實,我想告訴大家的是,上面的概念沒有錯,只是代碼的例子有問題。來,我再來給大家畫一下概念中的重點,然後再舉幾個真正恰當的例子。

值傳遞(pass by value)是指在調用函數時將實際參數複製一份傳遞到函數中,這樣在函數中如果對參數進行修改,將不會影響到實際參數。

引用傳遞(pass by reference)是指在調用函數時將實際參數的地址直接傳遞到函數中,那麼在函數中對參數所進行的修改,將影響到實際參數。

那麼,我來給大家總結一下,值傳遞和引用傳遞之前的區別的重點是什麼。

我們上面看過的幾個pass的例子中,都只關注了實際參數內容是否有改變。如傳遞的是User對象,我們試著改變他的name屬性的值,然後檢查是否有改變。其實,在實驗方法上就錯了,當然得到的結論也就有問題了。

為什麼說實驗方法錯了呢?這裡我們來舉一個形象的例子。再來深入理解一下值傳遞和引用傳遞,然後你就知道為啥錯了。

你有一把鑰匙,當你的朋友想要去你家的時候,如果你

直接把你的鑰匙給他了,這就是引用傳遞。這種情況下,如果他對這把鑰匙做了什麼事情,比如他在鑰匙上刻下了自己名字,那麼這把鑰匙還給你的時候,你自己的鑰匙上也會多出他刻的名字。

你有一把鑰匙,當你的朋友想要去你家的時候,你復刻了一把新鑰匙給他,自己的還在自己手裡,這就是值傳遞。這種情況下,他對這把鑰匙做什麼都不會影響你手裡的這把鑰匙。

但是,不管上面那種情況,你的朋友拿著你給他的鑰匙,進到你的家裡,把你家的電視砸了。那你說你會不會受到影響?而我們在pass方法中,改變user對象的name屬性的值的時候,不就是在“砸電視”麼。

還拿上面的一個例子來舉例,我們真正的改變參數,看看會發生什麼?

public static void main(String[] args) { ParamTest pt = new ParamTest(); User hollis = new User(); hollis.setName("Hollis"); hollis.setGender("Male"); pt.pass(hollis); System.out.println("print in main , user is " + hollis);}public void pass(User user) { user = new User(); user.setName("hollischuang"); user.setGender("Male"); System.out.println("print in pass , user is " + user);}

上面的代碼中,我們在pass方法中,改變了user對象,輸出結果如下:

print in pass , user is User{name='hollischuang', gender='Male'}print in main , user is User{name='Hollis', gender='Male'}

我們來畫一張圖,看一下整個過程中發生了什麼,然後我再告訴你,為啥Java中只有值傳遞。

稍微解釋下這張圖,當我們在main中創建一個User對象的時候,在堆中開闢一塊內存,其中保存了name和gender等數據。然後hollis持有該內存的地址0x123456(圖1)。當嘗試調用pass方法,並且hollis作為實際參數傳遞給形式參數user的時候,會把這個地址0x123456交給user,這時,user也指向了這個地址(圖2)。然後在pass方法內對參數進行修改的時候,即user = new User();,會重新開闢一塊0X456789的內存,賦值給user。後面對user的任何修改都不會改變內存0X123456的內容(圖3)。

上面這種傳遞是什麼傳遞?肯定不是引用傳遞,如果是引用傳遞的話,在user=new User()的時候,實際參數的引用也應該改為指向0X456789,但是實際上並沒有。

通過概念我們也能知道,這裡是把實際參數的引用的地址複製了一份,傳遞給了形式參數。所以,上面的參數其實是值傳遞,把實參對象引用的地址當做值傳遞給了形式參數。

我們再來回顧下之前的那個“砸電視”的例子,看那個例子中的傳遞過程發生了什麼。

同樣的,在參數傳遞的過程中,實際參數的地址0X1213456被拷貝給了形參,只是,在這個方法中,並沒有對形參本身進行修改,而是修改的形參持有的地址中存儲的內容。

所以,值傳遞和引用傳遞的區別並不是傳遞的內容。而是實參到底有沒有被複制一份給形參。在判斷實參內容有沒有受影響的時候,要看傳的的是什麼,如果你傳遞的是個地址,那麼就看這個地址的變化會不會有影響,而不是看地址指向的對象的變化。就像鑰匙和房子的關係。

那麼,既然這樣,為啥上面同樣是傳遞對象,傳遞的String對象和User對象的表現結果不一樣呢?我們在pass方法中使用name = "hollischuang";試著去更改name的值,陰差陽錯的直接改變了name的引用的地址。因為這段代碼,會new一個String,在把引用交給name,即等價於name = new String("hollischuang");。而原來的那個"Hollis"字符串還是由實參持有著的,所以,並沒有修改到實際參數的值。

阿里資深架構師告訴你為什麼Java中只有值傳遞

所以說,Java中其實還是值傳遞的,只不過對於對象參數,值的內容是對象的引用。

總結

無論是值傳遞還是引用傳遞,其實都是一種求值策略(Evaluation strategy)。在求值策略中,還有一種叫做按共享傳遞(call by sharing)。其實Java中的參數傳遞嚴格意義上說應該是按共享傳遞。

按共享傳遞,是指在調用函數時,傳遞給函數的是實參的地址的拷貝(如果實參在棧中,則直接拷貝該值)。在函數內部對參數進行操作時,需要先拷貝的地址尋找到具體的值,再進行操作。如果該值在棧中,那麼因為是直接拷貝的值,所以函數內部對參數進行操作不會對外部變量產生影響。如果原來拷貝的是原值在堆中的地址,那麼需要先根據該地址找到堆中對應的位置,再進行操作。因為傳遞的是地址的拷貝所以函數內對值的操作對外部變量是可見的。

簡單點說,Java中的傳遞,是值傳遞,而這個值,實際上是對象的引用。

而按共享傳遞其實只是按值傳遞的一個特例罷了。所以我們可以說Java的傳遞是按共享傳遞,或者說Java中的傳遞是值傳遞。


分享到:


相關文章: