`
lijuanabc
  • 浏览: 125878 次
社区版块
存档分类
最新评论

OO设计原则 OO设计的LSP里氏替换原则

 
阅读更多

概要

Functions that use pointers or references to base classesmust be able to use objects of derived classes without knowing it.

所有引用基类的地方必须能透明地使用其子类的对象。

即:

◇ 所以使用基类代码的地方,用派生类代码替换后,能够正确的执行动作处理。

◇ 换句话说,如果派生类替换了基类后,不能够正确执行动作,那么他们的继承关系就应该废除。

换个说法,只有满足以下2个条件的OO设计才可被认为是满足了LSP原则:

◇ 不应该在代码中出现if/else之类对子类类型进行判断的条件。以下代码就违反了LSP定义。

view plaincopy to clipboardprint?

01.if (obj typeof Class1) {

02. do something

03.} else if (obj typeof Class2) {

04. do something else

05.}

if (obj typeof Class1) {

do something

} else if (obj typeof Class2) {

do something else

}

◇ 子类应当可以替换父类并出现在父类能够出现的任何地方,

或者说如果我们把代码中使用基类的地方用它的子类所代替,代码还能正常工作。

里氏替换原则LSP是使代码符合开闭原则的一个重要保证。同时LSP体现了:

◇ 类的继承原则:如果一个继承类的对象可能会在基类出现的地方出现运行错误,

则该子类不应该从该基类继承,或者说,应该重新设计它们之间的关系。

◇ 动作正确性保证:从另一个侧面上保证了符合LSP设计原则的类的扩展不会给已有的系统引入新的错误。

类的继承原则:

Robert C. Martin氏在介绍Liskov Substitution Principle (LSP)的原文里,举了RectangleSquare的例子。

这里沿用这个例子,但用Java语言对其加以重写,并忽略了某些细节只列出下面的精要

部分来说明里氏替换原则对类的继承上的约束。

view plaincopy to clipboardprint?

01.//代码:

02.

03.class Rectangle {

04. double width;

05. doubleheight;

06.

07.

08. public double getHeight() {

09. returnheight;

10. }

11. public void setHeight(doubleheight) {

12. this.height = height;

13. }

14. public double getWidth() {

15. returnwidth;

16. }

17. public void setWidth(doublewidth) {

18. this.width = width;

19. }

20.}

21.

22.class Square extends Rectangle {

23. public void setHeight(doubleheight) {

24. super.setHeight(height);

25. super.setWidth(height);

26. }

27.

28. public void setWidth(doublewidth) {

29. super.setHeight(width);

30. super.setWidth(width);

31. }

32.}

//代码:

class Rectangle {

double width;

doubleheight;

public double getHeight() {

returnheight;

}

public void setHeight(doubleheight) {

this.height = height;

}

public double getWidth() {

returnwidth;

}

public void setWidth(doublewidth) {

this.width = width;

}

}

class Square extends Rectangle {

public void setHeight(doubleheight) {

super.setHeight(height);

super.setWidth(height);

}

public void setWidth(doublewidth) {

super.setHeight(width);

super.setWidth(width);

}

}

这里Rectangle是基类,SquareRectangle继承。

这种继承关系有什么问题吗?

假如已有的系统中存在以下既有的业务逻辑代码:

view plaincopy to clipboardprint?

01.void g(Rectangle r) {

02. r.setWidth(5);

03. r.setHeight(4);

04. if (r.getWidth() * r.getHeight() != 20) {

05. throw new RuntimeException();

06. }

07.}

void g(Rectangle r) {

r.setWidth(5);

r.setHeight(4);

if (r.getWidth() * r.getHeight() != 20) {

throw new RuntimeException();

}

}

则对应于扩展类Square,在调用既有业务逻辑时:

view plaincopy to clipboardprint?

01.Rectangle square = newSquare();

02.g(square);

Rectangle square = newSquare();

g(square);

时会抛出一个RuntimeException异常。这显然违反了LSP原则。

动作正确性保证:

因为LSP对子类的约束,所以为已存在的类做扩展构造一个新的子类时,

根据LSP的定义,不会给已有的系统引入新的错误。

Design by Contract

根据Bertrand Meyer氏提出的Design by ContractDBC:基于合同的设计)概念的描述,

对于类的一个方法,都有一个前提条件以及一个后续条件,前提条件说明方法接受什么样的参数数据等,

只有前提条件得到满足时,这个方法才能被调用;同时后续条件用来说明这个方法完成时的状态,

如果一个方法的执行会导致这个方法的后续条件不成立,那么这个方法也不应该正常返回。

现在把前提条件以及后续条件应用到继承子类中,子类方法应该满足:

1)前提条件不强于基类.

2)后续条件不弱于基类.

换句话说,通过基类的接口调用一个对象时,用户只知道基类前提条件以及后续条件。

因此继承类不得要求用户提供比基类方法要求的更强的前提条件,

亦即,继承类方法必须接受任何基类方法能接受的任何条件(参数)。

同样,继承类必须顺从基类的所有后续条件,亦即,

继承类方法的行为和输出不得违反由基类建立起来的任何约束,不能让用户对继承类方法的输出感到困惑。

这样,我们就有了基于合同的LSP,基于合同的LSPLSP的一种强化。

在很多情况下,在设计初期我们类之间的关系不是很明确,

LSP则给了我们一个判断和设计类之间关系的基准:需不需要继承,以及怎样设计继承关系。

总结

LSP: 子类必须能够替换基类。

Subtypes must besubstitutable for their base types.

1. LSP关注的是怎样良好的使用继承.

2. 必须要清楚是使用一个Method还是要扩展它,但是绝对不是改变它。

3. LSP清晰的指出,OODIS-A关系是就行为方式而言,

行为方式是可以进行合理假设的,是客户程序所依赖的。

4. LSP让我们得出一个重要的结论:一个模型如果孤立的看,并不具有真正意义的有效性。

模型的有效性只能通过它的客户程序来表现。必须根据设计的使用者做出的合理假设来审视它。

而假设是难以预测的,直到设计臭味出现的时候才处理它们。

5. 对于LSP的违反也潜在的违反了OCP

分享到:
评论

相关推荐

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

    ### OO设计原则——里氏替换原则详解 #### 一、引言 面向对象设计原则(Object-Oriented Design Principles)是一套指导软件开发者如何更好地设计类、接口等面向对象元素的原则集合,旨在提高代码的可复用性、可...

    java oo 设计原则

    这些原则包括单一职责原则(SRP)、不要重复代码原则(DRY)、开闭原则(OCP)、里氏替换原则(LSP)、依赖倒置原则(DIP)以及接口隔离原则(ISP)。下面将详细阐述这些原则及其重要性。 1. 单一职责原则(Single ...

    面向对象编程,OO设计的五大原则

    在本文中,我们将详细探讨OOP设计中的五大原则:单一职责原则(Single Responsibility Principle,简称 SRP)、开放封闭原则(Open-Closed Principle,简称 OCP)、里氏替换原则(Liskov Substitution Principle,...

    剖析设计模式与设计原则

    3. 里氏替换原则(LSP):子类型必须能够替换它们的基类型,且程序的行为不会发生变化。这是多态性的基础。 4. 接口隔离原则(ISP):客户端不应该被迫依赖它不使用的方法。提倡创建更小、更专一的接口,而不是大的...

    面向对象设计原则解析

    3. **里氏替换原则(Liskov Substitution Principle, LSP)** 如果子类型可以被替换为其基类型而不影响程序的正确性,那么就满足了里氏替换原则。这意味着子类必须能够完全替代其父类,并且所有依赖于父类型的引用...

    面向对象设计原则和设计模式的概念

    #### 里氏代换原则 (LSP) 里氏代换原则指出,子类必须能够替换其基类。这意味着在程序中使用基类的地方,应该能够透明地使用其子类的对象,且不会出现异常或错误的行为。这一原则确保了继承的正确使用,避免了由于...

    oo design principles

    3. 里氏替换原则(Liskov Substitution Principle, LSP) LSP,又称设计契约,是Barbara Liskov提出的。根据这个原则,子类型必须能够被其基类型无缝替换,而不会导致程序行为的错误。也就是说,如果一个程序对基...

    面向对象的设计原则 doc

    #### 三、里氏代换原则(Liskov Substitution Principle, LSP) **定义**:里氏代换原则指出,子类应该能够替换其基类,并且在不修改原有代码的情况下保持原有行为不变。 **实践意义**: - **避免破坏继承**:在...

    软件架构设计的6大原则.pdf

    3. 里氏替换原则(Liskov Substitution Principle - LSP) 里氏替换原则是指基类能够被子类替换,但子类不能替换基类。这个原则强调了继承关系的正确性,防止继承关系的混乱。应用时,需要在继承类时,务必重写父类...

    通用分页实现及其OO设计探讨(2)

    5. **OO设计原则**:比如单一职责原则(SRP)、开闭原则(OCP)、里氏替换原则(LSP)等,确保分页组件易于维护和扩展。 6. **用户界面**:设计友好的分页UI,包括上一页、下一页、首页、末页按钮,以及页码选择器...

    第七讲-面向对象程序的需求分析与设计原则v4.01

    2. **里氏替换原则**(LSP):子类型必须能够替换其基类型而不影响程序的正确性。 3. **依赖倒置原则**(DIP):依赖于抽象,而不是具体实现。这促进了模块间的解耦。 4. **接口隔离原则**(ISP):不要强迫客户端...

    面向对象系统设计师之路

    2. 面向对象设计原则:如单一职责原则(SRP)、开闭原则(OCP)、里氏替换原则(LSP)、依赖倒置原则(DIP)和接口隔离原则(ISP)。 3. 设计模式的应用:介绍常见的设计模式,解释其工作原理和适用场景。 4. UML...

    软件工程概述及设计模式ppt课件.ppt

    3. 里氏替换原则(LSP):子类可以继承父类,并且可以添加新的方法。 4. 依赖倒置原则(DIP):高层模块不应该依赖低层模块,而应该依赖抽象。 5. 接口隔离原则(ISP):客户端不应该依赖它不需要的接口。 6. 组合/...

    程序设计方法学的课件

    面向对象设计的基本原则包括单一职责原则(SRP)、开放封闭原则(OCP)、里氏替换原则(LSP)、接口隔离原则(ISP)和依赖倒置原则(DIP)。这些原则指导开发者设计出灵活、可扩展和易于维护的软件。 【设计模式】 ...

    多媒体件类图PPT学习教案.pptx

    - **里氏替换原则(Liskov Substitution Principle, LSP)**:子类必须能够替换它们的父类,而不影响程序的正确性。子类不应添加父类没有的约束。 - **依赖倒转原则(Dependency Inversion Principle, DIP)**:...

    设计模式入门指导

    - 里氏替换原则(Liskov Substitution Principle, LSP):子类可以替换父类出现在父类能够出现的任何地方。 - 接口隔离原则(Interface Segregation Principle, ISP):不应该强迫客户依赖于它们不用的方法。 - 依赖...

    实战OO 部署与实施

    3. **里氏替换原则**(Liskov Substitution Principle, LSP):子类型必须能够替换它们的基类型。 4. **依赖倒置原则**(Dependency Inversion Principle, DIP):高层模块不应该依赖于低层模块,二者都应该依赖于...

    《设计模式--基于C#的工程化实现及扩展》.(王翔).rar.rar

    此外,书中可能还会涉及面向对象设计原则,如单一职责原则(SRP)、开闭原则(OCP)、里氏替换原则(LSP)、依赖倒置原则(DIP)和接口隔离原则(ISP),这些都是设计模式背后的重要理论基础。 总的来说,《设计模式--基于C#...

    Head First Object-Oriented Design and Analysis

    3. **里氏替换原则**(Liskov Substitution Principle, LSP):子类型必须能够替换它们的基类型。 4. **依赖倒置原则**(Dependency Inversion Principle, DIP):高层模块不应该依赖低层模块,二者都应该依赖于抽象...

    你必须知道的.NET(第2版) 随书资料

    - **里氏替换原则(LSP)**:子类型必须能够替换其基类型。 - **依赖倒置原则(DIP)**:高层模块不应该依赖于低层模块,二者都应该依赖于抽象;抽象不应该依赖于细节,细节应该依赖于抽象。 - **接口隔离原则(ISP)**:...

Global site tag (gtag.js) - Google Analytics