4.0.0 栈的定义与抽象数据类型

栈的定义

栈( stack )是限定仅在表尾进行捕入和删除操作的线性表。
我们把允许插入和删除的一端称为栈顶 （top），另一端称为栈底 (bottom)，不含任何数据元素的栈称为空栈。栈又称为后进先出 (Last In Filrst Out) 的线性表，简称 LlFO 结构 。
首先它是一个线性表，也就是说，栈元素具有线性关系，即前驱后继关系。只不过它是一种特殊的线性表而已。定义中说是在线性表的表尾进行插入和删除操作，这里表尾是指栈顶，而不是栈底。
它的特殊之处就在于限制了这个线性表的插入和删除位置，它始终只在栈顶进行。这也就使得:栈底是固定的，最先进栈的只能在栈底。
栈的插入操作，叫作进栈，也称压栈、入栈。 类似子弹入弹夹。
栈的删除操作，叫作出栈，也有的叫作弹栈。如同弹夹中的子弹出夹。

栈的抽象数据类型

ADT 栈 (stack)
Data
    同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
Operation
    InitStack(*S): 初始化操作，建立一个空栈S。
    DestroyStack(*S): 若栈存在，则销毁它。
    ClearStack(*S): 将栈清空。
    StackEmpty(S): 若栈为空，返回true，否则返回false。
    GetTop(S,*e): 若栈存在且非空，用e返回S的栈顶元素。
    Push(*S，e): 若栈S存在，插入新元素e到栈S中并成为栈顶元素。
    Pop(*S，*e): 删除栈S中栈顶元素，并用e返回其值。
    StackLength (S): 返回栈S的元素个数。
endADT