定义 LSP由Barbara Liskov于1987年提出,一般有两种定义方式: 第一种:If for each object O1 of type S there is an object O2 fo type T such that for all programs P defined in terms of T, the behavior of P is unchanged when
通俗地讲,只要父类能出现的地方子类就可以出现,而且替换为子类也不会产生任何错误或异常,使用者可能根本就不需要知道是父类还是子类。但是,反过来就不行了,有子类出现的地方,父类未必应能适应。 里氏替换原则为良好的继承定义了一个规范,一句简单的定义包括了四层含义: 1、子类必须完全实现父类的方法 父类:AbstractGun public abstract class AbstractG
定义 里氏替换原则(Liskov Substitution Principle, LSP)确保继承表现为一种类型扩展而非类型的重定义。具体而言,如果类型 S 是类型 T 的子类型,则类型 T 的对象可以在程序中被类型 S 的对象替换(即,类型 S 的对象可以替代类型 T 的对象),而不改变该程序的期望行为。 应用场景 LSP 应用于任何基于继承的设计中,确保子类的行为符合父类的预期。它是多态