Perl面向?qū)ο缶幊痰膬煞N實現(xiàn)和比較
本文和大家重點討論一下Perl面向?qū)ο蟮母拍?，Perl面向?qū)ο缶幊痰膶崿F(xiàn)方式有兩種，分別是基于匿名哈希表的實現(xiàn)和基于數(shù)組的實現(xiàn)，這里向大家簡單介紹一下這兩者的區(qū)別。
Perl面向?qū)ο缶幊痰膬煞N實現(xiàn)和比較
本文比較了在Perl中兩種主流的Perl面向?qū)ο缶幊痰膶崿F(xiàn)方式，基于匿名哈希表的實現(xiàn)和基于數(shù)組的實現(xiàn)。深刻地剖析了兩種實現(xiàn)的技術(shù)內(nèi)幕，并且提供了可供讀者直接使用的代碼和模塊示例。在文章的最后作者比較了兩種實現(xiàn)方式的優(yōu)劣，并對讀者給出了在實際工作中選擇何種方式實現(xiàn)Perl面向?qū)ο缶幊痰慕ㄗh。
背景
我們常?？梢詮能浖こ痰臅臀恼轮?，或者項目經(jīng)理的口中，聽到Perl面向?qū)ο缶幊踢@樣的字眼。與大多數(shù)時髦的技術(shù)用詞不同，Perl面向?qū)ο缶幊痰拇_可以為我們的軟件設(shè)計和開放工作帶來本質(zhì)性的變化。Perl作為一種成熟的“面向過程”的語言，同樣也提供了對于Perl面向?qū)ο缶幊痰闹С帧?/p>
一個好的“Perl面向?qū)ο?ldquo;的設(shè)計不僅是以數(shù)據(jù)為中心，它還盡力地封裝并且隱藏了實際的數(shù)據(jù)結(jié)構(gòu)，而且只對外界開放有限的，具備良好文檔的接口。在下文中，我們將看到如何使用Perl語言的特性來實現(xiàn)這些Perl面向?qū)ο笤O(shè)計的優(yōu)點的。
Perl中有兩種不同地Perl面向?qū)ο缶幊痰膶崿F(xiàn)，一是基于匿名哈希表的方式，每個對象實例的實質(zhì)就是一個指向匿名哈希表的引用。在這個匿名哈希表中，存儲來所有的實例屬性。二是基于數(shù)組的方式，在定義一個類的時候，我們將為每一個實例屬性創(chuàng)建一個數(shù)組，而每一個對象實例的實質(zhì)就是一個指向這些數(shù)組中某一行索引的引用。在這些數(shù)組中，存儲著所有的實例屬性。
Perl面向?qū)ο蟮母拍?/strong>
首先，我們定義幾個預(yù)備性的術(shù)語。
實例(instance)：一個對象的實例化實現(xiàn)。
標識(identity)：每個對象的實例都需要一個可以唯一標識這個實例的標記。
實例屬性（instanceattribute）：一個對象就是一組屬性的集合。
實例方法(instancemethod)：所有存取或者更新對象某個實例一條或者多條屬性的函數(shù)的集合。
類屬性（classattribute）：屬于一個類中所有對象的屬性，不會只在某個實例上發(fā)生變化。
類方法（classmethod）：那些無須特定的對性實例就能夠工作的從屬于類的函數(shù)。
基于匿名散列表的方法
首先我們來談?wù)劵谀涿⒘斜淼腜erl面向?qū)ο髮崿F(xiàn)。首先，我們需要定一個匿名散列表，并用一個引用指向這個匿名散列表。如清單1所示，我們定義了一個初始化函數(shù)來封裝這個匿名散列表的初始化過程。這個函數(shù)接受參數(shù)作為初始值，并且用這些值初始化其內(nèi)部包含的匿名散列表，并且返回一個指向這個匿名散列表的引用。在這個例子當中，我們創(chuàng)建了一個Person模塊，并且定義了一個可以實例化模塊Person的new函數(shù)。
清單1.基于匿名哈希表的Perl面向?qū)ο缶幊?br />
- packagePerson;
- subnew{
- my($name,$age)=@_;
- my$r_object={
- “name”=>$name,
- “age”=>$age
- }
- return$r_object;
- }
- my$personA=Person->new(“Tommy”,22);
- my$personB=Person->new(“Jerry”,30);
- print“PersonA’sname:”.$personA->{name}.“age:”.$personA->{age}.”.\n”;
- print“PersonB’sname:”.$personB->{name}.“age:”.$personB->{age}.”.\n”;
但是，現(xiàn)在的這個方案有一個致命的缺點，Perl的編譯器并不知道如何new函數(shù)所返回的指向匿名哈希表的引用屬于哪個類（模塊）。這樣的話，如果要使用類中的實例方法，只能直接標出方法所屬于的類（模塊）的名字，并將引用作為方法的第一個參數(shù)傳遞給它，如
對于這個問題，Perl中的bless函數(shù)提供了一個解決問題的橋梁。bless以一個普通的指向數(shù)據(jù)結(jié)構(gòu)的引用為參數(shù)，它將會把那個數(shù)據(jù)結(jié)構(gòu)（注意：此處不是引用本身）標記為屬于某個特定的包，這樣就賦予了這個匿名哈希表的引用以多態(tài)的能力。同時，我們使用箭頭記號來直接調(diào)用那些實例方法。見清單3。
基于匿名散列表的方法中的繼承：
Perl允許一個模塊在一個特殊的名為@ISA的數(shù)組中制定一組其他模塊的名稱。當在模塊中找不到某個實例方法時，它就為檢查那個模塊的@ISA是否被初始化。如果已經(jīng)初始化了，它就為檢查其中的某個模塊是否支持這個“缺少”的函數(shù)。如果它按照深度優(yōu)先的層次結(jié)構(gòu)搜索@ISA數(shù)組并且發(fā)現(xiàn)同名的方法，它會調(diào)用第一個被發(fā)現(xiàn)的同名方法并將控制權(quán)交給它。我們利用Perl語言的這個特性實現(xiàn)了繼承。
考慮這樣一個類的層次，我們定義一個Employee類，繼承于基類Person，如清單5所示。
我們將類名Person放入包Employee的ISA數(shù)組中，這樣當調(diào)用一個在包Employee中沒有定義的函數(shù)時，Perl編譯器會自動在Person類尋找這個函數(shù)。當用戶調(diào)用new函數(shù)初始化一個Employee對象實例的時候，Employee的new函數(shù)會在內(nèi)部調(diào)用它的基類的new函數(shù)，并且返回一個包含部分以初始化的基類實例屬性的匿名哈希表。接著Employee的new函數(shù)將繼續(xù)執(zhí)行new函數(shù)的剩余代碼，完成屬于Employee自身的初始化工作，為Employee中剩余的實例屬性賦值。#p#
基于數(shù)組的方法
基于匿名哈希表的Perl面向?qū)ο缶幊谭椒ㄖ杏袃蓚€明顯的不足：一是無法為屬性提供一種訪問限制，限制外部對內(nèi)部屬性的訪問和改變。二是在處理大規(guī)模的實例的情況下，系統(tǒng)的內(nèi)存開銷頗大。100個實例意味著將創(chuàng)建100個散列表，這100個散列表都要為插入新紀錄的操作而分配額外的存儲空間。除了基于匿名散列表的實現(xiàn)，我們也可以利用數(shù)組來存儲屬性，實現(xiàn)Perl面向?qū)ο蟮木幊獭?/p>
整個實現(xiàn)的數(shù)據(jù)結(jié)構(gòu)非常簡單，我們將為每一個類的實例屬性分配一個數(shù)組（見圖一，圖中的每一列對應(yīng)于類的一個實例屬性），而每一個新的實例將是跨越所有數(shù)組列的一個切片（圖中的每一個被使用的行對應(yīng)于類的一個實例）。每次需要實例化一個新的對象，new函數(shù)將被調(diào)用。一個新的邏輯行將被分配，新的實例的實例屬性將以新的行偏移量插入到相應(yīng)的屬性列當中去。
雖然在CPAN上有許多基于這一方法的實現(xiàn)，為了更加清楚地說明如何實現(xiàn)基于數(shù)組存儲屬性的Perl面向?qū)ο缶幊?，我們自己動手實現(xiàn)了一個簡單的實例。我們定義了一個InsideOut類（模塊），所有的需要使用基于數(shù)組存儲屬性的Perl面向?qū)ο缶幊痰念惐仨毨^承這個類。InsideOut通過為每個包維護一個稱做為@_free的“空余行列表”來重用那些被定義之后又被釋放的行（空余行）。通過精心設(shè)計的數(shù)據(jù)結(jié)構(gòu)，這個列表成為了一個包含所有空余行信息的鏈表，并且通過一個名為$_free的變量變量指向鏈表的頭部。表中的每個元素包含了下一個空余行的索引。當一個對象的實例被刪除時，$_free將指向這個被釋放的行，而空余列表中相應(yīng)的這個行中的元素將含有指向原有$_free所指向的前一個條目。因為被釋放的“所謂”空余行和被使用的行不會重疊，所以我們可以自己的使用其中的一個屬性列來保存@_free。這是通過typelogb別名機制來實現(xiàn)的。
我們設(shè)計的InsideOut模塊為一個繼承它的類提供如下的功能：
一個名為new的構(gòu)造函數(shù)，負責(zé)將為bless到繼承類中的對象分配空間。new函數(shù)將會自動地調(diào)用initialize，而initialize可以在繼承它的類中被重載，進行用戶自己定義的初始化工作。
我們將定義一組訪問函數(shù)，用于存取屬性。這是一組已get_attribute和set_attribute為名稱的方法，將在繼承類被自動創(chuàng)建，包括對象自己的方法，任何人只能通過這些方法來存取對象屬性。由于InsideOut模塊是唯一知道如何存取屬性的模塊，所以用戶無法通過除此之外的任何方法來存取對象的實例屬性。
一個名為DESTROY的析構(gòu)函數(shù)。
InsideOut模塊的具體實現(xiàn)如下，見清單7到清單11。例七部分包含了InsideOut模塊的對外接口函數(shù)。繼承InsideOut模塊的類通過調(diào)用它提供的define_attributes函數(shù)，自動生成自己類的構(gòu)造函數(shù)和實例屬性訪問函數(shù)。
基于數(shù)組的方法中的繼承
基于數(shù)組的方法中的繼承與基于匿名哈希表的方法中的繼承完全一樣。我們設(shè)計的InsideOut類中利用@ISA數(shù)組提供了對繼承的支持。
總結(jié)
相比于基于匿名哈希表的方法，基于數(shù)組的方法對存取屬性的訪問提供了更好的控制和保護并且實現(xiàn)了對于對象的封裝，同時也提高了存儲空間的利用效率。但是基于匿名哈希表的方法也有著簡單易學(xué)，邏輯上較為直觀而且無需要第三方模塊支持的優(yōu)點。具體使用哪種方式實現(xiàn)Perl面向?qū)ο蟮脑O(shè)計，還要在工作中根據(jù)實際情況進行考慮才對。
【編輯推薦】
