Re: [問題] java的call by reference
※ 引述《neigence ()》之銘言：
: 首先 先來個簡單到爆表的程式 大家都知道 下面的程式一定會發生
: null pointer exception
: public class Factory{
: public Factory(){
: Object obj = null;
: createObject(obj);
: }
: public void createObject(Object obj){
: obj = new Object();
: }
: public static void main(String args[]){
: new Factory();
: }
: }
: 這邊的例外 相當理所當然，但我最近在想 java 不是 call by reference的嗎
: [略]
: 這邊我pass pointer 的 reference到 function dodo，但卻正常運作了
: 難道!?! java不是這樣運作的????
我個人覺得以 pass by value 來唯一描述 Java method invocation 的 argument
傳遞行為比較恰當，然而屢次觀看這個議題的辯論時，我總是思索不接受的這個看
法者的心態會是如何地不同意此看法，關於這我現在還是不很了解。
但是現在若我要與 Java programmer(特別是純 Java programmer)討論這個議題，
我會勸對方不要去管到底是 pass by value 還是 pass by reference。
只要 Java programmer 真正了解 primitive type value 與 reference type
value 在本質上的區別(例如前者支援 arithmetic 操作/不支援隱含 dereference
語意的操作，後者反之..等等)，並且了解 assignment operator 的語意的話，
到底要說是 pass by value 還是 pass by reference 一點也不重要，實際上如果
扣除 primitive/reference type value 本質上的差異造成的影響，argument 是
primitive type 或是 reference type 在行為上是相等的，特地區分 primitive
type argument 是 pass by value、reference type argument 是 pass by
reference 是不是顯得沒有意義，因為名稱的不同只是因為 argument 的型態不同。
以上面的程式碼來說，可以把 createObject inline 在 Factory constructor
裡。Method invocation 隱含有 asignment 在 actual argument 與對應的 formal
parameter 之間，對於一個 method 宣告如下：
R foo(T1 p1, T2 p2,..., Tn pN)
在 inline 到如下的 method invocation expression(statement) 時：
foo(expr1, expr2,..., exprN);
在 method code inline 部份的最前頭加上：
T1 p1 = expr1;
T2 p2 = expr2;
...
Tn pN = exprN;
那麼 Factory constructor 在 inline createObject method
後成了：
public Factory(){
Object obj = null;
Object pObj = obj;
pObj = new Object();
System.out.println(obj.toString());
}
對於最後一個 statement 會產生 NullPointerException 我相信多數的 Java
programmer 應該都能理解(且自然，不然就是尚未了解 assignment 語意)。
現在試著假設有兩個 method，其一有一個 primitive type parameter，另一有
一個 reference type parameter。對於 primitive/reference type variable，
其共通的操作(且有 side effect) 只有 assigment 與 casting。以 assignment
操作來舉例，可使用以下兩個片斷來簡單通用地描述此二 method invocation
inline 後的結果：
int a = 0;
int b = a;
b = 10;
System.out.println(a);
**************************************************
Object a = null;
Object b = a;
b = "Hello";
System.out.println(a);
從結果來看，兩者的行為特性並無不同，顯示出 pass primitive value 與 pass
reference value 到 method 是相同的。那麼有必要強調 primitive type argument
是採 pass by value，reference type argument 是採 pass by reference 嗎？
如果不排除 primitive/reference type 本質上的差異，就會有一堆試圖說明
primitive/reference argument 是分別透過 pass by value/pass by reference
，以及兩者在行為特性上有何差別的例子。這些例子我都可以透過 inline 的方式
舉出對等的例子(出現相同行為特性)，但是不牽涉到 method invocation。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.173.136.159
※ 編輯: sbrhsieh 來自: 218.173.136.159 (04/09 00:45)
※ 編輯: sbrhsieh 來自: 218.173.136.159 (04/09 00:59)
討論串 (同標題文章)
完整討論串 (本文為第 4 之 4 篇)：