六大设计原则-里氏替换原则LSP

    里氏替换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。

    里氏替换原则中说，任何基类可以出现的地方，子类一定可以出现。 LSP是继承复用的基石，只有当衍生类可以替换掉基类，软件单位的功能不受到影响时，基类才能真正被复用，而衍生类也能够在基类的基础上增加新的行为。    

    Liskov于1987年提出了一个关于继承的原则“Inheritance should ensure that any property proved about supertype objects also holds for subtype objects.”——“继承必须确保超类所拥有的性质在子类中仍然成立。”也就是说，当一个子类的实例应该能够替换任何其超类的实例时，它们之间才具有is-A关系。

    该原则称为Liskov Substitution Principle——里氏替换原则。

 

    以上是官方介绍及一些简单解释，下面就着重说下我的一些理解

 

   1. 使用继承时，应当遵循里氏替换原则。

   2. 通俗的讲，子类可以扩展父类的功能，但不能改变父类原有的功能，是OCP的扩展（开闭原则），对扩展开发，对修改关闭。

   3. 子类可以实现父类的抽象，但不能覆盖父类的非抽象方法。

   4. 子类中可以增加自己特有的方法。

   5. 当子类的方法重载父类的方法时，方法的前置条件（即方法的形参）要比父类方法的输入更宽松。

   6. 当子类的方法实现父类的抽象方法时，方法的后置条件（即方法的返回值）要比父类更严格

   

  其实，我在AE240的帧模型设计上，从现在回看来看，完全遵循了历史替换，这是非常成功的，只是在当初我并没有知道这一概念，只是觉得扩展子类应该是开发的，但是不应该修改抽象类的抽象方法，这就是OCP原则，也是直接的体现。可见技术的归途是殊途同归，总归是会回归到大牛们沉淀下来的的思想基础上。