PHP到底有没有多态?若没有,则为什么没有?有的话,和其他语言中的多态又有什么区别?

143 阅读2分钟

多态确切的含义是:同一类的对象收到相同消息时,会得到不同的结果。而这个消息是不可预测的。多态,顾名思义,就是多种状态,也就是多种结果。

以Java为例,由于Java是强类型语言,因此变量和函数返回值是有状态的。比如,实现一个add函数的功能,其参数可能是两个int型整数,也可能是两个float型浮点数,而返回值可能是整型或者浮点型。在这种情况下, add函数是有状态的,它有多种可能的运行结果。在实际使用时,编译器会自动匹配适合的那个函数。这属于函数重载的概念。需要说明的是,重载并不是面向对象里的东西,和多态也不是一个概念,它属于多态的一种表现形式。

多态性是一种通过多种状态或阶段描述相同对象的编程方式。它的真正意义在于:实际开发中,只要关心一个接口或基类的编程,而不必关心一个对象所属于的具体类。

很多地方会看到“PHP没有多态”这种说法。事实上,不是它没有,而是它本来就是多态的。PHP作为一门脚本语言,自身就是多态的,所以在语言这个级别上,不谈PHP的多态。在PHP官方手册也找不到对多态的详细描述。

既然说PHP没有多态这个概念(实际上是不需要多态这个概念),那为什么又要讲多态呢?

同来调用其同名方法,得出不同结果,这是多态吗?如果站在C++角度,这不是多态,这只是不同类对象的不同表现而已。C++里的多态指运行时对象的具体化,指同一类对象调用相同的方法而返回不同的结果。

由于PHP是弱类型的,并且也没有对象转型机制,所以不能像C++或者Java那样实现father $pf=new son;把派生类对象赋给基类对象,然后在调用函数时动态改变其指向。在PHP的例子中,对象都是确定的,是不同类的对象。所以,从这个角度讲,这还不是真正的多态。

区别是否是多态的关键在于看对象是否属于同一类型。如果把它们看做同一种类型,调用相同的函数,返回了不同的结果,那么它就是多态;否则,不能称其为多态。由此可见,弱类型的PHP里多态和传统强类型语言里的多态在实现和概念上是有一些区别的,而且弱类型语言实现起多态来会更简单,更灵活。