第十五節--Zend引擎的發展 -- Classes and Objects in PHP5_PHP

/*
+-------------------------------------------------------------------------------+
| = 本文為Haohappy讀<>
| = 中Classes and Objects一章的筆記
| = 翻譯為主+個人心得
| = 為避免可能發生的不必要的麻煩請勿轉載,謝謝
| = 歡迎批評指正,希望和所有PHP愛好者共同進步!
| = PHP5研究中心： http://blog.csdn.net/haohappy2004
+-------------------------------------------------------------------------------+
*/

第十五節--Zend引擎的發展

本章的最後一節,Zeev討論了Zend引擎帶來的物件模型,特別提到它與PHP的前幾個版本中的模型有什麼不同.
當1997年夏天,我們開發出PHP3, 我們沒有計劃要使PHP具備物件導向的能力. 當時沒有任何與類和對象有關的想法. PHP3是一個純粹面向過程的語言. 但是,在1997.8.27的晚上PHP3 alpha版中增加了對類的支援. 增加一個新特性給PHP,當時僅需要極少的討論,因為當時探索PHP的人太少. 於是從1997年八月起, PHP邁出了走向物件導向程式設計語言的第一步.

確實,這隻是第一步. 因為在這個設計中只有極少的相關的想法,對於對象的支援不夠強大. 這個版本中使用對象僅是訪問數組的一個很酷的方法而已. 取代使用$foo[“bar”],你可以使用看起來更漂亮的$foo->bar. 物件導向方法的主要的優勢是通過成員函數或方法來儲存功能. 例子6.18中顯示了一個典型的代碼塊. 但是它和例6.19中的做法其實並沒有太大不同.

Listing 6.18 PHP 3 object-oriented programming PHP3中的物件導向編程

value;        }    }    $obj = new Example();    $obj->PrintValue(); ?> 

Listing 6.19 PHP 3 structural programming PHP3 PHP3中的結構化編程

以上我們在類中寫上兩行代碼,或者顯示地傳遞數組給函數. 但考慮到PHP3中這兩種選擇並沒有任何不同,我們仍然可以僅把物件模型當成一種”文法上的粉飾”來訪問數組.

想要用PHP來進行物件導向開發的人們,特別是想使用設計模式的人,很快就發現他們碰壁了. 幸運地,當時(PHP3時代)沒有太多人想用PHP來進行物件導向開發.

PHP4改變了這種情況. 新的版本帶來了引用(reference)的概念, 它允許PHP的不同標識符指向記憶體中的同一個地址. 這意味著你可以使用兩個或更多的名稱來給同一個變數命名,就像例6.20那樣.

Listing 6.20 PHP 4 references PHP4中的引用

由於構建一個指向彼此的對象網路是所有物件導向設計模式的基礎,這個改進具有非常重大的意義.當引用允許建立更多強大的物件導向應用程式, PHP對待對象和其它類型資料相同的做法帶給開發人員極大的痛苦.就像任何PHP4的程式員將會告訴你的, 應用程式將會遭遇WTMA(Way Too Many Ampersands過多&)綜合症. 如果你想構建一個實際應用,你會感到極為痛苦,看看例6.21你就明白.

Listing 6.21 Problems with objects in PHP 4 PHP4中使用對象的問題

1    class MyFoo { 2        function MyFoo() 3        { 4            $this->me = &$this; 5            $this->value = 5; 6        } 7 8        function setValue($val) 9        { 10            $this->value = $val; 11        } 12 13        function getValue() 14        { 15            return $this->value; 16        } 17 18        function getValueFromMe() 19        { 20            return $this->me->value; 21        } 22    } 23 24        function CreateObject($class_type) 25        { 26            switch ($class_type) { 27                case "foo": 28                    $obj = new MyFoo(); 29                    break; 30                case "bar": 31                    $obj = new MyBar(); 32                    break; 33            } 34            return $obj; 35        } 36 37        $global_obj = CreateObject ("foo"); 38        $global_obj->setValue(7); 39 40        print "Value is " . $global_obj->getValue() . "\n"; 41        print "Value is " . $global_obj->getValueFromMe() . "\n"; 

讓我們一步步來討論. 首先,有一個MyFoo類.在建構函式裡,我們給$this->me一個引用,並設定
我們有其它三個成員函數: 一個設定this->value的值;一個返回this->value的值;另一個返回this->value->me的值. 但是--$this不是相同的東西嗎? MyFoo::getValue()和MyFoo::getValueFromMe()返回的值不是一樣的嗎?

首先,我們調用CreateObject("foo"),這會返回一個MyFoo類型的對象. 然後我們調用MyFoo::setValue(7). 最後,我們調用MyFoo::getValue() 和MyFoo::getValueFromMe(), 期望得到傳回值7.
當然,如果我們在任何情況下都得到7, 以上這個例子將不是本書中最沒有意義的例子. 所以我相信你已經猜到—我們得不到兩個7這樣的結果.

但是我們將得到什麼結果,並且更重要地,為什麼呢?

我們將得到的結果分別是7和5. 至於為什麼—--有三個很好的理由.

首先,看建構函式. 當在建構函式內部,我們在this和this->me間建立引用. 換句話說,this和this->me是同個東西. 但是我們是在建構函式內. 當建構函式結束,PHP要重建立立對象(new MyFoo的結果,第28行)分配給$obj. 因為對象沒有特殊化對待,就像其它任何資料類型一樣,賦值X給Y意味著Y是X的一個副本. 也就是說,obj將是new MyFoo的一個副本,而new MyFoo是一個存在於建構函式的對象. Obj->me怎麼樣呢? 因為它是一個引用,它原封不動仍然指向原來的對象—this. Voila-obj和obj->me不再是同個東西了—改變其中一個另一個不變.

以上是第一條理由. 還有其它類似於第一條的理由. 奇蹟般地我們打算克服執行個體化對象這個問題(第28行). 一旦我們把CreateObject返回的值賦給global_object,我們仍然要撞上相同的問題—global_object將變成傳回值的一個副本,並且再次地,global_object和global_object->me將不再相同. 這就是第二條理由.

但是,事實上我們還走不了那麼遠— 一旦CreateObject返回$obj,我們將破壞引用(第34行) . 這就是第三條理由.

那麼,我們如何改正這些? 有兩個選擇. 一是在所有地方增加&符號,就像例6.22那樣(第24, 28, 31, 37行). 二.如果你幸運地使用上了PHP5,你可以忘了以上這一切,PHP5會自動為你考慮這些. 如果你想知道PHP5是如何考慮這些問題的,繼續閱讀下去.

Listing 6.22 WTMA syndrome in PHP 4 PHP4中的WTMA綜合症

1    class MyFoo { 2        function MyFoo() 3        { 4            $this->me = &$this; 5            $this->value = 2; 6        } 7 8        function setValue($val) 9        { 10            $this->value = $val; 11        } 12 13        function getValue() 14        { 15            return $this->value; 16        } 17 18        function getValueFromMe() 19        { 20            return $this->me->value; 21        } 22    }; 23 24        function &CreateObject($class_type) 25        { 26            switch ($class_type) { 27                case "foo": 28                    $obj =& new MyFoo(); 29                    break; 30                case "bar": 31                    $obj =& new MyBar(); 32                    break; 33            } 34            return $obj; 35        } 36 37        $global_obj =& CreateObject ("foo"); 38        $global_obj->setValue(7); 39 40        print "Value is " . $global_obj->getValue() . "\n"; 41        print "Value is " . $global_obj->getValueFromMe() . "\n"; 

PHP5是第一個把對象看成與其它類型資料不同的PHP版本. 從使用者的角度看,這證明它非常明白的方式—在PHP5中,對象總是通過引用來傳遞,而其它類型資料(如integer,string,array)都是通過值來傳遞. 最顯著地,沒有必要再用&符號來表示通過引用來傳遞對象了.

物件導向編程廣泛利用了對象網路和對象間的複雜關係,這些都需要用到引用. 在PHP的前些版本中,需要顯示地指明引用. 因此, 現在預設用引用來移動對象,並且只有在明確要求複製時才複製對象,這樣比以前更好.

它是如何?的呢?

在PHP5之前,所有值都存在一個名為zval(Zend Value)的特殊結構裡. 這些值可以存入簡單的值,如數字和字串,或複雜的值如數組和對象. 當值傳給函數或從函數返回時,這些值會被複製,在記憶體的另一個地址建立一個帶有相同內容的結構.

在PHP5中,值仍存為zval結構中,但對象除外. 對象存在一個叫做Object Store的結構裡,並且每個對象有一個不同的ID. Zval中,不儲存對象本身,而是存著對象的指標. 當複製一個持有對象的zval結構,例如我們把一個對象當成參數傳給某個函數,我們不再複製任何資料. 我們僅僅保持相同的對象指標並由另一個zval通知現在這個特定的對象指向的Object Store. 因為對象本身位於Object Store,我們對它所作的任何改變將影響到所有持有該對象指標的zval結構.這種附加的間接作用使PHP對象看起來就像總是通過引用來傳遞,用透明和有效率的方式.

使用PHP5,我們現在可以回到樣本6.21,除去所有的&符號, 一切代碼都仍然可以正常工作.當我們在建構函式(第4行)中持有一個引用時一個&符號都不用.


<全篇完>

