抽象数据类型

✍ dations ◷ 2025-07-01 19:07:37 #抽象数据类型,类型论,数据结构,数据类型

抽象数据类型(Abstract Data Type,ADT)是计算机科学中具有类似行为的特定类别的数据结构的数学模型;或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的,通过其上的可执行的操作以及这些操作的效果的数学约束(与可能的代价)。

例如,抽象的堆栈(stack)由3个操作定义:推入push,弹出pop(接受约束:每次弹出返回的是最新被推入且没有被弹出的数据,也就是后进先出),查看堆栈顶端数据peek。当分析使用堆栈算法的效率,所有这3个操作用时相同,无论堆栈中包含多少项数据;并且对每项数据栈使用了常量大小的存储。

抽象数据类型(ADT)是纯粹理论实体,用于简化描述抽象算法,分类与评价数据结构,形式描述程序设计语言的类型系统。一个ADT可以用特定数据类型或数据结构实现,在许多程序设计语言中有许多种实现方式;或者用形式规范语言描述。ADT常实现为模块(module):模块的接口声明了对应于ADT操作的例程(procedure),有时用注释描述了约束。

在编程语言(或库)和教科书中,常见的几个抽象数据类型如下:

实现于程序时,抽象数据类型只显现出其接口,并将实现加以隐藏。用户只需关心它的接口,而不是如何实现。未来更可以改变实现的方式。(其支持信息隐藏原理,或保护程序免受变化的冲击。)

抽象数据类型的强处在于对用户隐藏了实现细节,仅公开其接口。这表示抽象数据类型可以用各种方法来实现,只要遵循其接口,就不会影响到用户。

在抽象数据类型和数据结构之间,有一个实现上的微妙差别。例如,列表的抽象数据类型可以数组为基础、或者使用链表来实现。列表即是一种具良好运算(加入元素、移除元素等等)定义的抽象数据类型。链表是以指针为基础的数据结构,且可用来创建一个列表。链表常用于列表的抽象数据类型。

同样地,二叉树搜索法的抽象数据结构可以几个方式实现:二叉树、AVL树、红黑树、数组等等。且无须关心其实现,二叉树搜索法总是有相同的运算(插入、移除、查找等等)。

从实现中分离出接口,并不表示用户不该知道实现的方法,而是用户不能依赖于实现细节。例如,一个抽象数据类型可以用脚本语言创建,或其它可以被反编译的语言(如 C语言)。即使用户可发现实现的方法,只要所有客户端程序遵循该接口,且改变实现方式时不会产生影响,那就仍是抽象数据类型。

在面向对象的用语中,抽象数据类型相当于类别;抽象数据类型的实体就相当于对象。某些语言包含了用于宣告抽象数据类型的构造函数。例如,C++ 和 Java 为此提供了类的构造函数。

抽象数据结构即根据所要运算的数据以及其计算复杂性所定义的抽象存储区,而不关心具体的数据结构的实现。

就实现高效率的算法而言,对数据结构的选择相当重要。抽象数据结构的选择,决定了高效率的算法的设计,和估计其计算复杂性。

这个概念与编程语言理论中所使用的抽象数据类型非常接近,大致上抽象数据结构和抽象数据类型的名称,和具体的数据结构的名称一致。

一部分抽象数据类型在程序设计中相当普遍且实用,所以在某些编程语言中,成为原生类型、或加进标准库中。例如,Perl 的数组可以用列表或双端队列之类的抽象数据类型来实现,散列表也可以用 Map 或 Table 来做。C++ 标准库和 Java 库也提供了列表、堆栈、队列、Map、优先权队列和字符串。

有理数(可以 a/b 格式表示的数,且 a 和 b 都是整数)本来是不能在电脑中表示出来。不过可以合理的抽象数据类型来定义,如下。

构造:使用两个整数 a 与 b 创建实体,其中 a 为分子,b 为分母。

运算:加法、减法、乘法、除法、乘幕、比较、约分,转成实数(浮点数)。

要完成整个规格,就要根据数据来定义所有的运算。例如,当两个有理数 a/b 和 c/d 相乘时,相乘的结果就要定义为 ( a c ) / ( b d )。还有输入、输出、先决条件、后置条件,以及对抽象数据类型的各种假定。

堆栈的抽象数据类型接口,以 C 语法编写:

long stack_create(); /* 建立新的堆疊實體 */void stack_push(long stack, void *item); /* 將一個項目堆入堆疊 */void *stack_pop(long stack); /* 從堆疊頂部取得項目 */void stack_delete(long stack); /* 刪除堆疊 */

用法

抽象数据类型可以如下方式使用:

long stack;struct foo *f;stack = stack_create(); /* 建立堆疊 */stack_push(stack, f); /* 將 foo 結構加入堆疊 */f = stack_pop(stack); /* 從堆疊取得頂部的結構 */

各种实现

上述堆栈的抽象数据类型,一开始可以使用数组来实现,然后改用链表,而不会伤到任何用户的代码。有多少方法可以实现抽象数据类型,取决于编程语言。例如,上述示例可使用 C 编写一个结构,以及随同的一组数据结构,可使用数组或链表来存放记录;当构造函数函数返回一个抽象句柄时,就对用户隐藏了真实的实现过程。

相关

  • 沙漠扩大沙漠化(Desertification)指原由植物覆盖的土地变成不毛之地的现象。是水土流失的一种形式,相对干旱的土地变得更加干涸,原因有许多,如气候变化和人类过度开发等。 当沙漠在星球生
  • 公行制度公行(英语:Cohong)是清朝中期在广州成立的进出口商垄断组织,在约百年期间垄断当时中国与西方主要商业往来的广州贸易。公行最早成立于1720年,当时的许多行商为了加强自身地位,并与
  • 荒漠面积列表这是一个按面积排序的世界荒漠列表。其中包含了所有面积大于50,000平方千米(19,300平方英里)的荒漠
  • 俄罗斯公众假期以下罗列了俄罗斯联邦政府认定的法定公众假期。在这些日子里,政府机关、外交代表机构和一些商店将关闭。若假日恰逢周末,将在下周一补假。不仅1月1日的元旦(Новый год,
  • 头状骨头状骨(capitate bone)是人类掌骨中最大的一块,为腕骨中央的骨头。较圆的一端位于手舟骨及月骨所组成的凹槽上。许多哺乳类动物身上也可以找到这块骨头,与爬虫类及两栖类身上的
  • 安尼巴莱·里科安尼巴莱·里科(意大利语:Annibale Riccò,1844年9月14日-1919年9月23日),意大利天文学家。他出生在意大利米兰市,1868年在意大利摩德纳雷焦艾米利亚大学(英语:University of Modena
  • 杯形海绵杯形海绵(学名:),又名针线海绵,是一属已灭绝的海绵,生存于白垩纪至始新世,生活在温暖的浅海中。它们的外观呈现不规则的杯形,而且大小相差很大。其骨骼是由石灰质、而不是硅质的骨针
  • 主权豁免主权豁免(英文:Sovereign immunity) 或皇家豁免或君主豁免(英文:Crown immunity)是指一司法惯例。君主或国家不可能犯上法律上的过失,以及免于受到民事与刑事起诉。在君主立宪制下,
  • 派尔努甲醇悲剧派尔努甲醇悲剧(爱沙尼亚语:Pärnu metanoolitragöödia)是一场发生于2001年9月9日在爱沙尼亚派尔努县的事故,共造成68人丧生、重度失能者40人(含失明与脑部损伤)、失能者3人。
  • 范矿范矿(16世纪-1657年10月27日),字我蘧,四川叙州府富顺县人,明朝、南明政治人物。范矿是万历二十年未殿试贡士范岷彚的儿子,万历四十三年(1615年)中举人,到四十七年(1619年)成进士,选授浙江