`

Liskov substitution principle (里氏替换原则)

 
阅读更多

In object-oriented programming, the Liskov substitution principle is a particular definition of subtype that was introduced by Barbara Liskov in a 1987 conference keynote address entitled Data abstraction and hierarchy.

Liskov formulated the principle succinctly in a subsequent paper as follows:

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 subtype of T.

Thus, Liskov's notion of "subtype" defines the notion of substitutability; that is, if S is a subtype of T, then objects of type T in a program may be replaced with objects of type S without altering any of the desirable properties of that program (e.g., correctness).

http://en.wikipedia.org/wiki/Liskov_substitution_principle

分享到:
评论

相关推荐

    里氏替换原则Demo

    里氏替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的基本原则之一,它是由美国计算机科学家芭芭拉·里科夫(Barbara Liskov)提出的。这个原则强调的是在软件工程中,子类型必须能够替换它们的...

    OOD面试应对方法 SOLID原则.mp4

    应届生及亚马逊面试必考,IT求职必备基础。...L - Liskov substitution principle 里氏替换原则 I - Interface segregation principle 接口分离原则 D - Dependency Inversion Principle 依赖反转原则

    里氏替换原则精讲

    里氏替换原则(Liskov Substitution Principle, LSP),是由麻省理工学院计算机科学实验室的芭芭拉·里斯科夫(Barbara Liskov)教授在1987年的OOPSLA大会上发表的文章《Data Abstraction and Hierarchy》中首次提出...

    里氏代换原则案例程序LSP.zip

    里氏代换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的基本原则之一,由芭芭拉·里科夫(Barbara Liskov)在1988年提出。该原则规定,子类必须能够替换它们的基类,并且在软件系统中不会产生任何...

    OO设计原则-里氏替换原则

    其中,里氏替换原则(Liskov Substitution Principle, LSP)是一项非常重要的原则,它确保了子类可以替换其基类而不破坏程序的正确性。本文将深入探讨里氏替换原则的核心概念及其应用场景,帮助读者理解这一原则的...

    13丨软件设计的里氏替换原则:正方形可以继承长方形吗?.pdf

    里氏替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的基本原则之一,由Barbara Liskov在1988年提出。该原则指出,子类型必须能够替换它们的基类型而不影响程序的正确性。这意味着在软件系统中,...

    Substitution principle

    里氏替换原则(Liskov Substitution Principle, LSP)是面向对象编程设计的基本原则之一,由美国计算机科学家芭芭拉·利斯科夫(Barbara Liskov)于1987年提出。该原则强调了继承在设计类层次结构时的重要性与正确性...

    深入理解JavaScript系列(8) S.O.L.I.D五大原则之里氏替换原则LSP

    前言 本章我们要讲解的是S.O.L.I.D五大原则JavaScript语言实现的第3篇,里氏替换原则LSP(The Liskov Substitution Principle )。 英文原文:...

    java的里氏代换原则

    简单来说,里氏代换原则(LSP,Liskov Substitution Principle)指的是在软件工程中,任何引用基类的地方都能被其子类替代,而不会改变程序原有的行为。这意味着子类应该能够完全无缝地替换掉基类,使得系统在使用...

    Java_面向对象设计原则总结

    2 里氏替换原则-Liskov Substitution Principle (LSP) 3 接口分隔原则-Interface Segregation Principle (ISP) 4 单一职责原则-Single Responsibility Principle (SRP) 5 开闭原则-The Open-Closed ...

    7里氏替换原则-课程内容.rar

    里氏替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的基本原则之一,由美国计算机科学家Barbara Liskov在1988年提出。这一原则是类型继承概念的重要基石,它规定了子类型必须能够替换掉它们的基...

    24种设计模式C#版

    2、里氏替换原则【LISKOV SUBSTITUTION PRINCIPLE】:继承与派生的规则.(子类可替换父类) 3、依赖倒转原则【DEPENDENCE INVERSION PRINCIPLE】:高层模块不应该依赖低层模块,二者都应该依赖其抽象;抽象不应该...

    PHP面向对象之里氏替换原则简单示例

    里氏替换原则(Liskov Substitution Principle,LSP),是面向对象设计中的一个原则,由芭芭拉·利斯科夫在1988年提出。该原则强调的是子类应该能够替换掉它们的父类,并且不改变程序的正确性。下面我们将详细介绍...

    面向对象七大原则

    6. 里氏替换原则(Liskov Substitution Principle) 里氏替换原则是指子类可以替换父类。里氏替换原则可以使代码更灵活、更易维护。 7. 组合优于继承原则(Composition Over Inheritance Principle) 组合优于...

    举例解析Java的设计模式编程中里氏替换原则的意义

    里氏替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的基本原则之一,它在Java设计模式中占据重要地位。该原则由Barbara Liskov于1987年提出,旨在保证软件设计的灵活性和可扩展性。它的核心思想...

    设计模式总结

    里氏替换原则(Liskov Substitution Principle,LSP) 只要父类出现的地方都可以用子类替换。 依赖倒置原则(Dependece Inversion Principle,DIP) 面向接口编程。细节应该依赖抽象。 依赖可以传递。 依赖有三...

    Java23种基本的设计模式整料整理学习源码示例zip

    里氏代换原则(Liskov Substitution Principle) 里氏代换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一。 里氏代换原则中说,任何基类可以出现的地方,子类一定可以出现。 LSP是继承复用的...

    PHP面向对象五大原则之里氏替换原则(LSP)详解

    里氏替换原则(Liskov Substitution Principle,简称LSP)是面向对象设计的五大原则之一。这一原则最早由Barbara Liskov在1987年提出,并由Robert C. Martin在后续的软件开发著作中进一步阐述。LSP的主要思想可以...

    深入理解JavaScript系列(6):S.O.L.I.D五大原则之单一职责SRP

    用来更好地进行面向对象编程,五大原则分别是: The Single Responsibility Principle(单一职责SRP) The Open/Closed Principle(开闭原则OCP) The Liskov Substitution Principle(里氏替换原则LSP) ...

Global site tag (gtag.js) - Google Analytics