PHP V5.3 用延後靜態綁定搞活面向對象編程

面向對象編程(OOP)可以讓開發人員經過使用數據抽象、封裝、模塊化、多態性和繼承減小和簡化代碼 — 在對 OOP 有着深入的理解的前提下。對 OOP 特性的瞭解還讓 PHP 編碼者得以利用設計模式 — 一些衆所周知的用來解決常見問題的算法。PHP 自 V3.0 就已經提供了 OOP 功能,但直到 V5.3 到來時,PHP 的 OOP 實現內的怪異之處仍是會阻止一些常見設計模式的使用。隨着 PHP V5.3 的延後靜態綁定(LSB)特性的出現,這些怪異之處均已完全消失。 php

本文向您介紹了在 PHP V5.3 出現以前,存在問題的一些設計模式,解釋了這些模式爲什麼不能工做。而後展現了 PHP V5.3 的 LSB 特性,並給出了單例和活動記錄設計模式。 算法

從新回顧 OOPsql

若是您過去曾接觸過 PHP OOP,那麼極可能會出於如下緣由而決定不使用它: 數據庫

  • 讀過諸多宣稱 PHP OOP 有問題的博文中的一條。
  • 曾嘗試實現一個簡單的設計模式,但沒有成功。

而對於 PHP V5.3,有關 OOP 的博文都是正面的,而且 PHP OOP 的問題在很大程度上已獲得解決。是時候重回 PHP OOP 了。經過本文,您將看到在 V5.3 出現以前曾存在問題的一些設計模式:單例、生成器、工廠方法和活動記錄。 編程

單例、生成器和工廠方法設計模式被視爲是 建立型 的模式,因它們可協助對象的構建。單例模式多是最經常使用的 OOP 設計模式之一了 ;它限制了一個類的對象實例數只能爲 1。好比數據庫鏈接池就是單例設計模式的一個例子:咱們通常不想讓應用程序具備鏈接池類的多個資源密集型實例。 設計模式

在須要分離複雜對象的構建和表示時,就須要用到生成器設計模式,您可使用相同的構造過程來建立多個對象。生成器模式的實現能夠很複雜,但一 旦生成器可用,它就能夠簡化生成器所建立對象的構造和使用。具備輸出 HTML、XML 或 PDF 能力的轉變器就是須要使用生成器的一個例子。 數組

而工廠方法模式,顧名思義,定義的是一個用來大量產出對象的方法的實現。您能夠在應用程序須要建立其類型依賴於子類的實現的對象時,使用工廠方法模式。 框架

活動記錄模式則可用來在域類內包裝關係數據庫持久性方法。一個活動記錄的每一個實例都關係到數據庫內的特定行。這個類包含了要插入、刪除和更新數據庫內的一行或多個行的方法。活動記錄設計模式是由 Martin Fowler 在 Patterns of Enterprise Application Architecture 內定義的,並因在 Ruby on Rails 內的使用而日益流行。 dom

前-LSB 的建立型設計模式實現問題模塊化

上述提到的全部這四個設計模式均使用了靜態的屬性和方法。例如,看一下清單 1 內所示的這個鏈接池單例。


清單 1. 一個簡單的單例
<?php
class ConnPool { 
    private static $onlyOne;
    private static $count = 0;
    private function __construct() {
	// real-world db conn stuff here...
    } 

    public static function getInstance() { 
        if (!is_object(self::$onlyOne)) { 
	     $klass = __CLASS__;
            self::$onlyOne = new $klass();
            self::$count++;
        } 
        return self::$onlyOne; 
    } 
    public static function getInstanceCount() {return self::$count;}
}  

$db = ConnPool::getInstance();
assert (1 == $db->getInstanceCount());
$db2 = ConnPool::getInstance();
assert (1 == $db2->getInstanceCount());
?>

請注意這個靜態的 $onlyOne 變量。該變量被設計用來保存鏈接池對象的一個實例。$onlyOne 以前的靜態修飾符將此變量關係到類自己。$onlyOne 變量是一個類屬性,由於其做用域是這個類。而 $onlyOne 屬性只有一個實例。當一個屬性不具備靜態修飾符時,就稱其是一個對象屬性,由於該屬性對類的每一個實例都是唯一的。

注意到 ConnPool 的構造函數方法(called __construct)是空的。在一個生產實現中,可使用該方法來建立數據庫鏈接池的間隔。

靜態 getInstance 方法包含單例的模板代碼。只有在靜態的 $onlyOne 變量爲空時,它纔會建立一個 $onlyOne 實例。請注意它是如何使用 __CLASS__ 變量來得到類的類型並隨即建立該類的一個實例的。

使用 getInstanceCount 方法只是爲了證實只建立了鏈接池的一個實例。清單 1 底部的四行代碼則證實不管請求 ConnPool 池類的一個實例多少次,它都會返回相同的對象。

因此, 到目前爲止,此單例一切正常 — 直到您決定想要以面向對象的繼承樹的形式對這個鏈接池進行子類處理來支持多個數據庫。清單 2 顯示了這個繼承樹(爲了清晰起見,刪除了實例計數器和構造函數代碼)。


清單 2. 在沒有 LSB 時對單例進行的一次失敗嘗試
<?php
class ConnPool { 
    private static $onlyOne;
    protected static $klass = __CLASS__;

    public static function getInstance() { 
        if (!is_object(self::$onlyOne)) { 
            self::$onlyOne = new self::$klass(); 
        } 
        return self::$onlyOne; 
    } 
}  

class ConnPoolAS400 extends ConnPool { 
    protected static $klass = __CLASS__;
}  
$db = ConnPoolAS400::getInstance();
assert ('ConnPoolAS400' == get_class($db)); // fails
?>

爲了支持多個類型的單例類,ConnPool 類添加了一個 $klass 靜態變量並假設它會在子類中被覆蓋。 ConnPoolAS400 子類擴展了 ConnPool 類並提供了 $klass 屬性本身的版本。 咱們的預期是當 ConnPoolAS400 類的實例建立時,$klass 屬性會保存 ConnPoolAS400。可是當執行這些代碼時,它不會按預期的那樣運行。當 PHP 實用函數 get_class 返回 ConnPool 而不是 ConnPoolAS400 時,代碼底部的聲明會失敗。 問題是 ConnPool 類的 getInstance 方法使用的是它本身的 $klass 屬性版而非 ConnPoolAS400 的覆蓋版。

清單 2 內的代碼存在的問題是 self 關鍵字綁定到了在編譯時引用的屬性或方法。self 關鍵字指向的是包含類,且不會意識到子類。基本上,編譯器會用所包含類的名稱替換 self 關鍵字。這就相似於以下這行代碼:

self::$onlyOne = new self::$klass();

被編譯器替代爲:

ConnPool::$onlyOne = new ConnPool::$klass();

而這就是所謂的提早綁定。而您所須要的是 延後綁定

有了 LSB 的單例繼承

您能夠經過使用 PHP V5.3 的 LSB 功能修復這個單例功能。能夠用 static 替換 self 指定符 self::$onlyOne = new self::$klass();

self::$onlyOne = new static::$klass();

代碼的從新運行的結果是一個成功的聲明。

static 關鍵字會在可能的最近時刻強迫 PHP 綁定到代碼實現。沒有 LSB, self::$klass 會引用所找到的第一塊代碼:父類的版本。

PHP V5.3 內一個名爲 get_called_class 的新功能稍稍簡化了單例的代碼。清單 3 用 get_called_class 函數替換了靜態 $klass 屬性的使用。


清單 3. 用 get_called_class 簡化的單例
<?php
class ConnPool { 
	private static $instance;
	public function get_instance() {
		if (!is_object(self::$instance)) {
			$klass = get_called_class();
			self::$instance = new $klass();
		}
		return self::$instance;
	}
}  

class ConnPoolAS400 extends ConnPool {}  
$db = ConnPoolAS400::get_instance();
assert ('ConnPoolAS400' == get_class($db));
?>

清單 3 內的單例顯然更爲準確,但更爲重要的一點是它使用了 PHP 的 LSB 來引用適當的覆蓋靜態類。儘管單例實現使用的是子類的類名,其餘的模式(好比稍後介紹的活動記錄模式)須要引用其餘的靜態屬性。此外,LSB 可同時使用靜態函數靜態屬性。靜態函數與靜態屬性同樣,做用域也是類而非該類的對象實例。清單 4 顯示了使用方法而非屬性來指定適當類的單例。


清單 4. 在方法上使用了 LSB 的一個單例
<?php
class ConnPool { 
	private static $onlyOne;
	protected static function getClass() {
		return __CLASS__;
	}

	public function get_instance() {
		if (!is_object(self::$onlyOne)) {
			$klass = static::getClass();
			self::$onlyOne = new $klass();
		}
		return self::$onlyOne;
	}
}  

class ConnPoolAS400 extends ConnPool { 
	protected static function getClass() {
		return __CLASS__;
	}
}  
$db = ConnPoolAS400::get_instance();
assert ('ConnPoolAS400' == get_class($db));
?>

在此代碼中,靜態 getClass 實如今 ConnPool 內定義並在 ConnPool400 內覆蓋。 ConnPoolget_instance 方法的以下代碼行會在運行時調用適當的方法:

$klass = static::getClass();

活動記錄

讓咱們先來看看活動記錄設計模式的一個簡單的部分實現。清單 5 顯示了一個名爲 ActiveRecord 的抽象類以及兩個子類:CustomerSales。子類是域類,由於它們向存在於應用程序域內的實用工具提供了包裝程序。


清單 5. 活動記錄設計模式的簡單實現
<?php
abstract class ActiveRecord {
  protected static $table;
  protected $fieldvalues;
  public $select; // used for illustration only 

  static function findById($id) {
    $query = "select * from "
        .static::$table
        ." where id=$id";
    return self::createDomain($query);
  }
  function __get($fieldname) {
    return $this->fieldvalues[$fieldname];
  }
  static function __callStatic($method, $args) {
    $field = preg_replace('/^findBy(\w*)$/', '${1}', $method);
    $query = "select * from "
        .static::$table
        ." where $field='$args[0]'";
    return self::createDomain($query);
  }
  // TODO: code a __set method
  private static function createDomain($query) {
    $klass = get_called_class();
    $domain = new $klass();
    $domain->fieldvalues = array();
    $domain->select = $query;
    foreach($klass::$fields as $field => $type) {
      $domain->fieldvalues[$field] = 'TODO: set from sql result';
    }
    return $domain;
  }
  // TODO: code static create, update, delete methods
}
class Customer extends ActiveRecord {
  protected static $table = 'custdb';
  protected static $fields = array(
    'id' => 'int',
    'email' => 'varchar',
    'lastname' => 'varchar'
    );
}
class Sales extends ActiveRecord {
  protected static $table = 'salesdb';
  protected static $fields = array(
    'id' => 'int',
    'item' => 'varchar',
    'qty' => 'int'
    );
}

assert ("select * from custdb where id=123" == 
        Customer::findById(123)->select);
assert ("TODO: set from sql result" == 
    Customer::findById(123)->email);
assert ("select * from salesdb where id=321" == 
        Sales::findById(321)->select);
assert ("select * from custdb where Lastname='Denoncourt'" == 
    Customer::findByLastname('Denoncourt')->select);
?>

ActiveRecord 類使用 abstract 修飾符來確保代碼不會實例化一個 ActiveRecord 對象。若是用 new ActiveRecord(); 嘗試建立一個 ActiveRecord,將會收到一個錯誤,稱 「PHP Fatal error: Cannot instantiate abstract class ActiveRecord」。這是一件好事,由於在沒有子類時,ActiveRecord 類不會作任何有價值的事情。

ActiveRecord 類定義一個靜態的 $table 變量,它會相繼被 CustomerSales 子類覆蓋來指定 SQL 表名 custdbsalesdb

ActiveRecord 的靜態 findById 函數是活動記錄設計模式的實現內常見的一個方法的例子。findById 負責基於所傳遞的唯一標識符來檢索數據庫內的適當行,而後再構建並返回表明業務實體的域對象。 findById 方法使用 static 關鍵字來啓用對子類的表名的延後綁定引用。此方法構建一個 SQL select,而後會將域的建立延遲到 createDomain 方法。

createDomain 方法使用子類的名稱(經過 PHP V5.3 的 get_called_class 函數)來實例化適當的類。createDomain 方法以後會建立一個數組來保存數據庫列的名稱和值的一個映射。爲了讓這個示例儘可能簡單,ActiveRecord 並不會實際運行 SQL 代碼。同時爲了讓本文的代碼可以充分展現並測試 SQL select 的構造,ActiveRecord 具備一個在 createDomain 內設置的 $select 屬性。foreach 語句,不是設置來自 SQL 結果集的域屬性值,而是將字符串 TODO: set from sql result 填塞到字段值數組的每一個元素。這個方法會返回新構建的域,而這個域又會由 findById 方法返回。代碼底部四個聲明中的第一個聲明會驗證適當的 SQL 語句是否被建立。

動態屬性和 __get

您可能會注意到的 CustomerSales 域名類的一個奇怪的事情是它們並無任何的域屬性。您可能會指望看到以下這些行,做爲 Customer 類的屬性:

$id;
$email;
$name;

這樣一來,您就可使用如下代碼訪問這些域屬性:

$custObj->id;
$custObj->email;
$custObj->lastname;

但這些屬性是可用的;它們保存在 $fieldvalues 數組內。而且其上的代碼也能正常工做。爲了提供對域屬性的無縫訪問以便上述引用的語法能正常工做,ActiveRecord 實現了奇妙的 __get 方法。代碼底部的第二個聲明顯示了 Customer 對象是如何從 findById 方法被檢索到的,以及 email 屬性是如何被訪問的。Customer 沒有 email 屬性,可是因爲定義了 __get 方法,PHP 調用了 __get 方法,並以一個參數傳遞了所請求的屬性名。以後,__get 方法只需簡單地從 $fieldvalues 數組拉出屬性值。

注意: 生產代碼能夠處理對數組內不存在的屬性的請求。

動態 finder 方法和 __callStatic

活動記錄設計模式實現內常常提供的一個很棒的特性是動態 finder 方法。沒有動態方法,域類的代碼編寫將必須考慮到類的每一個數據庫查詢用戶可能會要求檢索域的一個或多個實例(並隨後編寫一個相似於 findById 的方法)。

咱們來重點看看 清單 5 底部的最後一個聲明:它運行一個名爲 findByLastname 的方法。但該方法不具有任何實現。此方法可能不會存在,可是因爲 Customer 類的父類具備 PHP V5.3 的新 __callStatic 方法的一個實現,因此不只不會拋出任何錯誤,並且 findByLastname 調用還會實際執行並會作一些有價值的事情。

__callStatic 方法接受兩個參數:被調用的方法名以及一個參數數組。當調用 findByLastname 時,PHP 看到此名稱不存在並會運行 ActiveRecord__callStatic 方法,在第一個參數內傳遞 findByLastname,第二個參數內傳遞 Denoncourt 做爲一個數組。 __callStaticActiveRecord 實現去掉 findBy 前綴後跟的字符串並將其用做 SQL where 子句內的字段名。 __callStatic 方法而後會使用 Denoncourt 實參做爲對比值。有了動態調用,還可使用以下這行代碼:

Customer::findByEmail('dondenoncourt@gmail.com');

注意您還能夠增進 __callStatic 方法來支持操做符,以下所示:

Sales::findAllByQtyGreaterThan(100);

顯然,活動記錄的生產實現將遠比此更爲複雜並會處理除 findBy 外的一些方法前綴。這些方法前綴可能會包含 findAllBy 來返回行的數組,使用 countBy 來返回與條件相匹配的那些行。

注意: 如今已經出現了一些利用 PHP V5.3 新特性的活動記錄框架 — Dirivante 和 php.activerecord

相關文章
相關標籤/搜索