Liskov替换原则

一、定义

　　子类型必须能替换掉它们的基类型

二、提取公共部分的方法代替继承

　　如果一组类都支持一个公共的职责，那么它们应该从一个公共的超类继承该职责。 如果公共的超类不存在，那么就创建一个，并把公共的职责放入其中。毕竟，这样一个类的有用性是确定无疑的。 然而稍后对系统的扩展也许会假如一个新的子类，该子类很可能会以新的方式来支持同样的职责。此时，这个新创建的超类可能会会是一个抽象类。

三、结论

　　LSP是使OCP成为可能的主要原则之一。正是子类型的可替换性才能使得使用基类型表示的模块在无需修改的情况下就可以扩展。这种可替换性必须是开发人员可以隐式依赖的。这样，如果没有在代码显式地支持基类型的契约，那么就必须要很好地，广泛地理解这些契约。