php设计模式介绍之值对象模式

网络整理 - 08-09
在所有的最简单的程序中,大多数对象都有一个标识,一个重要的商业应用对象,例如一个Customer或者一个SKU,有一个或者更多的属性---id,name,email地址,这样可以把它从同一个类的其他实例区分开来。此外,对象有一个恒定的标识:它是贯穿于整个应用程序的一个唯一的标识,对于程序员来说,”customer A”在任何地方就是”customer A”,并且只要你的程序在持续运行时"customer A"仍然是"customer A"。 但是一个对象不需要有一个标识。有些对象仅仅是为了描述其他对象的属性。

例如:通常用一个对象描述一个日期、一个数字或者货币。日期、整数或美元的类定义是都是便于使用的、快捷、便于封装的,并且方便进行拷贝,相互比较,甚至是创建。

从表面上看,这些描述简单的对象很容易被执行:它们的语句非常少,在构造类时无论是应用于Customer还是SKU都没有什么不同。这个想法似乎是正确的,但是所谓的"似乎正确"很容易产生一些bug。

请看下面的代码,这是一个关于以美元给员工发放工资的对象的定义和执行操作。多数情况下,它的运行是没有问题的。(这个类被命名为BadDollar,因为它还存在着bug)。考虑一下,看你是否能发现它的bug。

// PHP5

class BadDollar {

protected $amount;

public function __construct($amount=0) {

$this->amount = (float)$amount;

}

public function getAmount() {

return $this->amount;

}

public function add($dollar) {

$this->amount += $dollar->getAmount();

}

}

class Work {

protected $salary;public function __construct() {

$this->salary = new BadDollar(200);}

public function payDay() {

return $this->salary;

}

}

class Person {

public $wallet;

}

function testBadDollarWorking() {

$job = new Work;

$p1 = new Person;

$p2 = new Person;

$p1->wallet = $job->payDay();

$this->assertEqual(200, $p1->wallet->getAmount());

$p2->wallet = $job->payDay();

$this->assertEqual(200, $p2->wallet->getAmount());

$p1->wallet->add($job->payDay());

$this->assertEqual(400, $p1->wallet->getAmount());

//this is bad — actually 400

$this->assertEqual(200, $p2->wallet->getAmount());

//this is really bad — actually 400

$this->assertEqual(200, $job->payDay()->getAmount());

}
那么, bug是什么呢?如果不能上面的代码例子中直观地发现问题,这里有个提示:雇员对象$p1和对象$p2使用着同一个BadDollar对象实例。

首先,类Work和类Person的实例已经创建。那么,假设每一个雇员最初有一个空的电子钱包,雇员的电子钱包Person:wallet是通过Work::payDay()函数返回的对象资源变量赋值的,所以被设定为一个BadDollar类的对象实例。

还记得PHP5的对象赋值处理方式吗?因为PHP5的对象赋值的处理方式,所以$job::salary,、$p1::wallet和$p2::wallet这三个看上去不同的对象实例虽然使用着不同的“标识符”,但是事实上,它们全部都指定到同一个对象实例。

因此,接下来的发放工资的操作(PayDay表示发放工资的日子,这里表示发放工资的动作),使用$job->payDay()本来仅仅是想增加$P1的工资,却出乎意料地次给$P2也发放了。并且,这个动作还改变了工作的基本工资的额度。因此,最后两个值的检测报错。

Value Object PHP5 Unit Test

1) Equal expectation fails because [Integer: 200] differs from [Float: 400] by 200

in testBadDollarWorking

in ValueObjTestCase

2) Equal expectation fails because [Integer: 200] differs from [Float: 400] by 200

in testBadDollarWorking

in ValueObjTestCase

FAILURES!!!