前言
今天学习了几种面向对象的设计原则,记录一下影响深远的LSP
一、LSP是什么?
里氏代换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。 里氏代换原则中说,任何基类可以出现的地方,子类一定可以出现。 LSP是继承复用的基石,只有当衍生类可以替换掉基类,软件单位的功能不受到影响时,基类才能真正被复用,而衍生类也能够在基类的基础上增加新的行为。里氏代换原则是对“开-闭”原则的补充。实现“开-闭”原则的关键步骤就是抽象化。而基类与子类的继承关系就是抽象化的具体实现,所以里氏代换原则是对实现抽象化的具体步骤的规范。(来自百度百科)
二、如何满足该原则
1.更弱的前置条件
子类型重写的方法必须使用同样类型的参数或者符合反协变的参数
如父类型的方法需要的参数为int,那么子类型需要的参数就要为int或者泛型
2.更强的后置条件
子类型重写的方法必须有相同类型返回值或者符合协变的类型的返回值
如父类型的方法的返回值为泛型,那么子类型的返回值应该为泛型或具体的int或是其余类型
3.更强的不变量
总结
学习了LSP原则,在具体操作中主要是对于子类对父类的继承用到