Re: [問題] 請教一個基本的問題
※ 引述《sbrhsieh (偶爾想擺爛一下)》之銘言：
: 實際上把 adrianshum 提出的例子改成 formal parameter: a 只有單純的
: assignment 操作，還是會有人搞錯，因此 adrianshum 的例子重點不在於
: Java String (某種程度來說)是 immutable object。
: 每次出現 call by reference/call by value 的討論時，總是會出現許許多多
: 的 Java sample code，甚至 C/C++ 的 sample code，爭論了半天認為 Java 是
: call by reference 到最後還是不能體會說 Java 只有 call by value 的人為
: 什麼會如此宣稱。
閒閒沒事，我又來了，這次我要學 adrianshum 來話圖。
另外，其實我一直覺得宣稱 Java 是 call by reference 根本就是
在誤導……字串的那個例子就很明顯了。
謎之聲：如果覺得這字串只是特例，我還是覺得那麼一定是基礎觀念
不清楚啊！因為就算不是字串，還是可以造成相同效果滴。
class A {
public int x = 5;
}
public class Test {
void fun (A test)
{
test.x = 3;
return;
}
public static void main (String [] args) {
A test = new A ();
fun (test);
System.out.println ("test.x:" + test.x);
}
}
整個程式的流程是 main -> fun -> main，這應該很清楚，沒有什特
別的，但問題是，每個一步下來，到底你的 reference、物件都放在
哪，生命週期有多長嗎？如果可以回答的出來，其實管他是什麼型態
的物件，或是基本資料型態，都不會搞混的。
重點：真要說的話，Java 的 function 只有 call by value ，根本
就沒有 call by reference 這一回事！
以下是流程：
===================================================================
1. A test = new A () // Heap 上長一個 A 物件，Stack 上長一個
// 名叫 test 的 reference 指到剛剛的 A
Stack Heap
+-------+ +--------+
main()| test | --------> | A{x=5} |
+-------+ +--------+
==================================================================
2. fun (test) // 這一步是重點，實際上是 stack 多了另一個 test，
// 只是恰巧指到同一個物件啊！
Stack Heap
+-------+
fun() | test |----------------------------+
+-------+ +--------+ |
main()| test | --------> | A{x=5} | <-----+
+-------+ +--------+
===================================================================
3. test.x = 5 // 把 fun() 裡的 test 指到的物件的 x 欄位改成 3
Stack Heap
+-------+
fun() | test |----------------------------+
+-------+ +--------+ |
main()| test | --------> | A{x=3} | <-----+
+-------+ +--------+
====================================================================
4. return // 這句有沒有都沒差，重點是 return 的時候最上層的
// test 立刻就消滅啦！
Stack Heap
+-------+ +--------+
main()| test | --------> | A{x=3} |
+-------+ +--------+
====================================================================
5. System.out.println.... // 印出來的 test 指到的當然是 3
====================================================================
以上，是常見的『偽 call by reference』範例，但換下面這個例子就很清
楚了。
如果把 fun 改成像下面：
void fun (A test)
{
test = new A();
test.x = 3
}
為什麼最後印出來的會是 5 而不是 3？因為在呼叫到 fun 的時候，記憶
體裡是長這個模樣的：
==================================================================
1. fun (test) // 這邊一開始都一樣
Stack Heap
+-------+
fun() | test |----------------------------+
+-------+ +--------+ |
main()| test | --------> | A{x=5} | <-----+
+-------+ +--------+
==================================================================
2. test = new A(); // 現在 fun() 的 test 和 main() 的 test 指到的
// 根本是不同的物件啊！
Stack Heap
+-------+ +--------+
fun() | test |---------> | A{x=5} |
+-------+ +--------+
main()| test | --------> | A{x=5} |
+-------+ +--------+
==================================================================
3. test.x = 3; // 把 fun() 的 test 指到的物件的 x 欄位改成 3
Stack Heap
+-------+ +--------+
fun() | test |---------> | A{x=3} |
+-------+ +--------+
main()| test | --------> | A{x=5} |
+-------+ +--------+
==================================================================
3. return; // fun() 的 test 被消滅了！
// x = 3 的那個物件變孤兒，可以被 GC 回收
Stack Heap
+--------+
| A{x=3} | // 我變垃圾了……囧！
+-------+ +--------+
main()| test | --------> | A{x=5} |
+-------+ +--------+
==================================================================
4. System.out.pritnln... // main () 裡的 test 指到的東西一
// 直都沒變過，當然是 5 啊！
==================================================================
以上。
至於為什麼像是 adrianshum 指出的
void fun(String a)
{
a += "foo";
}
會產生和第二個 case 一樣的狀況，那就是因為 String 本身是不
可變的，所以上面的 function 可以視同（不完全正確）會被翻譯
成：
void fun(String a)
{
a = new String(......)
}
沒錯，我們又把 a 指到另一個完全不同的物件！所以變成和上述
的第二個例子一樣了。
--
~ 白馬帶著她一步步地回到中原。白馬已經老了，只能慢慢地走，
'v' Brian Hsu 但終是能回到中原的。江南有楊柳、桃花，有燕子、金魚……
// \\ ( 墳 墓 )
/( )\ 但這個美麗的姑娘就像古高昌國人那樣固執。 【白馬嘯西風】
^`~'^
http://bone.twbbs.org.tw/blog 『那都是很好很好的，可我偏不喜歡。』
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.120.199.114
※ 編輯: brianhsu 來自: 59.120.199.114 (12/04 07:37)
※ 編輯: brianhsu 來自: 59.120.199.114 (12/04 07:37)
討論串 (同標題文章)