PHP面向对象五大原则之里氏替换原则(LSP)详解

本文实例讲述了PHP面向对象五大原则之里氏替换原则(LSP)。分享给大家供大家参考，具体如下：

替换原则由MIT计算机科学实验室的Liskov女士在1987年的OOPSLA大会上的一篇文章中提出，主要阐述有关继承的一些原则，故称里氏替换原则。

2002年，Robert C.Martin出版了一本名为《Agile Software Development Principles Patterns and Practices》的书，在书中他把里氏替换原则最终简化成一句话：“Subtypes must be substitutable for their base types”（子类必须能够替换成它们的基类。）

LSP指出：子类类型必须能够替换掉它们的父类型、并出现在父类能够出现的任何地方。它指导我们如何正确地进行继承和派生，并合理地重用代码。此原则认为，一个软件实体如果使用一个基类的话，那么一定适用于其子类，而且这根本不能察觉出基类对象和子类对象的区别。想一想，是不是和多态的概念比较像？

这就是LS/

/P所要解决的问题：

如何正确地进行继承方面的设计？

最佳的继承层次如何获得？

怎么样避免所设计的类层次陷入不符合OCP原则的状况？

那如何遵守该设计原则呢？

1）父类的方法都要在子类中实现或者重写，并且派生类只实现其抽象类中声明的方法，而不应当给出多余的方法定义或实现

2）在客户端程序中只应该使用父类对象而不应当直接使用子类对象，这样可以实现运行期绑定（动态多态）。

如果A、B两个类违反了LSP的设计，通常的做法是创建一个新的抽象类C，作为两个具体类的超类，奖A和B的共同行为移动到C中，从而解决A和B的行为不完全一致的问题。

不过PHP对LSP的支持并不好，缺乏向上转型等概念，只能通过一些曲折的方法实现。对于这个原则，这里就不细讲了。

下面给出一个缓存的实现接口，用抽象类做基类，遵循LSP实现其设计。

<?php

abstract class Cache

{

/**

public abstract function set($key, $value, $expire = 60);

/**

public abstract function get($key);

/**

public abstract function del($key);

/**

public abstract function delAll();

/**

public abstract function has($key);

}

如果现在要求实现文件、memcache、accelerator等各种机制下的缓存，只需要继承这个抽象类并实现其抽象方法即可。

LSP中代码的不仅仅是功能，还名手语意。试思考：白马可以代换马，而牛同样作为劳动力，可代换马否？高跟鞋也是鞋子，男人穿高跟鞋又是否能接受？

希望本文所述对大家PHP程序设计有所帮助。