里氏替换原则(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原则,也是直接的体现。可见技术的归途是殊途同归,总归是会回归到大牛们沉淀下来的的思想基础上。