队列的抽象数据类型定义为:
类型名称:队列。
数据对象集:一个有0个或多个元素的有穷线性表。
操作集:对于一个长度为正整数MaxSize的队列Q∈Queue, 记队列中的任一元素item∈ElementType,有:
(1)Queue CreateQueue(int MaxSize):创建一个长度为MaxSize的空队列;
(2)bool isEmpty(Queue Q):判断队列是否为空,若不空返回true(1),否则返回false(0);
(3)void AddQ(Queue Q, ElementType item):若队列满,返回已满的信息;否则,把这个元素入队;
(4)bool isFull(Queue Q):判断队列是否满,若满返回true(1),否则返回false(0);
(5)ElementType DeleteQ(Queue Q):若队列为空,返回队列为空的信息;否则,把队头元素先用临时变量存储起来并从队列中删去,最后返回队头元素。
为了解决队尾溢出(假溢出)而实际上数组仍然有多余空间的问题,我们运用循环队列解决问题。
此时需要定义一个front和rear分别指向队列的头元素的前一个位置和尾元素,并且开始时都初始化成0;
当插入和删除操作的作用单元达到数组的末端后,用公式“rear(或front)%数组长度”取余运算就可以实现折返到起始单元。
队满的条件是:“(rear+1)%数组长度”等于front;队空的