※ 引述《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)