数据结构（C语言版）——4.3、链式队列实现

4.1、链式队列实现

4.1.1、链式队列说明

• 和单链表类似。链式队列即用一组任意的存储单元存储栈的数据元素。每个结点包括存放数据元素的数据域，和指示下一个队列结点的指针域。
• 对于队尾元素而言，由于其没有下一个结点，故队尾结点的指针域始终为 NULL ，其数据域存放最后一个入队的数据元素（头出尾入），由于元素通过队尾入队，附设一个队尾指针（ rear ）。
• 为了操作方便，这里给链队列添加一个头结点，并令头指针（ front ）指向头结点。链队列示意图如下图所示。
  
  注：可将链式队列结构看成带头结点的单链表，将队头指针看成头指针，将单链表的头删看作出队，尾插看作入队。这样易于理解。

4.3.2、链队列的优缺点与适用场合

敬请期待

4.3.3、存储结构的定义与头文件声明

（1）存储结构的定义

• 根据上述分析，链队列结点包括数据域、指针域，以及一个存放队头指针、队尾指针的链队列类型。故，定义如下。

typedef struct QNode //队列结点定义
{
   
    ElemType data;
    struct QNode *next;
} QNode, *QueuePtr; //QueuePtr 为队列结点型指针
typedef struct
{
   
    QueuePtr front; //队头指针，指向头结点
    QueuePtr rear;  //队尾指针
} LinkQueue;//链队列类型

（2）头文件声明

• 头文件声明包括函数结果状态代码 OK、ERROR，数据元素类型 ElemType ，栈的基本操作的函数原型声明，以及需要的库。
  注：由于C语言不存在引用，需用传址。这里 LinkQueue 是普通结构体类型，对链队列的操作就是对 LinkQueue 类型中两个结点指针的操作，故当需要改变链队列内容时，就是要改变 LinkQueue 类型中的变量，所以此时要传递 LinkQueue 类型的地址。

#ifndef LINKQUEUE_H
#define LINKQUEUE_H

#define OK 1
#define ERROR 0

typedef int Status;   //自定义函数类型，其值是函数结果的状态代码
typedef int ElemType; //自定义数据类型
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <stdbool.h>
typedef struct QNode //队列结点定义
{
   
    ElemType data;
    struct QNode *next;
} QNode, *QueuePtr; //QueuePtr 为队列结点型指针
typedef struct
{
   
    QueuePtr front; //队头指针，指向头结点
    QueuePtr rear;  //队尾指针
} LinkQueue;
//链队列基本操作的函数原型说明
Status InitQueue(LinkQueue *Q);
//构造一个空队列
Status DestoryQueue(LinkQueue *Q);
//销毁队列 Q
Status ClearQueue(LinkQueue *Q);
//置空队列 Q
bool QueueEmpty(LinkQueue Q);
//判断队列是否为空
int QueueLength(LinkQueue Q);
//返回队列 Q 的元素个数，即队列长度
Status GetHead(LinkQueue Q, ElemType *e);
//若队列不为空，则用 e 获取 Q 的队头元素，并返回OK；否则返回ERROR
Status EnQueue(LinkQueue *Q, ElemType e);
//插入元素 e 为队列 Q 的新队尾元素
Status DeQueue(LinkQueue *Q, ElemType *e);
//若队列不为空，则删除 Q 的队头元素，用 e 获取其值，并返回OK；否则返回ERROR
Status QueueTraverse(LinkQueue Q /*,visit()*/);
//从队头到队尾依次调用函数 visit(),这里简化为输出
#endif

4.3.4、主要操作实现与思路

（1）初始化 InitQueue（）

• 由于该链队列存在头结点，故其初始化就是开辟一个头结点，并给 front、rear 赋初值。
• 该函数要更改队列的内容，故形参要传递地址。初始化效果如下图。
  

Status InitQueue(LinkQueue *Q)
{
   
    QueuePtr p = (QueuePtr)malloc(sizeof(QNode)); //头结点，头结点不存数据，仅有指针
    assert(p != NULL);
    Q->front = Q->rear = p;   //初始化队头指针与队尾指针
    Q->rear->next = NULL;    //由队尾进元素，队尾结点的指针域总为空
    return OK;
}

（2）置空 ClearQueue（）

• 对于链队列而言，置空操作要回收每一个队列结点。在循环中，由于队尾结点的 next 域始终为 NULL ，故结点的指针域是否为 NULL 可以作为循环的终止条件。
• 首先考虑当前队列是否为空，若为空，则直接返回。
• 由于该链队列存在头结点，故操作指针 p 应该从头结点的下一个结点开始（即队头结点），在 p ！= NULL 的情况下（），先下移队头结点，再释放原队头结点，最后重置队尾指针（由于置空完后，仅剩一个头结点，队头指针与队尾指针均指向该结点）。
  

Status ClearQueue(LinkQueue *Q)
{
   
    if(QueueEmpty(*Q))
        return ERROR;
    QueuePtr p = Q->front->next; //初始指向头结点之后的一个元素
    while (p != NULL)
    {
   
        Q->front->next = p->next;    //连接p结点的后一个与前一个结点
        free(p);
        p = Q->front->next;  //p结点下移，队尾rear所指结点的指针域为NULL
    }
    Q->rear = Q->front;   //此时队列为空，要重置尾结点
    return OK;
}

（3）销毁 DestoryQueue（）

• 区别与置空操作，销毁还要释放链式队列的的头结点，而置空不是。
• 释放头结点后，注意队头指针与队尾指针的赋 NULL 操作（避免随机指针的存在，这是大忌）。
  

Status DestoryQueue