LSP定义:
子类对象(object of subtype/derived class)能够替换程序(program)中父类对象(object of base/parent class)出现的任何地方,并且保证原来程序的逻辑行为(behavior)不变及正确性不被破坏。
其实还是对扩展开放,对修改关闭。
LSP与多态的区别?
多态是面向对象编程的一大特性,也是面向对象编程的一种语法,是代码实现的一种思路。
LSP是一种设计原则,用来指导继承关系中子类该如何设计,子类的设计要保证在替换父类的时候,不改变原有程序的逻辑及不破坏原有程序的正确性。
那些代码违背了LSP原则?
1.子类违背父类要实现的功能。
2.子类违背父类对输入输出以及异常的约定。
3.子类违背了父类注释中罗列的任何说明。
总之,子类如何没有按照父类的设计初衷设计,都将违背LSP原则。
子类要按照父类的协议进行设计。
总结:
LSP里式替换原则是用来指导,继承关系中子类该如何设计的一个原则。理解里式替换原则,最核心的就是理解 "design by contract,按照协议来设计”这几个字。父类定义了函数的“约定”(或者叫协议),那子类可以改变函数的内部实现逻辑,但不能改变函数原有的“约定”。这里的约定包括:函数声明要实现的功能;对输入、输出、异常的约定;甚至包括注释中所罗列的任何特殊说明。