為什麼說Java中只有值傳遞。

HollisChuang發表於2018-05-10

最近,在我的知識星球的<直面Java>板塊中,給球友們出了這麼一道題:

question

對於初學者來說,要想把這個問題回答正確,是比較難的。在第二天整理答案的時候,我發現我竟然無法通過簡單的語言把這個事情描述的很容易理解,遺憾的是,我也沒有在網上找到哪篇文章可以把這個事情講解的通俗易懂。所以,就有了我寫這篇文章的初衷。這篇文章中,我從什麼是方法的實際引數和形式引數開始,給你講解為什麼說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 20
print 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 hollischuang
print in main , name is Hollis
複製程式碼

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

Java中的值傳遞

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

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

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

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

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

pass

我們上面看過的幾個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中只有值傳遞。

pass1

稍微解釋下這張圖,當我們在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,但是實際上並沒有。

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

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

pass2

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

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

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

pass3

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

總結

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

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

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

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

參考資料

Evaluation strategy 關於值傳遞和引用傳遞 按值傳遞、按引用傳遞、按共享傳遞 Is Java “pass-by-reference” or “pass-by-value”?

為什麼說Java中只有值傳遞。

相關文章