首先，栈和队列都是线性表的重要家族成员，栈（stack）是一种只在表尾进行插入或删除的线性表，又称作后进先出（LIFO）的线性表；队列则相反，它是一种先进先出的线性表，即只允许一端进行插入，一端进行删除，有点类似超市里的排队。
栈的一些基本代码思想：
基本操作： InitStack(&S) 操作结果：构造一个空栈S。 DestroyStack(&S) 初始条件：栈S存在。 操作结果：销毁栈S。 ClearStack(&S) 初始条件：栈S存在。 操作结果：将S重置为空栈。 StackEmpty(S) 初始条件：栈S存在。 操作结果：若S为空栈，则返回TRUE；否则返回FALSE。 StackLength(S) 初始条件：栈S存在。 操作结果：返回S中数据元素的个数，即栈的长度。 GetTop(S, &e) 初始条件：栈S存在且非空。 操作结果：用e返回S的栈顶数据元素。 Push(&S, e) 初始条件：栈S存在。 操作结果：插入元素e为新的栈顶元素。 Pop(&S, &e) 初始条件：栈S存在。 操作结果：删除S的栈顶元素，并用e返回其值。 StackTraverse(L, visit()) 初始条件：栈S存在且非空。 操作结果：从栈底到栈顶依次对S的每个数据元素调用函数visit()。一旦visit()失败，则操作失效。 } ADT Stack 通常称插入元素的操作为入栈，删除栈顶元素的操作为出栈。
队列的一些代码基本思想
基本操作： InitQueue(&Q) 操作结果：构造一个空队列Q。 DestroyQueue(&Q) 初始条件：队列Q存在。 操作结果：销毁队列Q。 ClearQueue(&Q) 初始条件：队列Q存在。 QueueEmpty(Q) 初始条件：队列Q存在。 操作结果：若Q为空队列，则返回TRUE；否则返回FALSE。 QueueLength(Q) 初始条件：队列Q存在。 操作结果：返回Q中数据元素的个数，即队列的长度。 GetHead(Q, &e) 初始条件：队列Q存在且非空。 操作结果：用e返回Q的队头数据元素。 EnQueue(&Q, e) 初始条件：队列Q存在。 操作结果：插入元素e为新的队尾元素。 DeQueue(&Q, &e) 初始条件：队列Q存在且非空。 操作结果：删除Q的队头元素，并用e返回其值。 QueueTraverse(Q, visit()) 初始条件：队列Q存在且非空。 操作结果：从队头到队尾依次对Q的每个数据元素调用函数visit()。一旦visit()失败，则操作失效。 } ADT Queue
