里氏替换原则 Liskov Substitution Principle

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 的子类型。

 

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.覆盖或实现父类的方法时输出结果可以被缩小.

 

注意

在项目中,采用里氏替换原则时,尽量避免子类的"个性",一旦子类有"个性",这个子类和父类之间的关系就很难调和了,把子类当父类使用,子类的"个性"被抹杀--委屈了点;把子类单独作为一个业务来使用,则会让代码间的耦合关系变得扑朔迷离--缺乏类替换的标准.