PHP开发学堂：PHP4之真OO学习篇

时间:2011-03-20 22:37来源:未知作者:admin 点击: 次

分享到：

简介本文的对象是那些曾使用更加成熟的OO [1] 语言, 如Eiffel, Java, C# [2] or C++(), 进行开发的朋友(如我自己). 在使用PHP4进行完全的OO开发时有着许多的语义[3] (semantic)上的陷阱[4]. 希本文内

　　简介

　　本文的对象是那些曾使用更加成熟的OO [1] 语言, 如Eiffel, Java, C# [2] or C++(), 进行开发的朋友(如我自己). 在使用PHP4进行完全的OO开发时有着许多的语义[3] (semantic)上的陷阱[4].

　　希本文内容可助人避我曾犯之错.

　　引用 VS 拷贝语义

　　这基本上是错误的主要来源(至少对于我来说).即使在PHP的文档中你可以读到PHP4较之引用更多使用拷贝语义(如其他我所知的面向对象语言), 但这仍将使你最后在一些细小之处困扰.

　　接下来的两部分用于阐述二个小的例子, 在这二个例子中拷贝语义也许会令你惊讶.

　　要时刻牢记重要的是一个类的变量不是一个指向类的指针而是实际的类自己本身[5]. 大多数问题引发自对于赋值操作符(=)的误解, 即以为是给一个对象一个别名, 而实际上却是一个新的拷贝. 例如假设$myObj是某个类的实例, 并且它有一个Set()方法. 那么下面的代码也许不会像一个C++(或者Java)程序员所期望的那样工作.

　　function SomeFunction($aObj) { $aObj->Set(10); }

　　…

　　SomeFunction ($myObj);

　　…

　　那么现在, 很容易便会认为该函数所调用的Set()方法会作用于$myObj. 但这是错的!

　　其实发生的是$myObj被拷贝为一个新的, 与原对象一样的拷贝----参数$aObj. 然后当Set()方法被调用时, 它仅仅作用于本地拷贝而非原参数----$myObj.

　　在包含直接或间接(如上)赋值操作的地方就会发生各种各样的上述问题.

　　为了函数能像你所期望的那样行动(也许是), 那么你不得不通过修改方法申明来告诉PHP使用引用来传递对象, 如:

　　Function SomeFunction(&$aObj)

　　如果你再一次尝试上面的代码, 那么你会发现Set()方法将作用于原来的参数上, 因为现在我们在作用中创建了一个$myObj的别名----$aObj.

　　但是你不得不小心, 因为即使是＆操作符也不是在任何时候都能救你, 如下面的举例.

　　从一个引用来获得引用

　　假设有如下代码:

　　$myObject = new SomeClass();$myRefToObject = &$myObject;

　　如果我们现在想要一个引用的拷贝(因某些理由), 那么我们要做什么呢? 你可能会由于$myRefToObject已经是引用而试图那么写:

　　$myCopyRefToObject = $myRefToObject;

　　正确么? 不! PHP会创建$myRefToObject所引用对象的新拷贝. 如果你想拷贝一个对象的引用, 你不得不这么写:

　　$myCopyRefToObject = &$myRefToObject;

　　在与前所述例子相当的C++的例子中, 便会创建一个引用的引用. 与其在PHP中不同. 这是一个经验丰富的C++程序员常会作的直觉假设相反的, 而这会是你的PHP程序中小BUG的来源.

　　请小心由此所产生的间接(传递参数)或直接的问题.

　　我个人所达成的结论, 即最好的避免这些语义陷阱的方法是总是用引用来传递对象或者对象赋值. 这不仅仅改进了运行速度(更少的数据拷贝), 而且可以对像我这样的老狗而言使语义更加可预测.

　　在构造函数中对$this使用引用

　　在一个对象的构造函数里初始化作为其他对象发现者(Observer[6])的对象是一个常见的模式. 下面几行代码便是一个示例:

　　class Bettery

　　{

　　function Bettery() {…};

　　function AddObserver($method, &$obj)

　　{

　　$this->obs[] = array($obj, &$method)

　　}

　　function Notify(){…}

　　}

　　class Display

　　{

　　function Display(&$batt)

　　{

　　$batt->AddObserver("BatteryNotify",$this);

　　}

　　function BatteryNotify() {…}

　　}

　　但是, 这并不会正常工作, 如果你是这么实例化对象的:

　　$myBattery = new Battery();$myDisplay = new Display($myBattery);

　　这么做的错误在于new时在构造函数中使用$this并不会返回同一个对象. 反而会返回最近创建对象的一个拷贝. 即在调用AddObserver()时所传送的对象于原对象不是同一个. 然后当Battery类尝试通知所有它的观察者(Observer)(通过调用他们的Notify方法)时, 它并不会调用我们所创建的Display类而是$this所代表的类(即我们所创建的Display类的拷贝). 因此如果Notify()方法更新了一些实例变量, 并不像我们所设想原Display类会被更新, 因为更新的其实是个拷贝. 为了让它工作, 你必须使构造函数返回同一个对象, 正如与最初$this所象征的那样. 可以通过添加&符号于Display的构造, 如$myDisplay = & new Display($myBattery);

　　一个直接的结果是任何Display类的Client必须了解Display的实现细节. 事实上, 这会产生一个可能引起争论的问题: 所有对象的构建必须使用额外的&符号. 就我所说的基本上是安全的, 但忽略它可能会在某些时候得到不想要的如上述示例般的作用.

　　在JpGraph中使用了另一种方法来解决. 即需要使用通过添加一个能安全的使用&$this引用的”Init()”方法的所谓二阶段构造来”new”一个对象(仅仅是因为在构造函数中的$this引用返回对象的一个拷贝而不如所期望的那样执行). 因此上面的例子会如下实现:

　　$myBattery = new Battery();

　　$myDisplay = new Display();

　　$myDisplay->Init($myBattery);

　　如JPGraph.php中的”LinearScale”类.

　　使用foreach

　　另外一个相似代码却不同结果的问题是”foreach”结构的问题. 研究一下下面的二个循环结构的不同版本.

　　// Version 1

　　foreach( $this->plots as $p )

　　{

　　$p->Update();