3.1栈的定义
栈作为一种限定性线性表,是将线性表的插入和删除运算限制为仅在表的一端进行。
栈顶:通常将表中允许进行插入、删除操作的一端称为栈顶 (Top),因此栈顶的当前位 置是动态变化的,它由一个称为栈顶指针的位置指示器指示。
栈底:同时表的另一端被称为栈底 (Bottom)。当栈中没有元素时称为空栈。栈的插入 操作被形象地称为进栈或入栈,删除操作称为出栈或退栈。
根据上述定义,每次进栈的元素都被放在原栈顶元素之上而成为新的栈顶,而每次出栈 的总是当前栈中“最新”的元素,即最后进栈的元素。在下图所示的栈中,元素是以 a1, a2,a3,…,an 的顺序进栈的,而退栈的次序却是 an,…,a3,a2,a1。栈的修改是按后 进先出的原则进行的。因此,栈又称为后进先出的线性表,简称为 LIFO 表。在日常生活中 也可以见到很多“后进先出”的例子,例如,手枪子弹夹中的子弹,子弹的装入与子弹弹出膛均在弹夹的最上端进行,先装入的子弹后发出,而后装入的子弹先发出。
栈的抽象数据类型定义
ADT Stack
数据元素:可以是任意类型的数据,但必须属于同一个数据对象。
结构关系:栈中数据元素之间是线性关系。
基本操作:
-
InitStack(S)
操作前提:S 为未初始化的栈。
操作结果:将 S 初始化为空栈。 -
ClearStack(S)
操作前提:栈S 已经存在。
操作结果:将栈 S 置成空栈。 -
IsEmpty(S)
操作前提:栈 S 已经存在。
操作结果:判栈空函数,若 S为空栈则函数值为“TRUE”,否则为“FALSE”。 -
IsFull(S)
操作前提:栈 S 已 经存在。
操作结果:判栈满函数,若 S栈已满,则函数值为“TRUE”,否则“FALSE”。 -
Push(S,x)
操作前提:栈 S 已经存在。
操作结果:在S的顶部插入(亦称压入)元素 x;若 S 栈未满,将 x插入栈顶 位置,若栈已满,则返回 FALSE,表示操作失败,否则返回 TRUE。 -
Pop(S, x)
操作前提:栈 S 已经存在。
操作结果:删除(亦称弹出)栈 S 的顶部元素,并用 x 带回该值;若栈为空,返回值为 FALSE,表示操作失败,否则返回 TRUE。 -
GetTop(S, x)
操作前提:栈 S 已经存在。
操作结果:取栈 S 的顶部元素赋给 x 所指向的单元。与Pop(S, x)不同之处在 于 GetTop(S,x)不改变栈顶的位置。