《C++面向对象高效编程(第2版)》——第2章 什么是数据抽象

第2章 什么是数据抽象
C++面向对象高效编程(第2版)
面向对象编程的一项基本任务是创建带有适当功能的类,并隐藏不必要的细节(即抽象数据)。下面,我们将用一个现实生活中的例子来解释数据抽象的概念。

绝大多数人都见过影碟播放机(laser disc player)(或LD播放机)。现在,提出一个简单的问题:设计一个影碟播放机,要求易于使用和修改,可后续添加更多有用的功能。

注意:
如果难以理解影碟播放机,可以用CD播放机代替LD播放机,其设计原理类似。实际上,影碟播放机的功能是CD播放机功能的超集。
我们需要解决的问题是:

(1)面板上应该提供哪些控件?

(2)为了连接到不同的设备(如扩音器、电视机或计算机),播放机应使用何种输入、输出装置?

(3)遥控器上应该有多少个按钮?

播放机应该能够:

根据用户要求,播放影碟;
向前和向后查找特定的节(如果是CD播放机,则查找特定的音轨);
允许用户插入和弹出影碟;
根据用户要求,启动和关闭播放机;
当播放机播放影碟时,用户可随时要求暂停;
根据用户要求,完全停止播放。
下面初步分析一下,在面板上应提供的用户控件(开关或按钮)(见图2-1)。

先来分析其中一个控件的功能:

PLAY:当我们按下PLAY按钮时,自然希望影碟播放机开始启动,并在它所连接的电视屏幕上显示图像。但是,在其他情况下按下PLAY按钮,结果是否会不同?

(a)只有在播放机已接通电源,且POWER开关为ON的情况下,PLAY按钮才会响应。否则,按下PLAY按钮不会响应。

(b)如果播放机内无影碟,则PLAY按钮不会响应。

(c)如果满足(a)和(b),则播放机内的激光束被激活,机械驱动系统带动马达开始转动影碟。

(d)播放机内的电子元件读取影碟上的编码信息,将其转换为视频信号(在多项信号处理操作后),并将视频信号传输给电视机显示图像。CD播放机和LD播放机对碟片的音频信息处理方式类似。

图2-1

(e)如果加载的影碟格式不正确(例如,如果在PAL播放机中放入了NTSC碟片)1,播放机的显示面板(或播放机连接的电视机屏幕)上会显示错误的消息。

(f)如果满足以上所有前提条件,则给出一个可视或可听(或兼而有之)的指示,表明播放机正在播放。

从这些简化的步骤中可以看出,只是按下PLAY按钮就会启动播放机内的许多操作。但是,对于使用播放机的用户而言2,她只对屏幕上出现的图像和伴随的音频信息感兴趣,甚至不会意识到播放机内有一个激光束!更不会注意到影碟的旋转或激光束的活动。当她按下PLAY按钮后,希望在电视机屏幕上看见清晰的图像并听见悦耳的声音。

作为LD播放机的设计人员,能从这些信息中获得什么?

在用户看来,LD播放机是一个魔术盒。用户插入影碟,按下PLAY按钮,它就能让与其连通的电视机屏幕上出现画面。这是LD播放机公认的性质(见图2-2)。

我们的设计必须从客户角度出发,不应让内部的细节打扰终端用户的使用。在电视出现图像之前,我们还需要考虑许多其他的事情。

我们已经设计好LD播放机,上面布满许多小按钮,其中一个就是PLAY键。装入影碟后按下PLAY按钮,屏幕上便会出现图像。无论你相信与否,我们已经抽象了数据部分(即我们已经完成了数据抽象)。

图2-2

数据抽象(data abstraction)在忽略类对象间存在差异的同时,展现了对用户而言最重要的特性。的确,抽象应该对终端用户隐藏无关紧要的细节,避免暴露有可能分散用户注意力或与使用环境毫不相干的细节。

分析LD播放机的设计

(1)我们不会让激光束、马达等部件暴露出来,也不会让用户对它们一无所知。我们会提供可视或可听(或兼而有之)的指示,显示播放机的内部工作状态。

(2)用户只需按下PLAY按钮,即可欣赏影碟中记录的图像,不必亲自开启马达、接通激光束装置电源、将其对焦在影碟上等。完全没必要让普通用户这么做。有些操作相当危险,假如要求用户手动操作激光束会怎样?制造商很快就会被法律诉讼淹没。(警告:在无任何保护的情况下,暴露在激光束下非常危险。)

(3)如果用户在未装入碟片的情况下,按下PLAY按钮,播放机既不会开启激光束,也不会启动马达。我们的设计应该能智能检测此信息。实际上,播放机随时都记录下自身的状态,并根据相应的信息做出响应。

(4)如果设计人员将LD播放机的各个零部件拆分,放在桌上,告诉用户这就是LD播放机,用户肯定会认为设计人员的精神有问题。设计,或者说抽象,就是把各个大小不一、功能各异的零部件组合起来,在它们之间建立适当的通信机制。进一步而言,设计为用户提供一个明晰的接口,将组成LD播放机的所有部件(即实现)隐藏,只显示用户操作播放机所需的控件。

时间: 2024-08-03 10:36:15

《C++面向对象高效编程(第2版)》——第2章 什么是数据抽象的相关文章

《C++面向对象高效编程(第2版)》——4.2 无用单元收集问题

4.2 无用单元收集问题 C++面向对象高效编程(第2版) 在我们讨论无用单元收集1(garbage collection)之前,先了解一下何为无用单元(garbage),何为悬挂引用(dangling reference). 4.2.1 无用单元 所谓无用单元(garbage),是一块存储区(或资源),该存储区虽然是程序(或进程)的一部分,但是在程序中却不可再对其引用.按照C++的规定,我们可以说,无用单元是程序中没有指针指向的某些资源.以下是一个示例: main() { char* p =

《C++面向对象高效编程(第2版)》——4.6 对象赋值的语义

4.6 对象赋值的语义 C++面向对象高效编程(第2版) 赋值与复制的操作非常类似.在C++中,绝大多数的复制操作都由语言隐式调用(当对象按值传递或按值返回时).当通过现有对象创建新对象时,也进行了复制操作(但不是很频繁).与复制相反的是,赋值是必须由程序员显式调用的操作.然而,在Eiffel和Smalltalk中,赋值和复制操作都由程序员显式调用.这也是基于值的语言与基于引用的语言之间的区别. 在C++中,对于对象和基本类型赋值都具有相同的含义.把基本类型变量赋值给另一个(兼容的)基本类型变量

《C++面向对象高效编程(第2版)》——2.21 确保抽象的可靠性——类不变式和断言

2.21 确保抽象的可靠性--类不变式和断言 C++面向对象高效编程(第2版) 任何抽象都必须与客户履行它的契约(contract).当客户使用类时,他希望类的对象像其发布描述的那样运行正常.另一方面,类的实现者必须千方百计地确保对象运行正常.但是,类只有在客户履行自己那部分契约后,才能正确行使它的职责.例如,类的成员函数可能要求传入的参数为非零指针(non-zero pointer).只有满足此前提条件,成员函数才能保证它的行为.因此,客户必须履行一些义务.换言之,如果客户履行了她那部分契约,

《C++面向对象高效编程(第2版)》——2.30 has-a关系的重要性

2.30 has-a关系的重要性 C++面向对象高效编程(第2版) "has-a"关系(也称为关联.聚集.包含.组合)是在OOD(面向对象设计)中频繁使用的重要关系.但是,许多设计者和程序员都没有很好地理解其相关性,从而导致复杂僵化的设计和不必要的继承. 在OOD阶段,软件的复用主要通过两种方式完成:继承和包含.它们各有优缺点.优秀的设计者了解它们的局限性.优点和代价,可以灵活自如地应用它们.继承将在第5章.第6章以及第二部分的第12章中详细讨论. 包含是一项强大的设计技术,它比继承更

《C++面向对象高效编程(第2版)》——2.27 关联

2.27 关联 C++面向对象高效编程(第2版) 关联表示对象与不同类之间的结构关系(structual relationship),大多数关联都是二元关系(binary relation).类之间的多重关联(multiple association)和类本身的自关联(self association)都是合法的(见图2-19). 关联可以有一个名称,表明阅读方向的箭头为可选.注意,方向箭头为可选,但关联名必须显示.关联在不同的方向可以有不同的名称,但是,大多数情况下,没必要注明(特别是在已标出

《C++面向对象高效编程(第2版)》——3.2 类要素的细节

3.2 类要素的细节 C++面向对象高效编程(第2版) 3.2.1 访问区域 客户可以访问在类的public区域中声明的任何成员.我们可以把该区域看做是通用公共(general public)的接口,它没有任何保护,是类限制最少的区域.一个设计良好的类绝不会将数据成员包含在public区域,该区域只能包含成员函数.如果在public区域包含数据成员,那么无需类的实现者,仅通过编译器即可访问这些数据成员.这违反了数据抽象和封装原则.这也是我们为什么总将数据成员放在private或protected

《C++面向对象高效编程(第2版)》——1.5 什么可以作为类

1.5 什么可以作为类 C++面向对象高效编程(第2版) 用简单的例子详细讨论类和对象非常容易,但是难点在于如何为给定的问题找出合适的类.我们必须理解类代表什么,何时将问题中的某些部分转化为类,而非数据,反之亦然.根据我们的定义,类拥有一组对象的共同属性(或者特性).怎样的共同才是共同?何时说这是一个类,而不是另一个类的对象?这些都是我们在学习OOP时会遇到的,和真正关心的问题. 当我们决定创建一个类时,第一个问题就是"是否确实需要这个类的多个实例?",如果答案为"是&quo

《C++面向对象高效编程(第2版)》——4.3 C++中的无用单元收集

4.3 C++中的无用单元收集 C++面向对象高效编程(第2版) C++提供类的析构函数专门处理无用单元收集,但是,这并不意味着无用单元收集只发生在析构函数中.实际上,某些其他成员函数也必须考虑无用单元收集. 类的析构函数给予对象最后一次机会释放它所获得的所有资源.在退出某作用域之前,由语言自动为在该作用域中创建的自动(基于栈)对象调用析构函数.此时,对象即将被销毁(也就是说,被对象占用的内存即将被系统回收).一旦析构函数完成,对象将彻底地消失. 删除(使用delete操作符)指向某对象的指针时

《C++面向对象高效编程(第2版)》——2.10 抽象数据类型—栈的实现

2.10 抽象数据类型-栈的实现 C++面向对象高效编程(第2版) 下面的示例用于说明,在C中一个简单栈的实现. Stack.h文件--让所有的抽象数据类型用户都可以使用Stack. typedef Stack* Stackld; typedef int bool; struct Stack { int data; / 在栈上存储元素 */ unsigned count; / 栈上元素的数量 / int top; / 栈顶部的指针 */ / 略去其他细节 .../ };``` Stack.c文件