数据结构--队列

1. 基本概念

队列是最常见的概念，日常生活经常需要排队，仔细观察队列会发现，队列是一种逻辑结构，是一种特殊的线性表。特殊在：

• 只能在固定的两端操作线性表

只要满足上述条件，那么这种特殊的线性表就会呈现一种“先进先出”的逻辑，这种逻辑就被称为队列。

由于约定了只能在线性表固定的两端进行操作，于是给队列这种特殊的线性表的插入删除，起个特殊的名称：

• 队头：可以删除节点的一端
• 队尾：可以插入节点的一端
• 入队：将节点插入到队尾之后，函数名通常为enQueue()
• 出队：将队头节点从队列中剔除，函数名通常为outQueue()
• 取队头：取得队头元素，但不出队，函数名通常为front()

由于这种固定两端操作的简单约定，队列获得了“先进先出”的基本特性，如下图所示：

2. 顺序存储的队列：循环队列

与其他的逻辑结构类似，队列可以采用顺序存储形成循环队列，也可以采用链式存储形成链式队列。顺序存储的队列之所以被称为循环队列，是因为可以利用更新队头队尾的下标信息，来循环地利用整个数组，出队入队时也不必移动当中的数据。循环队列示意图如下所示：

从上述动图中可以观察到，需要牺牲至少数组中的一个存储位置，来区分循环队列中的满队和空队。满队和空队的约定如下：

• 当front与rear相等时，队列为空
• 当rear循环加一与front相等时，队列为满

与其他数据结构一样，管理循环队列除了需要一块连续的内存之外，还需要记录队列的总容量、当前队列的元素个数、当前队头、队尾元素位置，如果有多线程还需要配互斥锁和信号量等信息，为了便于管理，通常将这些信息统一于在一个管理结构体之中：

struct seqQueue
{
    datatype *data; // 循环队列入口
    int capacity;   // 循环队列总容量
    int front;      // 循环队列队头元素下标
    int rear;       // 循环队列队头元素下标
};

• 循环队列的基本操作

// 初始化空队列
seqQueue * initQueue(int cap)
{
	*pq = (sequeue *)malloc(sizeof(sequeue));
	(*pq)->front = (*pq)->rear = MAXSIZE - 1;
}

// 判断队列是否为空
bool isEmpty(seqQueue *q)
{
	return q->front == q->rear;
}

// 判断队列是否已满
bool isFull(seqQueue *q)
{
	return (q->rear+1)%q->capacity == q->front;
}

// 出队
bool outQueue(seqQueue *q, datatype *pm)
{
	if(isEmpty(q))
		return false;

	*pm = q->data[q->front];
	q->front = (q->front + 1) % q->capacity;

	return true;
}

// 入队
bool enQueue(seqQueue *q, datatype data)
{
	if(isFull(q))	
		return false;

	q->data[q->rear] = data;
	q->rear = (q->rear + 1) % q->capacity;

	return true;
}

注意：
循环队列中，需要牺牲一个存储位置来区分空队和满队

 

3. 链式存储的队列：链式队列

链式队列的组织形式与链表无异，只不过插入删除被约束在固定的两端。为了便于操作，通常也会创建所谓管理结构体，用来存储队头指针、队尾指针、队列元素个数等信息：

从上图可以看到，链式队列主要控制队头和队尾，由于管理结构体中保存了当前队列元素个数size，因此可以不必设计链表的头节点，初始化空队列时只需要让队头队尾指针同时指向空即可。

以下是队列链表节点设计和管理结构体设计的示例代码：

// 链式队列节点
typedef struct node
{
    datatype data;
    struct node *next;
}node;

// 链式队列管理结构体
typedef struct
{
    node *front; // 队头指针
    node *rear;  // 队尾指针

    int  size;   // 队列当前元素个数
}linkQueue;

链式队列的基本操作

// 初始化空队列
linkQueue *initQueue()
{
    linkQueue *q = (linkQueue *)malloc(sizeof(linkQueue))
    if(q != NULL)
    {
        q->front = NULL;
        q->rear  = NULL;
        
        q->size  = 0;
    }

    return q;
}

// 判断队列是否为空
bool isEmpty(linkQueue *q)
{
    return q->size == 0;
}

// 入队
bool enQueue(linkQueue *q, datatype data)
{
    // 创建新节点
    node *new = malloc(sizeof(node));
    if(new == NULL)
        return false;

    new->data = data;
    new->next = NULL;

    // 入队分两种情况：
    // 1. 当前队列为空，则新节点是队列的唯一节点
    if(isEmpty(q))
        q->front = q->rear = new;

    // 2. 否则队列不为空，将新节点拼接到队尾之后
    else
    {
        q->rear->next = new;
        q->rear = new;
    }

    q->size++;
    return true;
}

// 出队
bool outQueue(linkQueue *q, datatype *pm)
{
    if(isEmpty(q))
        return false;

    // 返回用户数据
    *pm = q->front->data;

    // 更新队头队尾指针，分两种情况：
    // 1. 当前队列只有一个元素，出队后队列为空，此时队头队尾指针都必须更新
    if(q->size == 1)
    {
        free(q->front);
        q->front = NULL;
        q->rear  = NULL;
    }

    // 2. 否则，只需更新队头指针即可
    else
    {
        node *tmp = q->front;
        q->front = q->front->next;

        tmp->next = NULL;
        free(tmp);
    }

    q->size--;
    return true;
}

// 取队头元素
bool front(linkQueue *q, datatype *pm)
{
    if(isEmpty(q))
        return false;

    *pm = q->front->data;
    return true;
}