面向对象编程(OOP)可让开发人员通过使用数据抽象、封装、模块化、多态性和继承减少和简化代码 — 在对OOP有着深刻的理解的前提下。对 OOP 特性的了解还让PHP编码者得以利用设计模式 — 一些众所周知的用来解决常见问题的算法。PHP自V3.0就已经提供了 OOP功能,但直到V5.3 到来时,PHP的OOP实现内的怪异之处还是会阻止一些常见设计模式的使用。随着PHP V5.3的延后静态绑定(LSB)特性的出现,这些怪异之处均已彻底消失。
本文向您介绍了在PHP V5.3出现之前,存在问题的一些设计模式,解释了这些模式为何不能工作。然后展示了PHP V5.3 的LSB特性,并给出了单例和活动记录设计模式。
重新回顾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内的使用而日益流行。
前-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内覆盖。 ConnPool的get_instance方法的如下代码行会在运行时调用适当的方法:
$klass = static::getClass();
活动记录
让我们先来看看活动记录设计模式的一个简单的部分实现。清单5显示了一个名为ActiveRecord的抽象类以及两个子类:Customer 和 Sales。子类是域类,因为它们向存在于应用程序域内的实用工具提供了包装程序。
清单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变量,它会相继被Customer和Sales子类覆盖来指定SQL表名custdb和salesdb。
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
您可能会注意到的 Customer 和 Sales 域名类的一个奇怪的事情是它们并没有任何的域属性。您可能会期望看到如下这些行,作为 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作为一个数组。 __callStatic的 ActiveRecord实现去掉 findBy 前缀后跟的字符串并将其用作 SQL where 子句内的字段名。 __callStatic方法然后会使用Denoncourt实参作为对比值。有了动态调用,还可以使用如下这行代码:
Customer::findByEmail(‘dondenoncourt@gmail.com’);
注意您还可以增进__callStatic方法来支持操作符,如下所示:
Sales::findAllByQtyGreaterThan(100);
显然,活动记录的生产实现将远比此更为复杂并会处理除findBy外的一些方法前缀。这些方法前缀可能会包含findAllBy来返回行的数组,使用countBy来返回与条件相匹配的那些行。
注意: 现在已经出现了一些利用PHP V5.3新特性的活动记录框架 — Dirivante和php.activerecord。
结束语
成长于20世纪80年代的我们经常会听到一个口号“不要给我非静态的”。但是对于PHP V5.3,我很高兴拥有很多静态的东西 — 比如继承树内的静态属性和方法。PHP V5.3 的LSB功能让您可以使用需要静态属性和方法的设计模式。PHP 还提供了 get_called_class 供您大量使用,因为您要实现的设计模式常常会需要衍生类的类名。有了PHP V5.3 的奇妙 __callStatic函数,更多的创造性在等待着您。
评论