The Liskov Substitution Principle

最新推荐文章于 2025-01-09 23:54:27 发布
最新推荐文章于 2025-01-09 23:54:27 发布
阅读量340 收藏 1
点赞数
分类专栏： 软件构造
本文深入探讨了Liskov替换原则（LSP），强调了子类型必须能够替换其基类型，而无需客户端了解差异。文章详细解释了前置条件、后置条件、不变量、方法参数和返回值在继承中的应用，确保派生类能够通过基类接口正确使用。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

liscov替换原则（The Liskov Substitution Principle）
子类型必须能够替换其基类型
派生类必须能够通过其基类型的接口使用，客户端无需了解二者之间的差异

子类型中的前置条件不能加强

指的就是函数的参数的给定范围不能变小

子类型中后置条件不能变弱

函数的返回值的给定范围不能变大

父类的不变量必须在子类中也满足

compiler编译器决定的

子类型方法参数，逆变

子类型的方法参数可以变得更抽象（父类）

子类型方法返回值，协变

子类型的方法返回值可以变得更具体（子类）

子类型中的方法不应该抛出新的异常，除非这些异常本来就是父类抛出的异常

在这里插入图片描述

源码分析七大设计原则之里氏替换原则（Liskov Substitution Principle）
用善良的眼光看世界
12-15 361
一、里氏替换原则（Liskov Substitution Principle） 定义：子类型必须能够替换掉它们的父类型。一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，且它察觉不出父类对象和子类对象的区别。也就是说，子类对象可以随时随地的替换父类对象，并且替换完以后，语法不会报错，业务逻辑不会出现问题。 只有当子类可以替换掉父类，软件功能不受影响时，父类才能真正被复用，而子类也能够在父类的基础上增加新的行为，正是有里氏代换原则，使得继承复用成为了可能。也正是由于子类型的可替换性才使得使用父类类型
Java七大设计原则 - 里氏替换原则 （Liskov Substitution Principle）
12-26 537
里氏代换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。里氏代换原则中说，任何基类可以出现的地方，子类一定可以出现。LSP是继承复用的基石，只有当衍生类可以替换掉基类，软件单位的功能不受到影响时，基类才能真正被复用，而衍生类也能够在基类的基础上增加新的行为。- 任何基类出现的地方、子类一定可以出现- 在程序中尽量使用基类的类型来 定义对象、在运行时确认子类子类，用子类对象替换父类对象实现“开-闭”原则的关键步骤就是抽象化。
Liskov Substitution Principle
Closed
03-08 1614
Liskov Substitution Principle, 由Barbara Liskov 和 Jeannette Wing在93年提出，其原文为：“Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a sub
Liskov substitution principle （里氏替換原則）
Jeff_的博客
04-23 705
文章目录背景Tom's Penguin Problem 背景 可替代性是面向对象程序设计中的一项原则，其指出在计算机程序中，如果S是T的子类型，则类型T的对象可以用类型S的对象替换 （即类型T的对象可以用子类型S的任何对象替换 (i.e.向上转型)）而不更改程序的任何期望属性（正确性，任务执行等）。 更正式地讲，Liskov替换原理（LSP）是子类型关系的特定定义，称为（强）行为子类型化，最初是由...
Liskov替换原则（Liskov Substitution principle）
一朝风月
12-17 3164
子类型（subtype）必须能够替换掉他们的基类型（base type）如果一个类承担的职责过多，就等于把这些职责耦合在了一起。一个职责的变化可能会削弱或者抑制这个类完成其他职责的能力。这种耦合会导致脆弱的（fragile）设计。当一个职责发生变化时，可能会影响其它的职责。另外，多个职责耦合在一起，会影响复用性。例如：要实现逻辑和界面的分离。...
设计模式之 里氏替换原则（Liskov Substitution Principle）
孙青云的博客
01-23 488
里氏替换原则（Liskov Substitution Principle） 肯定有不少人跟我刚看到这项原则的时候一样，对这个原则的名字充满疑惑。其实原因就是这项原则最早是在1988年，由麻省理工学院的一位姓里的女士（Barbara Liskov）提出来的。 定义1：如果对每一个类型为 T1的对象o1，都有类型为 T2 的对象o2，使得以T1定义的所有程序 P 在所有的对象 o1 都代换成o2
里氏替换原则 (Liskov Substitution Principle)
weixin_43771403的博客
07-08 547
里氏替换原则 (Liskov Substitution Principle) 定义：派生类（子类）对象可以在程序中代替其基类（超类）对象 简单的理解为一个软件实体如果使用的是一个父类，那么一定适用于其子类，而且它察觉不出父类对象和子类对象的区别。也就是说，软件里面，把父类都替换成它的子类，程序的行为没有变化。 主要体现在下面四个方面： 子类必须实现父类的抽象方法，但不得重写（覆盖）父类的非抽象（已实现）方法。 子类中可以增加自己特有的方法。 当子类覆盖或实现父类的方法时，方法的前置条件（即方法的形参）
liskov substitution principle
04-06
Liskov替换原则（Liskov Substitution Principle）是一种面向对象的编程原则，指出子类型必须能够替换掉它们的基类型，而程序的正确性不受影响。这意味着对象必须具有其基类型的所有属性和功能，同时可以实现它自己...
SOLID - Liskov替换原则（Liskov Substitution Principle）
2404_88048702的博客
10-23 912
在软件设计领域，SOLID原则中的"L"代表Liskov替换原则（Liskov Substitution Principle, 简称LSP）。Liskov替换原则由计算机科学家Barbara Liskov在她关于数据抽象和类型理论的工作中提出，是面向对象编程中的一项核心原则。（英语：Barbara Liskov，1939年11月7日—），本名芭芭拉·简·休伯曼（英语：Barbara Jane Huberman）。美国计算机科学家，2008年得主，2004年得主。现任电子电气与计算机科学系教授。
SOLID原则学习，里氏替换原则（Liskov Substitution Principle, LSP）
最新发布
汽车电子软件领域知识分享
01-09 1115
里氏替换原则的核心是确保子类可以完全替换父类而不影响程序的正确性。通过合理设计类的继承关系，避免子类修改父类的行为，可以提高代码的可维护性和可扩展性。在实际开发中，如果发现子类无法完全替换父类，可能需要重新审视类的设计，考虑使用组合或其他设计模式来解决问题。
里氏替换原则（Liskov Substitution Principle）
aijianxie8808的博客
06-18 276
开放封闭原则（Open Closed Principle）是构建可维护性和可重用性代码的基础。它强调设计良好的代码可以不通过修改而扩展，新的功能通过添加新的代码来实现，而不需要更改已有的可工作的代码。抽象（Abstraction）和多态（Polymorphism）是实现这一原则的主要机制，而继承（Inheritance）则是实现抽象和多态的主要方法。 那么是什么设计规则在保证对继承的使...
Liskov Substitution Principle (LSP)与子类型多态
qq_38969070的博客
06-18 639
1.    子类型多态：    客户端可用统一的方式处理同类型的对象     2.    LSP:例如：    （1）java编译器的规则（静态类型检查）：    a.    子类型可以增加方法，但不可删     b.    子类型需要实现抽象类型中的所有未实现方法    c.    子类型中重写的方法必须有相同或子类型的返回值     d.    子类型中重写的方法必须使用同样类型的参数    ...
替换原则（LSP - Liskov Substitution Principle）
鸿博客
11-01 1409
如何设计最佳的继承层次？  怎样避免类层次结构不符合OCP ？ 答案就是替换原则（LSP）： 子类型必须能够替换调它们的基类型。 代码违反LSP原则的明显特征： 使用if 或 if/else 去确定一个对象的类型，从而选择执行对应的行为。 更微妙的违规： 正方形（Square）和矩形（Rectangle）的例子。 让正方形继承矩形，并重写矩形的setWidth（width=
里氏替换原则（LSP: The Liskov Substitution Principle）--协变与反协变
llllllx0818的博客
06-13 242
LSP要求：所有父类出现的地方，都要求可以使用子类进行代换，且不能出现异常。
LSP The The Liskov Substitution Principle（里氏代换原则）
nodeathphoenix的专栏
11-21 885
1 什么是里氏代换原则     里氏代换原则是由麻省理工学院（MIT）计算机科学实验室的Liskov女士，在1987年的OOPSLA大会上发表的一篇文章《Data Abstraction and Hierarchy》里面提出来的，主要阐述了有关继承的一些原则，也就是什么时候应该使用继承，什么时候不应该使用继承，以及其中的蕴涵的原理。2002年，我们前面单一职责原则中提到的软件工程大师Ro
LSP The The Liskov Substitution Principle
sophia_sy的专栏
01-17 884
转载： http://blog.youkuaiyun.com/robinvane/ LSP The The Liskov Substitution PrincipleOCP原则背后的主要机制是抽象和多态。支持抽象和多态的关键机制是继承。 LSP的定义若对于每一个类型P的对象p1，都存在一个类型C的对象c1，使得在所有针对C编写的程序P中，用p1替换c1后，程序P的行为功能不变，则C是P的子类型。LSP
liscov替换原则
陈泊舟的博客
06-11 4096
子类型中的前置条件不能加强 子类型中后置条件不能变弱 父类的不变量必须保存在子类中 子类型方法参数，逆变 子类型方法返回值，协变 子类型中的方法不应该抛出新的异常，除非这些异常本来就是父类抛出的异常 ...
【LSP简史】里氏替换原则表述方式的变化，从学术到「人话」
Abracadabra的专栏
05-24 457
用不同的方式解释同一个事情，会理解的更深刻。
面向对象设计原则
^菜鸟^
07-26 525
网上看到对许多对面向对象设计原则的总结，有五大原则的，也有六大原则的，甚至还有更多的。于是我个人也学习了一下，可能是自己各方面的知识还比较贫瘠，感觉理解起来并没有想象的那么容易，自己也学着总结归纳了一下，来加深自己的印象，也能更好提升自己对面向对象更深层次的理解。 　　我这里用了最常用的五大原则 　　S  = 单一责任原则 　　O = 开闭原则 　　L  = Liscov替换原则 　　I  =...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值