第一种定义:
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 uchanged when o1 is substituted for o2 then S is a subtype of T.
第二种定义:
Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.
上述定义包含的含义:
- 子类必须完全实现父类的方法
- 子类可以有自己的个性
尽量避免子类的个性,一旦子类有自己的个性,子类和父类之间的关系很难调 和,把子类当做父类用子类的个性被抹杀,把子类单独当做一个业务来用,则会让代码间的耦合关系变得扑所迷离,缺乏类替换的标准 - 覆盖或实现父类的方法时输入参数可以被放大
子类覆盖父类的方法时,输入参数是相同的。而子类重载父类时,则要求子类输入参数范围大于父类参数,这样才能保证父类和子类同时出现时,父类是可以被调用的,子类是永远都不会被执行的,如果想要执行子类的方法,就请覆盖父类方法。如果子类输入参数是小于父类输入参数范围的,则会出现子类在没有覆盖父类的方法的前提下,子类方法被执行了。这会引起业务逻辑混乱。实际应用中父类一般是抽象类,子类是实现类,传递一个违背里式替换原则的实现类会歪曲了父类的意图。 - 覆盖或实现父类的方法时输出结果可以被缩小