一些面向对象的设计法则(4)
2008-01-05 18:01:45 来源:WEB开发网核心提示:法则4:Liskov替换法则(LSP)使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们,一些面向对象的设计法则(4),[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Obje
法则4:Liskov替换法则(LSP)
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects
Of Derived(Sub) Classes Without Knowing It ]
Liskov替换法则
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。
2.例如:
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为java接口,则该方法可与任何实现了Sharp接口的类一起工作)
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违反了LSP。
3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。这样的函数也违反了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。
LSP示例
1. 考虑下面Rectangle类:
2.现在,Square类会如何呢?显然,一个正方形是一个四边形,因此Square类应该从Rectangle类派生而来,对否?让我们看一看!
3.观察可得:
a.正方形不需要将高和宽都作为属性,但是总之它将继续自Rectangle。因此,每一个Square对象会浪费一点内存,但这并不是一个主要问题。
b.继续而来的setWidth()和setHeight()方法对于Square而言并非真正地适合,因为一个正方形的高和宽是相同。因此我们将需要重写setWidth()和setHeight()方法。不得不重写这些简单的方法有可能是一种不恰当的继续使用方式。
3.Square类如下:
4. 看起来都还不错。但是让我们检验一下!
5. 测试程序输出:
6.看上去似乎我们违反了LSP!
7.这里的问题出在哪里呢?编写testLsp()方法的程序员做了一个合理的假设,即改变Rectangle的宽而保持它的高不变。
8.在将一个Square对象传递给这样一个方法时产生了问题,显然是违反了LSP
9.Square和Rectangle类是相互一致和合法的。尽管程序员对基类作了合理的假设,但其所编写的方法仍然会导致设计模型的失败。
10.不能孤立地去看待解决方案,必须根据设计用户所做的合理假设来看待它们。
11. 一个数学意义上的正方形可能是一个四边形,但是一个Square对象不是一个Rectangle对象,因为一个Square对象的行为与一个Rectangle对象的行为是不一致的!
12.从行为上来说,一个Square不是一个Rectangle!一个Square对象与一个Rectangle对象之间不具有多态的特征。
总结
1.Liskov替换法则(LSP)清楚地表明了ISA关系全部都是与行为有关的。
2.为了保持LSP(并与开放-封闭法则一起),所有子类必须符合使用基类的client所期望的行为。
3.一个子类型不得具有比基类型(base type)更多的限制,可能这对于基类型来说是合法的,但是可能会因为违反子类型的其中一个额外限制,从而违反了LSP!
4.LSP保证一个子类总是能够被用在其基类可以出现的地方!
- ››一些php常用代码
- ››面向对象的JS-私有成员变量实现方式
- ››一些常用的MySQL命令收集
- ››面向对象的JavaScript (一、对象基础,使用函数来...
- ››面向对象数据库 db4o 之旅,第 4 部分: 使用 dRS
- ››对象存储不给高性能计算添堵
- ››面向 Java Web 应用程序的 OpenID,第 2 部分: 为...
- ››面向 Java 开发人员的 db4o 指南: 简介和概览
- ››面向 Java 开发人员的 db4o 指南: 查询,更新和一...
- ››面向 Java 开发人员的 db4o 指南: db4o 中的数据库...
- ››面向 Java 开发人员的 db4o 指南: 超越简单对象
- ››面向 Java 开发人员的 db4o 指南: 结构化对象和集...
更多精彩
赞助商链接