设计模式之美
王争
前 Google 工程师,《数据结构与算法之美》专栏作者
123425 人已学习
新⼈⾸单¥98
登录后,你可以任选6讲全文学习
课程目录
已完结/共 113 讲
设计模式与范式:行为型 (18讲)
设计模式之美
15
15
1.0x
00:00/00:00
登录|注册

17 | 理论三:里式替换(LSP)跟多态有何区别?哪些代码违背了LSP?

课堂讨论
意义
违反LSP的情况
多态与LSP
定义
基本概念
里式替换原则

该思维导图由 AI 生成,仅供参考

在上两节课中,我们学习了 SOLID 原则中的单一职责原则和开闭原则,这两个原则都比较重要,想要灵活应用也比较难,需要你在实践中多加练习、多加体会。今天,我们再来学习 SOLID 中的“L”对应的原则:里式替换原则。
整体上来讲,这个设计原则是比较简单、容易理解和掌握的。今天我主要通过几个反例,带你看看,哪些代码是违反里式替换原则的?我们该如何将它们改造成满足里式替换原则?除此之外,这条原则从定义上看起来,跟我们之前讲过的“多态”有点类似。所以,我今天也会讲一下,它跟多态的区别。
话不多说,让我们正式开始今天的学习吧!

如何理解“里式替换原则”?

里式替换原则的英文翻译是:Liskov Substitution Principle,缩写为 LSP。这个原则最早是在 1986 年由 Barbara Liskov 提出,他是这么描述这条原则的:
If S is a subtype of T, then objects of type T may be replaced with objects of type S, without breaking the program。
在 1996 年,Robert Martin 在他的 SOLID 原则中,重新描述了这个原则,英文原话是这样的:
确认放弃笔记?
放弃后所记笔记将不保留。
新功能上线,你的历史笔记已初始化为私密笔记,是否一键批量公开?
批量公开的笔记不会为你同步至部落
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线
笔记
复制
AI
  • 深入了解
  • 翻译
    • 英语
    • 中文简体
    • 中文繁体
    • 法语
    • 德语
    • 日语
    • 韩语
    • 俄语
    • 西班牙语
    • 阿拉伯语
  • 解释
  • 总结

Liskov替换原则(Liskov Substitution Principle,LSP)是SOLID原则中的重要原则之一,用于指导面向对象设计中的继承关系。该原则强调子类在替换父类时,应保持原有程序的逻辑行为不变及正确性不被破坏。文章通过实例和描述详细解释了LSP的概念和应用,并指出了几种违反LSP的代码情况。此外,文章还强调了“Design By Contract”概念,强调子类在设计时要遵守父类的行为约定。理解LSP的核心在于理解“按照协议来设计”,即父类定义了函数的“约定”,子类可以改变函数的内部实现逻辑,但不能改变函数原有的“约定”。同时,文章还掏出了LSP与多态的区别,强调LSP是一种设计原则,而多态是一种代码实现的思路。总之,LSP的存在意义在于指导继承关系中子类的设计,确保替换父类时不改变原有程序的逻辑及不破坏原有程序的正确性。

仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《设计模式之美》
新⼈⾸单¥98
立即购买
登录 后留言

全部留言(332)

  • 最新
  • 精选
  • 年轻的我们
    个人理解里氏替换就是子类完美继承父类的设计初衷,并做了增强对吗

    作者回复: 理解的没错

    2019-12-13
    19
    308
  • 狼行天下
    LSP 规定子类替换父类,不能改变父类的输入、输出、异常等约定 常见的反例类型包括:1、子类违背父类声明要实现的功能。2、子类改变父类的输入、输出、异常等约定。3、子类违背父类注释中所罗列的特殊说明

    作者回复: 嗯嗯 ������

    2020-11-24
    2
  • Latte
    第一遍学完这节课,我的问题就是里式替换存在的意义是为啥哈哈哈哈

    作者回复: 我自己觉得意义也不大 你可以看下我文章里的说明😂

    2019-12-12
  • Chen
    135看设计模式,246看数据结构与算法。争哥大法好
    2019-12-11
    12
    214
  • 辣么大
    LSP的意义: 一、改进已有实现。例如程序最开始实现时采用了低效的排序算法,改进时使用LSP实现更高效的排序算法。 二、指导程序开发。告诉我们如何组织类和子类(subtype),子类的方法(非私有方法)要符合contract。 三、改进抽象设计。如果一个子类中的实现违反了LSP,那么是不是考虑抽象或者设计出了问题。 补充: Liskov是美国历史上第一个女计算机博士,曾获得过图灵奖。 In 1968 she became one of the first women in the United States to be awarded a Ph.D from a computer science department when she was awarded her degree from Stanford University. At Stanford she worked with John McCarthy and was supported to work in artificial intelligence. https://en.wikipedia.org/wiki/Barbara_Liskov
    2019-12-11
    13
    174
  • 任鹏斌
    里氏替换就是说父亲能干的事儿子也别挑,该怎么干就怎么干,儿子可以比父亲更有能力,但传统不能变
    2019-12-11
    1
    147
  • 失火的夏天
    里氏替换最终一句话还是对扩展开放,对修改关闭,不能改变父类的入参,返回,但是子类可以自己扩展方法中的逻辑。父类方法名很明显限定了逻辑内容,比如按金额排序这种,子类就不要去重写金额排序,改成日期排序之类的,而应该抽出一个排序方法,然后再写一个获取排序的方法,父类获取排序调用金额排序,子类就重写调用排序方法,获取日期排序。 个人感觉也是为了避免“二意性”,这里是只父类的逻辑和子类逻辑差别太多,读代码的人会感觉模棱两可,父类一套,子类一套,到底应该读哪种。感觉会混乱。 总之就是,子类的重写最好是扩展父类,而不要修改父类。
    2019-12-11
    7
    106
  • Jxin
    里式替换是细力度的开闭原则。这个准则应用的场景,往往是在方法功能的调整上,要达到的效果是:该方法对已经调用的代码的效果不变,并能支撑新的功能或提供更好的性能。换句话说,就是在保证兼容的前提条件下做扩展和调整。 spring对里式替换贯彻得不错,从1.x到4.x能看到大部分代码都坚强的保留着兼容性。 但springboot就有点跳脱了,1.x小版本就会有违背里式替换的破坏性升级。1.x到2.x更是出现跳票重灾的情况。带来的损失相信做过springboot版本升级的人都很有感触,而这份损失也表达出坚守里式替换原则的重要性。不过,既然springboot会违背经营多年的原则(向下兼容),那么绝非空穴来风,相信在他们看来,违背里式替换做的升级,带来的价值能够盖过损失。所以我觉得里式替换依旧是个权衡项,在日常开发中我们要坚守,但当发现不合理,比如设计缺陷或则业务场景质变时,做破坏性改造也意味着即使止损,是一个可选项。
    2019-12-11
    3
    59
  • Kevinlvlc
    我觉得可以从两个角度谈里式替换原则的意义。 首先,从接口或父类的角度出发,顶层的接口/父类要设计的足够通用,并且可扩展,不要为子类或实现类指定实现逻辑,尽量只定义接口规范以及必要的通用性逻辑,这样实现类就可以根据具体场景选择具体实现逻辑而不必担心破坏顶层的接口规范。 从子类或实现类角度出发,底层实现不应该轻易破坏顶层规定的接口规范或通用逻辑,也不应该随意添加不属于这个类要实现的功能接口,这样接口的外部使用者可以不必关心具体实现,安全的替换任意实现类,同时内部各个不同子类既可以根据不同场景做各自的扩展,又不破坏顶层的设计,从维护性和扩展性来说都能得到保证
    2019-12-11
    52
  • 时光勿念
    呃,我不知道这样理解对不对。 多态是一种特性、能力,里氏替换是一种原则、约定。 虽然多态和里氏替换不是一回事,但是里氏替换这个原则 需要 多态这种能力 才能实现。 里氏替换最重要的就是替换之后原本的功能一点不能少。
    2019-12-11
    4
    38
收起评论
显示
设置
留言
99+
收藏
沉浸
阅读
分享
手机端
快捷键
回顶部