里式替换LSP和多态区别

142 阅读2分钟

持续创作,加速成长!这是我参与「掘金日新计划 · 10 月更文挑战」的第30天,点击查看活动详情

回顾上文多态介绍,来看里氏替换原则

多态

子类可以替换父类实现。

实现方式:

继承加方法重写;接口类语法,duck-typing方法(动态语言支持,Java是静态语言不支持)

接口类

不同Class实现统一接口不同实现,传入不同的Class调用方法会根据Class类型调用对应的实现

多态是面向对象编程的一大特性,也是面向对象编程语言的一种语法。它是一种代码实现的思路。而里式替换是一种设计原则,是用来指导继承关系中子类该如何设计的,子类的设计要保证在替换父类的时候,不改变原有程序的逻辑以及不破坏原有程序的正确性。


里式替换原则还有另外一个更加能落地、更有指导意义的描述,那就是“Design By Contract”,中文翻译就是 “按照协议来设计”

子类在设计的时候,要遵守父类的行为约定(或者叫协议) 。父类定义了函数的行为约定,那子类可以改变函数的内部实现逻辑,但不能改变函数原有的行为约定。这里的行为约定包括:函数声明要实现的功能;对输入、输出、异常的约定;甚至包括注释中所罗列的任何特殊说明。实际上,定义中父类和子类之间的关系,也可以替换成接口和实现类之间的关系。

违反LSP原则的行为

  1. 子类违背父类声明要实现的功能

  2. 子类违背父类对输入、输出、异常的约定

子类对输入的数据的校验比父类更加严格

  1. 子类违背父类注释中所罗列的任何特殊说明

验证

判断子类的设计实现是否违背里式替换原则,还有一个小窍门,那就是拿父类的单元测试去验证子类的代码。如果某些单元测试运行失败,就有可能说明,子类的设计实现没有完全地遵守父类的约定,子类有可能违背了里式替换原则。