数据结构之队列

队列：只允许一端插入，而允许另一端删除的线性表。

队列是一种先进先出的线性表，简称FIFO，允许插入的一端叫队尾，允许删除的一端叫队头。

ADT  队列（Queue)

Data
    同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
Operation
    InitQueue(*Q)  ：初始化操作，建立一个空队列Q
    DestroyQueue(*Q):若队列Q存在，则销毁它
    ClearQueue(*Q):将队列Q清空。
    QueueEmpty(Q):若队列Q为空，返回true。否则返回false
    GetHead(Q,*e):若队列Q存在且非空，用e返回队列Q的对头元素。
    EnQueue(*Q,e):若队列Q存在，插入新元素e到队列Q中并成为队尾元素。
    DeQueue(*Q,*e)：删除队列Q队头元素，并用e返回其值。
    QueueLength(Q):返回队列Q的元素个数。
endADT

 由于顺序队列出队列时，需要移动后面的所有元素，为了解决这个问题，定义了一个队头指针front，一个队尾指针指向队尾的下一个位置rear的循环队列，当front=rear时，为空队列。队列的这种头尾相接的顺序存储结构称为循环队列。

最大尺寸QueueSize，当队满时，满足（rear+1）%QueueSize==front。

队列长度（rear-front+QueueSize）%QueueSize

typedef int QElemType;
//循环队列的顺序存储结构
typedef struct 
{
    QElemType data[MAXSIZE];
    int front;              //头指针
    int rear;               //尾指针，若队列不空，指向队尾元素的下一个位置
}SqQueue;

//初始化代码
Status InitQueue(SqQueue *Q)
{
    Q->front = 0;
    Q->rear = 0;
    return OK;
}

//返回Q的元素个数，也就是当前队列长度
int QueueLength(SqQueue Q)
{
    return (Q.rear-Q.front+MAXSIZE)%MAXSIZE;
}

//队列未满，则插入元素e为Q新的队尾元素
Status EnQueue(SqQueue *Q,QElemType e)
{
    if((Q->rear + 1) % MAXSIZE == Q->front)
            return ERROR;
    Q->data[Q->rear] = e;       //将e赋值给队尾
    Q->rear = (Q->rear + 1) %MAXSIZE;   //rear指针向后移一位置，若到最后则转到数组头部
    return OK;
}

//若队列不空，则删除Q中队头元素，用e返回其值
Status DeQueue(SqQueue *Q,QElemType *e)
{
    if(Q->front == Q->rear)
            return ERROR;
    *e = Q->data[Q->front];     //将队头元素赋值给e
    Q->front = (Q->front + 1) % MAXSIZE;    //front指针向后移一位置，若到最后则转到数组头部

    return OK;

}

队列的链式存储结构，其实就是线性表的单链表，

空链表时，front和rear都指向头指针。

 

//队列链表结构
typedef struct 
{
    QueuePtr front,rear;        //队头队尾指针
}LinkQueue;


//插入e元素为Q的新的队尾元素
Status EnQueue(LinkQueue *Q,QElemType e)
{
    QueuePtr s = (QueuePtr)malloc(sizeof(QNode));
    if(!s)                  //存储分配失败
        exit(OVERFLOW);
    s->data = e;
    s->next = NULL;
    Q->rear->next = s;

    Q->rear = s;

    return OK;
}


//若队列不空，删除Q的对头元素，用e返回其值，并返回OK，否则返回ERROR
Status DeQueue(LinkQueue *Q,QElemType *e)
{
    QueuePtr p;
    if(Q->front == Q->rear)
        return ERROR;
    p = Q->front->next;     //删除的头结点给p
    *e = p->data;           //将删除的对头结点赋值e
    Q->front->next = p->next;//将p->next头结点后继给头结点后继

    if(Q->rear == p)        //若队头是队尾，则删除rear指向的头结点
        Q->rear = Q->front;
    free(p);
    return OK;
}