Liskov Substitution Principle

Liskov Substitution Principle简称LSP，是里氏代换原则。

由美国第一位计算机科学方向的女博士，2008年图灵奖获得者——Barbara Liskov提出，是面向对象最重要的几大原则之一。

它规定制约了一个类的子类型。其在编程语言中，主要依靠以下约束：

1.子类型的前置条件不能强化

2.子类型的后置条件不能弱化

3.不变量要保持

4.子类型方法的参数：逆变

5.子类型方法的返回值：协变

6.异常类型：协变

由此可知上图中Square不是Rectangle满足LSP的子类。

其中要注意到Java不支持逆变，会将其看作重载。

Liskov Substitution Principle相关推荐

软件设计原则（三）里氏替换原则 -Liskov Substitution Principle
里氏代换原则(Liskov Substitution Principle LSP)面向对象设计的基本原则之一. 里氏代换原则中说,任何基类可以出现的地方,子类一定可以出现. LSP是继承复用的基石,只 ...
北风设计模式课程---里氏替换原则（Liskov Substitution Principle）
北风设计模式课程---里氏替换原则(Liskov Substitution Principle) 一.总结一句话总结: 当衍生类能够完全替代它们的基类时:(Liskov Substitution P ...
里氏代换原则（Liskov Substitution Principle, LSP）
里氏代换原则 (Liskov Substitution Principle, LSP) 定义严格表达: 如果对每一个类型为T1的对象O1,都有类型为T2的对象O2,使得以T1定义的所有程序P在所有的对 ...
里氏代换原则(The Liskov Substitution Principle)
里氏代换原则由Barbara Liskov于1988年提出,它最开始的定义如下: If for each object o1 of type S there is an object o2 of ty ...
Java设计模式之里氏替换原则(Liskov Substitution principle)
2019独角兽企业重金招聘Python工程师标准>>> Java是面向对象的语言,那么什么是面向对象程序设计呢? 面向对象程序设计(英语:Object-oriented progra ...
Liskov替换原则（Liskov Substitution principle）
1 定义子类型(subtype)必须能够替换掉他们的基类型(base type).Barbara Liskov首次写下这个原则是在1988年.她说道: 这里需要如下替换性质:若对每个类型 ...
里氏替换原则（Liskov Substitution Principle，LSP）
昨天图文介绍了软件设计的一个基本原则"开闭原则",而"开闭原则"的核心就是通过抽象把需求变化进行隔离,这种想法可以通过"里氏替换原则"进行保 ...
深入浅出设计模式原则之里氏代换原则（Liskov Substitution Principle）
下面以"几维鸟不是鸟"为例来说明里氏替换原则(程序源码). #include <QCoreApplication> #include <iostream>/ ...
里氏代换原则（Liskov Substitution Principle）
作用它指导我们如何正确地进行继承与派生,并合理地重用代码! 定义子类型必须能够替换掉它们的父类型.并出现在父类能够出现的任何地方. 这个就是尽量用多态的方法编程,也就是GRASP模式中的多态. 如 ...
ABAP设计模式之---“里氏替换原则(Liskov Substitution Principle)”
1. 定义子类型必须能够替换掉他们的父类型. 2. 解读子类可以扩展父类的功能,但不能改变父类原有的功能.也即: a) 子类可以实现父类的抽象方法,但不能覆盖/重写父类的的非抽象方法 b) 子类可 ...

Liskov Substitution Principle

Liskov Substitution Principle相关推荐

最新文章

热门文章