里氏替换原则

《设计模式之禅》

里氏替换原则（Liskov Substitution Principle，LSP）

第一种定义，也是最正宗的定义：If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T,the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T.（如果对每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1都替换成o2时，程序P的行为没有发生变化，那么类型S是类型T的子类型。）-----注：我总感觉这句话说反了，不应该是o2替换成o1？？

第二种定义：Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.（所有引用基类的地方必须能透明地使用其子类的对象。）

第二个定义是最清晰明确的，通俗点讲，只要父类能出现的地方子类都可以出现， 而且替换为子类也不会产生任何错误或异常，使用者可能根本就不需要知道是父类还是子类。但是，返过来就不行了，有子类出现的地方，父类未必能适应。

 

里氏替换原则为良好的继承定义了一个规范，一句简单的定义包含了4层含义。

1、子类必须完全实现父类的方法。

2、子类可以有自己的个性

3、覆盖或实现父类的方法时输入参数可以被放大

4、覆写或实现父类的方法时输出结果可以被缩小