PHP继承当中一种诡异的语法特性——延迟定义

封装、继承和多态，是面向对象的三大特性，其中多态，有人认为在php当中作用不大，原因是php是弱类型语言，并不需要在客户端代码（指的是实例化并且使用类具体对象的代码）当中用父类指针保存子类对象。

 

因此，php当中，多态的更多作用表现在类设计本身。比如，父类当中的某个方法，会调用其另外一个方法：

 

class A

{

    function called()

    {

    }

 

    function call()

    {

        $this->called();

    }

}

 

上述类A，在call方法当中，会调用其另外一个方法，called，如果类B继承了类A，并且类B的called方法被重写，而call方法没有重写，那么在这里，类B的call方法，其实调用的就是类B的called方法。

 

这里实际上的过程就是，一个类B的对象，寻找一个叫call的方法，如果在当前类当中没有找到，会沿着继承树，向上搜索此方法，然后在第一个遇到此方法的类当中，执行。执行过程当中，如果方法本身调用了非私有的非静态方法，或者引用了非私有的非静态变量，也会在最底层的类当中向继承树搜索，然后调用第一个遇到的方法或变量，直至寻找到为止。

 

这个过程大家都很熟悉了，叫做延迟动态绑定，也就是说，你看到的某个类中的某个方法，调用某个动态方法，或者引用某个动态变量，它最终起作用的，并不一定是当前类，而可能是它的子类。

 

后来，php引入了延迟静态绑定，将上述特性加入到静态方法当中，但此特性不会自动生效，必须显示声明，你所调用的静态方法，希望它延迟绑定。（静态变量亦然，都是通过将self改写为static完成的）

 

这里说的是一个诡异的特性，先看一段代码：

class ParentClass
{
    public function b()
    {
        return $this->a();
    }
}
class ChildClass extends ParentClass
{
    public function a()
    {
        echo "Success!";
    }
}

$test = new ChildClass();
$test->b();

 

上述代码，会成功输出"Success!"到屏幕上。但仔细看，会发现，父类的定义其实是有问题的，它只有一个方法，而这个方法居然调用了一个本来没有被定义的方法。

 

我们来解释一下上述代码的执行过程，首先生成了一个子类的实例，然后调用b方法，b方法在子类当中没有被显式定义，因此向上搜索，发现在父类当中定义了b方法，执行之，b方法首先执行了a方法，因此重复上述搜索过程，果然在子类当中找到该方法，输出"Success!"，执行完毕。

 

这个执行过程没有问题，可是父类的定义是明显不符合规范的，因为如果没有子类，这个类的唯一的方法其实是个错误的，得不到执行的。

 

这里涉及到一个搜索问题，父类当中的延迟动态绑定，会从具体实例的最底层类向根部搜索，那么，如果在所有子类的路径当中都找不到这个方法，怎么办？父类本身做最后的防火墙，它必须包含，不管是自己定义，还是由父类的父类定义，都必须有这个被调用的方法。

 

如果没有，那就意味着一种风险，万一子类不提供此方法，也就意味着子类也是个错误的类。所以，可以把要调用的方法声明为abstract，然后强制子类实现。

 

这个例子在正常的设计当中是不会存在的，因为这明显会导致类不可用，而且子类如果不实现特定方法，子类也不可用。而声明为abstract可强制子类实现，那么，子类不定义就会导致错误，父类也没有直接实例化，这些都是非常简单的。这个本身并不会存在的设计，旨在说明一种诡异的语法特性，以及这种特性背后的逻辑。我把这种特性叫做“延迟定义”，对应于“延迟绑定”。