LSP即“Liskov替换原则”,它在实现类的复用性的过程中起着重要的作用。
1 LSP的具体实现
(1) 子类型可以增加方法,但不可删。
(2) 子类型需要实现抽象类型(接口、抽象类)中所有未实现的方法。
(3) 子类型中重写的方法必须有相同或子类型的返回值(即协变)。
(4) 子类型中重写的方法必须使用同样类型的参数(即逆变),但是在Java中此种情况目前按照重载overload处理。
(5) 子类型中重写的方法不能抛出额外的异常(即协变)。
2 如何理解LSP
我个人的理解方式是:在编写程序时,你用父类实现了该应用场景下的所有功能,这时候你在遵守LSP原则写一个该类的子类,之后用这个子类替换你前面编写好的程序中的父类,替换完成后程序还是能正常运行的,举个例子来说,如果你没有遵守LSP,在子类中重写方法的返回值不是协变的(假设原来是Car,现在你返回了个Bicycle),那么在后续的调用中很有可能会问题,Car有些方法在Bicycle中肯定是没有,如果你调用了这些没有的方法之后肯定会报错。