PHP 5.0中多态性的实现方案浅析

PHP的最新发行版本中已经实现了对迟绑定的支持。当然，在使用其迟绑定功能时还存在很多问题。如果你使用的是更旧版本的PHP（我的服务器上运行的是PHP 5.0.1版本），那么你可能发现其中缺乏对于迟绑定的支持。因此，请注意本文中的代码有可能无法工作在你特定的PHP 5版本中。

一、 PHP 5和多态性

本文想讨论面向对象编程中最为重要的部分之一--多态性的设计。为了说明问题，我使用了PHP 5。在你继续阅读之前，请首先明确本文并不是完全有关于PHP的。尽管这种语言在以前的两个主要版本中在快速开发方面已经取得很大的进步，但是，在其与更为成熟的语言如C++或者Java相匹敌之前，它对于对象的支持还要经历一段历程。

如果你是一位面向对象编程的入门者，那么本文可能不适合你，因为多态性这部分知识比较特别：一旦理解了它，你将永远不会忘记。如果你想简单了解一点对象编程和设计知识，并且当某人说"某个对象是多态的"时，还不十分清楚这是什么意思的话，那么本文正适合你。

到本文最后，你应该知道什么是多态性以及如何把它应用到面向对象的设计中，并且你会了解PHP 5中对象编程的优点与不足。

二、什么是多态性？

多态性，其来自于dictionary.com的定义是"以不同形式，阶段或者类型出现在独立的组织中或者同种组织中，而不存在根本区别。"由该定义，我们可以认为，多态性是一种通过多种状态或阶段来描述相同对象的编程方式。其实，它的真正意义在于：实际开发中，我们只需要关注一个接口或基类的编程，而不必担心一个对象所属于的具体类（class）。

如果你熟悉设计模式，即使只是有个初步了解，那么你也会了解这个概念。事实上，多态性可能是基于模式设计编程中的最伟大的工具。它允许我们以一种逻辑的方式来组织相类似的对象从而实现在具体编码时不必担心对象的具体类型；而且，我们只需要对一个所期望的接口或基类编程即可。一个应用程序越抽象，则它就显得越灵活--而多态性是对行为加以抽象的最好的方式之一。

例如，让我们考虑一个叫Person的类。我们可以用称为David，Charles和Alejandro的类来子类化Person。Person有一个抽象方法AcceptFeedback()，所有的子类都要实现这个方法。这意味着，任何使用基类Person的子类的代码都能调用方法AcceptFeedback()。你不必检查该对象是一个David还是一个Alejandro，仅知道它是一个Person就够了。结果是，你的代码只需关注"最小公分母"-Person类即可。

在这个示例中的Person类也可以被创建为一个接口。当然，与上面相比存在一些区别，主要在于：一个接口并没有给出任何行为，而仅确定了一组规则。一个Person接口要求的是"你必须支持AddFeedback()方法"，而一个Person类可以提供一些AddFeedback()方法的缺省代码-你对之的理解可以是"如果你不选择支持AddFeedback()，那么你应该提供一种缺省实现。"至于如何选择接口或基类则并非本文的主题；但是，一般说来，你需要通过基类来实现一个缺省的方法。如果你能够简单地勾勒出你的类所要实现的一组期望的功能，那么你也可以使用一个接口。

三、应用多态性设计

我们将继续使用Person基类的例子，现在让我们分析一个非多态性的实现。下列示例中使用了不同类型的Person对象--这是一种非常不理想的编程方式。注意，实际的Person类被省略。目前为止，我们仅关心代码调用的问题。

这个示例展示了行为不同的对象，还有一个switch语句用于区分不同的Person类对象，从而执行其各自相应的正确操作。注意，这里针对不同条件的回馈注释是不同的。在实际应用程序开发中可能不会出现这种情形；我仅为了简单地说明类实现中存在的区别。

下面的一个示例使用了多态性。

注意，这里没有switch语句，而最重要的是，缺乏有关Person::GetPerson()会返回什么类型的对象。而另一个Person::AddFeedback()是一个多态方法。行为完全是由具体类进行封装的。请记住，在此无论我们使用的是David，Charles还是Alejandro，调用代码从不必了解具体类的功能，而仅知道基类就可以了。

尽管我的示例并不完美，但是，从调用代码的角度，它已经展示了多态性的基本用法。现在我们需要分析这些类的内部实现。从一个基类进行派生的一个最伟大的地方在于，该派生类能够存取父类的行为，这种情况常常是缺省的实现，但是也可能出现在类继承链中用于创建更为复杂的行为。下面是这种情况的一个简单展示。

在此，David类中的AddFeedback方法实现中首先调用了Person::AddFeedback方法。你可能注意到，它模仿了C++，Java或C#中的方法重载。请记住，这仅是一个简单化的示例，并且你编写的实际代码完全依赖于你的实际工程。