簡介 本文的對象是那些曾使用更加成熟的OO [1] 語言, 如Eiffel, Java, C# [2] or C++(), 進行開發的朋友(如我自己). 在使用PHP4進行完全的OO開發時有著許多的語義[3] (semantic)上的陷阱[4]. 希本文內容可助人避我曾犯之錯.
引用 VS 拷貝語義 這基本上是錯誤的主要來源(至少對於我來說).即使在PHP的文檔中你可以讀到PHP4較之引用更多使用拷貝語義(如其他我所知的面向對象語言), 但這仍將使你最後在一些細小之處困擾. 接下來的兩部分用於闡述二個小的例子, 在這二個例子中拷貝語義也許會令你驚訝. 要時刻牢記重要的是一個類的變量不是一個指向類的指針而是實際的類自己本身[5]. 大多數問題引發自對於賦值操作符(=)的誤解, 即以為是給一個對象一個別名, 而實際上卻是一個新的拷貝. 例如假設$myObj是某個類的實例, 並且它有一個Set()方法. 那麼下面的代碼也許不會像一個C++(或者Java)程序員所期望的那樣工作. function SomeFunction($aObj) { $aObj->Set(10); } … SomeFunction ($myObj); … 那麼現在, 很容易便會認為該函數所調用的Set()方法會作用於$myObj. 但這是錯的! 其實發生的是$myObj被拷貝為一個新的, 與原對象一樣的拷貝----參數$aObj. 然後當Set()方法被調用時, 它僅僅作用於本地拷貝而非原參數----$myObj. 在包含直接或間接(如上)賦值操作的地方就會發生各種各樣的上述問題. 為了函數能像你所期望的那樣行動(也許是), 那麼你不得不通過修改方法申明來告訴PHP使用引用來傳遞對象, 如: Function SomeFunction(&$aObj) 如果你再一次嘗試上面的代碼, 那麼你會發現Set()方法將作用於原來的參數上, 因為現在我們在作用中創建了一個$myObj的別名----$aObj. 但是你不得不小心, 因為即使是＆操作符也不是在任何時候都能救你, 如下面的舉例.
從一個引用來獲得引用 假設有如下代碼: $myObject = new SomeClass();$myRefToObject = &$myObject; 如果我們現在想要一個引用的拷貝(因某些理由), 那麼我們要做什麼呢? 你可能會由於$myRefToObject已經是引用而試圖那麼寫: $myCopyRefToObject = $myRefToObject; 正確麼? 不! PHP會創建$myRefToObject所引用對象的新拷貝. 如果你想拷貝一個對象的引用, 你不得不這麼寫: $myCopyRefToObject = &$myRefToObject; 在與前所述例子相當的C++的例子中, 便會創建一個引用的引用. 與其在PHP中不同. 這是一個經驗豐富的C++程序員常會作的直覺假設相反的, 而這會是你的PHP程序中小BUG的來源. 請小心由此所產生的間接(傳遞參數)或直接的問題. 我個人所達成的結論, 即最好的避免這些語義陷阱的方法是總是用引用來傳遞對象或者對象賦值. 這不僅僅改進了運行速度(更少的數據拷貝), 而且可以對像我這樣的老狗而言使語義更加可預測.
在構造函數中對$this使用引用 在一個對象的構造函數裡初始化作為其他對象發現者(Observer[6])的對象是一個常見的模式. 下面幾行代碼便是一個示例: class Bettery { function Bettery() {…}; function AddObserver($method, &$obj) { $this->obs[] = array($obj, &$method) } function Notify(){…} } class Display { function Display(&$batt) { $batt->AddObserver("BatteryNotify",$this); } function BatteryNotify() {…} } 但是, 這並不會正常工作, 如果你是這麼實例化對象的: $myBattery = new Battery();$myDisplay = new Display($myBattery); 這麼做的錯誤在於new時在構造函數中使用$this並不會返回同一個對象. 反而會返回最近創建對象的一個拷貝. 即在調用AddObserver()時所傳送的對象於原對象不是同一個. 然後當Battery類嘗試通知所有它的觀察者(Observer)(通過調用他們的Notify方法)時, 它並不會調用我們所創建的Display類而是$this所代表的類(即我們所創建的Display類的拷貝). 因此如果Notify()方法更新了一些實例變量, 並不像我們所設想原Display類會被更新, 因為更新的其實是個拷貝. 為了讓它工作, 你必須使構造函數返回同一個對象, 正如與最初$this所象征的那樣. 可以通過添加&符號於Display的構造, 如$myDisplay = & new Display($myBattery); 一個直接的結果是任何Display類的Client必須了解Display的實現細節. 事實上, 這會產生一個可能引起爭論的問題: 所有對象的構建必須使用額外的&符號. 就我所說的基本上是安全的, 但忽略它可能會在某些時候得到不想要的如上述示例般的作用. 在JpGraph中使用了另一種方法來解決. 即需要使用通過添加一個能安全的使用&$this引用的”Init()”方法的所謂二階段構造來”new”一個對象(僅僅是因為在構造函數中的$this引用返回對象的一個拷貝而不如所期望的那樣執行). 因此上面的例子會如下實現: $myBattery = new Battery(); $myDisplay = new Display(); $myDisplay->Init($myBattery); 如JPGraph.php中的”LinearScale”類. 使用foreach 另外一個相似代碼卻不同結果的問題是”foreach”結構的問題. 研究一下下面的二個循環結構的不同版本. // Version 1 foreach( $this->plots as $p ) { $p->Update(); } … // Version 2 for( $i=0; $iplots); ++$i ) { $this->plots[$i]->Update(); } 現在是一個價值10美元的問題[7]: version1==version2麼? 令人驚訝的答案是:No! 這是細小卻是關鍵的不同. 在Version 1中, Update()方法將作用於”plots[]”數組中對象的副本. 因此數組中原來的對象並不會被更新. 在Version 2中Update()方法將如預期的作用於”plots[]”數組中的對象. 正如第一部分所陳述的, 這是PHP將對象實例作為對象本身來處理而非作為對象引用的結果.
譯注: [1]. OO: Object-Oriented, 面向對象. [2]. 原文並無C#, 全因Binzy的個人愛好. [3]. Semantic在本文中被譯為”語義”, 如有任何建議請和Binzy聯系. [4]. C++中有一本著名的”C++ Gotchas”. [5]. 這裡的類應該是指Instance, 即實例. [6]. 可參見”[GoF95]”, 即”Design Patterns”. [7]. 有個挺有趣的關於交易的小故事: 有人用60美元買了一匹馬, 又以70美元的價錢賣了出去;然後, 他又用80美元把它買回來, 最後以90美元的價錢賣出.在這樁馬的交易中, 他? (A)賠了10美元; (B)收支平衡; ©賺了10美元;(D)賺了20美元; (E)賺了30美元. 這是美國密執安大學心理學家梅爾和伯克要大學生們計算的一個簡單的算術題.結果只有不到40%的大學生能夠作出正確答案, 多數人認為只賺了10美元.其實, 問題的條件十分明確, 這是兩次交易, 每次都賺10美元, 而很多人卻錯誤地認為當他用80美元買回來時己經虧損了10美元. 有趣的是, 同一問題, 以另一種方式提出來:有一個人用60美元買了一匹白馬, 又以70元的值賣出去;然後, 用80美元買了一匹黑馬, 又以90美元的值賣出去.在這樁買賣馬的交易中, 他____(把同樣的五個選擇羅列出來).這時, 另一組大學生在回答上述問題時, 結果大家都答對了.
