第十一章面向对象实现和测试.pptVIP

面向对象软件的实现与测试 在开发过程中，类的实现是核心问题。在只用面向对象风格所写的系统中，所有的数据都被封装在类的实例中而整个应用则被封装在一个更高级的类中。这种封装和类提供的标准界面很容易把类所表达的特性嵌入到应用中去。 类级关系 当我们实现类的时候就会遇到类级的关系。 一个类的实现常常在某些方面依赖于其它类的实例。类级关系可以是应用级关系的实现，也可以是类内属性的实现。 消息 组装 继承 消息(messaging) 在应用程序中，应用级关系大多是以类的实例之间的消息连接方式实现通信的。 在消息的参数表中指定消息的接受者(一个类的实例)。还可以通过参数表向接收者提供信息。 消息指定一个属于接收者的服务，这个服务必须对应到该类共有界面规定的行为。 Dictionary类设计的例子 一个Dictionary是包含一些可按关键码的值排序和检索对象的部件。 对于要存储在Dictionary内的一个实例来说， 类必须提 供一个操 作来取得 关键码。 关系 refers to 表示了“一个类引用另一个类”，后者的实例可当作参数由前者在消息中使用。 由消息构成的流图形成了面向对象系统结构的核心。 例如，Dictionary类有一个操作add，该操作将把一个属于Item类的对象item当作参数，把这个对象加入到Dictionary中。具体地，add操作首先发送一个消息给做为参数的对象item，再利用它的关键码，到该对象所在的Item类中引用(refers to)相应的实例，把它加入到词典中去。 在设计阶段，在这样两个类之间消息关系的建立要求协调这些类的共有界面的 定义。 组装(Composition) 组装关系是一个实现级关系，它对应于应用级的聚合关系。 它也叫做component（部件）或叫做 is part of（是…的一部分）。 组装与消息两者都是类间的关系，在这种关系中，一个类的实例将是另一个类的实现的一部分。 考虑Dictionary类的实现。 在Dictionary中存储item的一种数据表示是使用散列表(HashTable)。 进行Dictionary类的低层设计时，要指明在Dictionary类和HashTable类之间的一个 is part of 关系。 在实现时，应当在Dictionary类的定义中声明这个Hash Table的实例。 继承(Inheritance) 继承允许在既存类的基础上定义新的类。 一个新类B继承了既存类A，则B包括了A定义的某些行为，以及它自定义的某些附加行为。 有多少种面向对象程序设计语言，就有多少种不同的继承实现方式。 继承图 ① 针对实现的继承 两个类之间“针对实现”的继承关系的建立指的是使用既存类的内部表示来做为新类的内部表示的一部分。我们不推荐这种继承方式。 考虑使用继承来实现一个Circle类，为了定义一个圆，需要定义一个点和一个值，做为圆的圆心和半径。因此，Point类可支持Circle类的一部分实现。把Point当做派生类。 如果Circle类直接使用Point的数据成员x和y，将失去抽象。而且失去做为一个点的圆心的标识。 针对实现的继承一般在原型开发中使用。 ② 针对特殊化的继承 这种继承的使用适合于大多数面向对象程序设计语言所提供的关系，是针对一般化-特殊化关系的。 这种继承使用is a关系。类B的一个实例是(is a)类A的一个实例。 在使用中，继承将使得既存类的界面成为新类的界面。这表明新类具有它的基类的所有行为。 为了定义Dictionary类，应当首先查找既存的抽象，看Dictionary类会是哪个既存抽象的特殊情况。 Dictionary应是一个有序表，但具有它自己特有的操作: 如使用关键码进行搜索等。既存的Ordered List类可以提供Dictionary类的某些行为，但不是全部。还要确认，在Ordered List中是否有的行为在Dictionary 中 不需要。如果有，可能需要重新组织层次或者开发某些追加的抽象。 is kind of (是一种…)继承 这种继承允许有选择地包含既存类的属性，从而建立新的定义。 一个鸟类可能有一个关于飞行的属性。一个鸵鸟派生类在模型化时可能就不选择这个属性，因为鸵鸟不会飞。鸵鸟是一种( is kind of )鸟，但具有的属性与鸟不完全相同。 is kind of 继承是不严格继承。 类的实现 一种方案是先开发一个比较小的比较简单的类，做为开发比较大的比较复杂的类的基础。即从简单到复杂的开发方案。 在这种方案中，类的开发是分层的。一个类建立在一些既存的类的基础上，而这些既存的类又是建立在其它既存的类的基础上。通过诸如“is a”或“is part of”之类的关系，利用既存代码就能着手建立新的类。