设计原则 - 里氏替换原则

里氏替换原则(Liskov Substitution Principle,LSP)

1.定义一（最正宗的定义）：

• 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 subtype of T.
• 如果对每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1都替换为o2时，程序的行为没有发生变化，那么类型S是类型T的子类型。

2.定义二：

• Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.
• 所有引用基类的地方必须能透明的使用其子类的对象。（通俗点：只要父类出现的地方子类就可以出现，而且替换不会产生任何错误或异常，使用者根本就不需要知道是父类还是子类。反过来就不行了，有子类的地方，父类未必能适应）

里氏替换原则为良好的继承定义了规范：

• 子类必须完全实现父类的方法
• 子类可以有自己的个性
• 覆盖或实现父类的方法时输入参数可以被放大
• 覆写或实现父类的方法时输出结果可以被缩小