我要徹底給你講清楚,Java就是值傳遞,不接受爭辯的那種!

前言

關於Java中方法間的參數傳遞到底是怎樣的、為什麼很多人說Java只有值傳遞等問題,一直困惑著很多人,甚至我在面試的時候問過很多有豐富經驗的開發者,他們也很難解釋的很清楚。

我很久也寫過一篇文章,我當時認為我把這件事說清楚了,但是,最近在整理這部分知識點的時候,我發現我當時理解的還不夠透徹,於是我想著通過Google看看其他人怎麼理解的,但是遺憾的是沒有找到很好的資料可以說的很清楚。

於是,我決定嘗試著把這個話題總結一下,重新理解一下這個問題。

闢謠時間

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

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

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


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


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

實參與形參

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

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


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

簡單舉個例子:

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

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

求值策略

我們說當進行方法調用的時候,需要把實際參數傳遞給形式參數,那麼傳遞的過程中到底傳遞的是什麼東西呢?

這其實是程序設計中求值策略(Evaluation strategies)的概念。

在計算機科學中,求值策略是確定編程語言中表達式的求值的一組(通常確定性的)規則。求值策略定義何時和以何種順序求值給函數的實際參數、什麼時候把它們代換入函數、和代換以何種形式發生。

求值策略分為兩大基本類,基於如何處理給函數的實際參數,分為嚴格的和非嚴格的。

嚴格求值

在“嚴格求值”中,函數調用過程中,給函數的實際參數總是在應用這個函數之前求值。多數現存編程語言對函數都使用嚴格求值。所以,我們本文只關注嚴格求值。

在嚴格求值中有幾個關鍵的求值策略是我們比較關心的,那就是

傳值調用(Call by value)、傳引用調用(Call by reference)以及傳共享對象調用(Call by sharing)。

  • 傳值調用(值傳遞)
    • 在傳值調用中,實際參數先被求值,然後其值通過複製,被傳遞給被調函數的形式參數。因為形式參數拿到的只是一個"局部拷貝",所以如果在被調函數中改變了形式參數的值,並不會改變實際參數的值。
  • 傳引用調用(應用傳遞)
    • 在傳引用調用中,傳遞給函數的是它的實際參數的隱式引用而不是實參的拷貝。因為傳遞的是引用,所以,如果在被調函數中改變了形式參數的值,改變對於調用者來說是可見的。
  • 傳共享對象調用(共享對象傳遞)
    • 傳共享對象調用中,先獲取到實際參數的地址,然後將其複製,並把該地址的拷貝傳遞給被調函數的形式參數。因為參數的地址都指向同一個對象,所以我們稱也之為"傳共享對象",所以,如果在被調函數中改變了形式參數的值,調用者是可以看到這種變化的。

不知道大家有沒有發現,其實傳共享對象調用和傳值調用的過程幾乎是一樣的,都是進行"求值"、"拷貝"、"傳遞"。你品,你細品。

我要徹底給你講清楚,Java就是值傳遞,不接受爭辯的那種!

但是,傳共享對象調用和內傳引用調用的結果又是一樣的,都是在被調函數中如果改變參數的內容,那麼這種改變也會對調用者有影響。你再品,你再細品。

那麼,共享對象傳遞和值傳遞以及引用傳遞之間到底有什麼關係呢?

對於這個問題,我們應該關注過程,而不是結果,因為傳共享對象調用的過程和傳值調用的過程是一樣的,而且都有一步關鍵的操作,那就是"複製",所以,通常我們認為傳共享對象調用是傳值調用的特例

我們先把傳共享對象調用放在一邊,我們再來回顧下傳值調用和傳引用調用的主要區別:

傳值調用是指在調用函數時將實際參數`複製`一份傳遞到函數中,傳引用調用是指在調用函數時將實際參數的引用`直接`傳遞到函數中。

我要徹底給你講清楚,Java就是值傳遞,不接受爭辯的那種!

所以,兩者的最主要區別就是是直接傳遞的,還是傳遞的是一個副本。

這裡我們來舉一個形象的例子。再來深入理解一下傳值調用和傳引用調用:

你有一把鑰匙,當你的朋友想要去你家的時候,如果你直接把你的鑰匙給他了,這就是引用傳遞。


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


你有一把鑰匙,當你的朋友想要去你家的時候,你復刻了一把新鑰匙給他,自己的還在自己手裡,這就是值傳遞。


這種情況下,他對這把鑰匙做什麼都不會影響你手裡的這把鑰匙。

Java的求值策略

前面我們介紹過了傳值調用、傳引用調用以及傳值調用的特例傳共享對象調用,那麼,Java中是採用的哪種求值策略呢?

很多人說Java中的基本數據類型是值傳遞的,這個基本沒有什麼可以討論的,普遍都是這樣認為的。

但是,有很多人卻誤認為Java中的對象傳遞是引用傳遞。之所以會有這個誤區,主要是因為Java中的變量和對象之間是有引用關係的。Java語言中是通過對象的引用來操縱對象的。所以,很多人會認為對象的傳遞是引用的傳遞。

而且很多人還可以舉出以下的代碼示例:

<code>public static void main(String[] args) {
      Test pt = new Test();
      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);
    }/<code>

輸出結果:

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

可以看到,對象類型在被傳遞到pass方法後,在方法內改變了其內容,最終調用方main方法中的對象也變了。

所以,很多人說,這和引用傳遞的現象是一樣的,就是在方法內改變參數的值,會影響到調用方。

但是,其實這是走進了一個誤區。

Java中的對象傳遞

很多人通過代碼示例的現象說明Java對象是引用傳遞,那麼我們就從現象入手,先來反駁下這個觀點。

我們前面說過,無論是值傳遞,還是引用傳遞,只不過是求值策略的一種,那求值策略還有很多,比如前面提到的共享對象傳遞的現象和引用傳遞也是一樣的。那憑什麼就說Java中的參數傳遞就一定是引用傳遞而不是共享對象傳遞呢?

那麼,Java中的對象傳遞,到底是哪種形式呢?其實,還真的就是共享對象傳遞。

其實在 《The Java™ Tutorials》中,是有關於這部分內容的說明的。首先是關於基本類型描述如下:

Primitive arguments, such as an int or a double, are passed into methods by value. This means that any changes to the values of the parameters exist only within the scope of the method. When the method returns, the parameters are gone and any changes to them are lost.

即,原始參數通過值傳遞給方法。這意味著對參數值的任何更改都只存在於方法的範圍內。當方法返回時,參數將消失,對它們的任何更改都將丟失。

關於對象傳遞的描述如下:

Reference data type parameters, such as objects, are also passed into methods by value. This means that when the method returns, the passed-in reference still references the same object as before. However, the values of the object’s fields can be changed in the method, if they have the proper access level.

也就是說,引用數據類型參數(如對象)也按值傳遞給方法。這意味著,當方法返回時,傳入的引用仍然引用與以前相同的對象。但是,如果對象字段具有適當的訪問級別,則可以在方法中更改這些字段的值。

這一點官方文檔已經很明確的指出了,Java就是值傳遞,只不過是把對象的引用當做值傳遞給方法。你細品,這不就是共享對象傳遞麼?

其實Java中使用的求值策略就是傳共享對象調用,也就是說,Java會將對象的地址的拷貝傳遞給被調函數的形式參數。只不過"傳共享對象調用"這個詞並不常用,所以Java社區的人通常說"Java是傳值調用",這麼說也沒錯,因為傳共享對象調用其實是傳值調用的一個特例。

值傳遞和共享對象傳遞的現象衝突嗎?

看到這裡很多人可能會有一個疑問,既然共享對象傳遞是值傳遞的一個特例,那麼為什麼他們的現象是完全不同的呢?

難道值傳遞過程中,如果在被調方法中改變了值,也有可能會對調用者有影響嗎?那到底什麼時候會影響什麼時候不會影響呢?

其實是不衝突的,之所以會有這種疑惑,是因為大家對於到底是什麼是"改變值"有誤解。

我們先回到上面的例子中來,看一下調用過程中實際上發生了什麼?

我要徹底給你講清楚,Java就是值傳遞,不接受爭辯的那種!

在參數傳遞的過程中,實際參數的地址0X1213456被拷貝給了形參。這個過程其實就是值傳遞,只不過傳遞的值得內容是對象的應用。

那為什麼我們改了user中的屬性的值,卻對原來的user產生了影響呢?

其實,這個過程就好像是:你複製了一把你家裡的鑰匙給到你的朋友,他拿到鑰匙以後,並沒有在這把鑰匙上做任何改動,而是通過鑰匙打開了你家裡的房門,進到屋裡,把你家的電視給砸了。

這個過程,對你手裡的鑰匙來說,是沒有影響的,但是你的鑰匙對應的房子裡面的內容卻是被人改動了。

也就是說,Java對象的傳遞,是通過複製的方式把引用關係傳遞了,如果我們沒有改引用關係,而是找到引用的地址,把裡面的內容改了,是會對調用方有影響的,因為大家指向的是同一個共享對象。

那麼,如果我們改動一下pass方法的內容:

<code>public void pass(User user) {
    user = new User();
    user.setName("hollischuang");
    System.out.println("print in pass , user is " + user);
}/<code>

上面的代碼中,我們在pass方法中,重新new了一個user對象,並改變了他的值,輸出結果如下:

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

再看一下整個過程中發生了什麼:

我要徹底給你講清楚,Java就是值傳遞,不接受爭辯的那種!

這個過程,就好像你複製了一把鑰匙給到你的朋友,你的朋友拿到你給他的鑰匙之後,找個鎖匠把他修改了一下,他手裡的那把鑰匙變成了開他家鎖的鑰匙。這時候,他打開自己家,就算是把房子點了,對你手裡的鑰匙,和你家的房子來說都是沒有任何影響的。

所以,Java中的對象傳遞,如果是修改引用,是不會對原來的對象有任何影響的,但是如果直接修改共享對象的屬性的值,是會對原來的對象有影響的。

總結

我們知道,編程語言中需要進行方法間的參數傳遞,這個傳遞的策略叫做求值策略。

在程序設計中,求值策略有很多種,比較常見的就是值傳遞和引用傳遞。還有一種值傳遞的特例——共享對象傳遞。

值傳遞和引用傳遞最大的區別是傳遞的過程中有沒有複製出一個副本來,如果是傳遞副本,那就是值傳遞,否則就是引用傳遞。

在Java中,其實是通過值傳遞實現的參數傳遞,只不過對於Java對象的傳遞,傳遞的內容是對象的引用。

我們可以總結說,Java中的求值策略是共享對象傳遞,這是完全正確的。

但是,為了讓大家都能理解你說的,我們說Java中只有值傳遞,只不過傳遞的內容是對象的引用。這也是沒毛病的。

但是,絕對不能認為Java中有引用傳遞。

OK,以上就是本文的全部內容,不知道本文是否幫助你解開了你心中一直以來的疑惑。歡迎留言說一下你的想法。

https://docs.oracle.com/javase/tutorial/java/javaOO/arguments.html

https://en.wikipedia.org/wiki/Evaluation_strategy

https://stackoverflow.com/questions/40480/is-java-pass-by-reference-or-pass-by-value

https://blog.penjee.com/passing-by-value-vs-by-reference-java-graphical/

轉載公眾號:Hollis,一個對Coding有著獨特追求的人,現任阿里巴巴技術專家,個人技術博主,技術文章全網閱讀量數千萬,《程序員的三門課》聯合作者。



分享到:


相關文章: