《C++面向对象高效编程(第2版)》——2.9 抽象数据类型

2.9 抽象数据类型

C++面向对象高效编程(第2版)
有时,人们谈论的是抽象数据类型(abstract data type),而不是数据抽象(data abstraction),这可能让学习OOP的人感到困惑。其实,它们的关系非常密切。

抽象数据类型是由程序员定义的新类型,附带一组操控新类型的操作。定义新抽象类型将直接应用数据抽象的概念。抽象数据类型也称为程序员定义类型(programmer defined type)。

任何语言基本上都支持内置数据类型(如整数、浮点数、字符等),而且通常会提供一组操控这些内置类型1的操作。当我们使用这些内置(或语言定义)类型时,并不知道也不关心(使用了数据抽象和封装)如何实现这些数据类型。但是,语言(更精确地说是语言编译器的实现者)非常了解实现,知道如何实现这些内置类型。进一步而言,语言定义类型的用户不能直接访问这些类型的内部表示,而且必须使用语言提供的操作来操控它们。

例如,我们在使用语言提供的浮点数时,并不知道浮点类型的内部表示2。但是,我们肯定知道类似+和-的操作可用于浮点数计算。当我们使用浮点类型时,便间接地使用了语言编译器的实现者所提供的内部表示,而且只能使用语言已定义的操作。这也让特定编译器和特定机器彼此独立,因此,我们可以在任何机器上运行任何语言编译器(即我们获得了实现独立)。

支持结构化编程的语言(Pascal、Algol和C等)也允许用户定义新类型,它们被称为用户定义类型(user defined type)或程序员定义类型(programmer defined type)。这些用户定义类型在它们的实现中使用语言定义类型。另外,支持结构化编程的语言也允许程序员为用户定义类型定义一组操作(不要与类似+和-这样的操作混淆)。但是,主要的问题是,用户定义类型的实现并未封装。要使用程序员定义类型必须完全了解该类型的实现,但是语言并不会保护新类型的实现者,也就是说,缺少数据封装(在C中使用static数据,可实现一些封装)。新类型通常定义为一个组合,由数据结构和一组用于操控该数据结构的

图2-4

函数组成,后者通过特定的方式访问数据结构。原则上,任何新类型的用户都必须使用这些函数来操作新类型,换言之,用户不应该直接访问或修改数据结构。但是,由于语言无法强制执行这条规则,因此无需了解数据结构如何使用,任何人都可以编写新函数操作数据结构。也就是说,这样做并未防止非法访问实现。在Pascal、Algol、C等语言中,只有在用户遵守隐性规则的前提下,才能确保数据完整,而语言不能强制执行这条规则。从本质上而言,新类型只不过是由一组函数(或操作)支持的数据结构。

举个简单的例子,带有Push()和Pop()这样操作的Stack(栈)类,其数据结构可以是一个数组或链表(栈通过数组或链表实现),在需要时通过Push()和Pop()操作修改数据结构。此外,我们还要考虑多个栈的创建和销毁。为简单起见,我们仅以整数栈为例,储存在栈中的元素类型相同。在后续的章节中,我们将介绍如何用模板类实现泛型栈(generic stack)。

时间: 2024-10-18 06:20:19

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

《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版)》——第2章 什么是数据抽象

第2章 什么是数据抽象 C++面向对象高效编程(第2版) 面向对象编程的一项基本任务是创建带有适当功能的类,并隐藏不必要的细节(即抽象数据).下面,我们将用一个现实生活中的例子来解释数据抽象的概念. 绝大多数人都见过影碟播放机(laser disc player)(或LD播放机).现在,提出一个简单的问题:设计一个影碟播放机,要求易于使用和修改,可后续添加更多有用的功能. 注意: 如果难以理解影碟播放机,可以用CD播放机代替LD播放机,其设计原理类似.实际上,影碟播放机的功能是CD播放机功能的超

《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文件