本章重点
一、队列的概念及结构
队列：只允许在一端进行插入数据操作，在另一端进行删除数据操作的特殊线性表，队列具有先进先出 FIFO(First In First Out)
入队列：进行插入操作的一端称为队尾
出队列：进行删除操作的一端称为队头
- 队头：线性表允许删除的那一端。
- 队尾：线性表允许插入的那一端。
- 空队：不含任何元素的空表。
二、队列的实现方式
如图3-5所示为依次向队列中插入元素 a0，a1，…，an-1后的示意图，其中，a0是当前队头元素，an-1 是当前队尾元素。
就像在食堂买饭就餐一样，如果你在就餐人不多时去食堂就餐，你一到买饭窗口就能得到食堂服务人员的服务；但如果你在就餐人很多时去食堂就餐，你就需要在某个窗口排队等待，直到轮到你时才能得到食堂服务人员的服务。在软件设计中也经常会遇到需要排队等待服务的问题。队列可用于临时存储那些需要等待接受服务的信息序列。
队列只允许在头部插入，尾部删除，因此队列的实现一般可以使用数组或者链表实现。
1.顺序队列
如图3-6所示为一个有6个内存单元的顺序队列的动态示意图，图中front为队头指针，rear为队尾指针。图3-6 (a)表示一个空队列；图3-6 (b)表示A、B、C入队列后的状态；图3-6 (c) 为A、B出队列后的状态；图3-6 (d) 为D，E入队列后的状态。
2.链式队列
我们已知，队列是操作受限制的线性表，队列有队头和队尾，插入元素的一端称为队尾,
删除元素的一端称为队头。
链式队列的队头指针指向队列的当前头结点位置，队尾指针指向队列的当前队尾结点位置。对于不带头结点的链式队列，出队列时可直接删除队头指针所指的结点，因此链式队列没有头结点更方便。一个不带头结点、队列中有元素a0，a1，…，an-1的链式队列的结构如图3-9所示，其中，指针 front 指示的是链式队列的队头结点，指针 rear 指示的是链式队列的队尾结点。
三、链表方式实现栈接口
由于队列只允许在头部插入，尾部删除，因此我们会改变头结点，前面我们学过用二级指针和返回值两种方式来处理头结点改变，今天我们来学一种新方式：结构体修改，将队列的头结点和尾结点放入到一个结构体当中，通过结构体地址就可以修改结构体的内容，同时还加入了一个size，用来计算当前队列的长度。
typedef int QDataType;
// 单链式结构：表示队列
typedef struct QListNode
{
struct QListNode* Next;
QDataType data;
}QNode;
// 队列的结构
typedef struct Queue
{
QNode* front;
QNode* rear;
int size;
}Queue;
// 初始化队列
void QueueInit(Queue * q);
// 队尾入队列
void QueuePush(Queue* q, QDataType data);
// 队头出队列
void QueuePop(Queue* q);
// 获取队列头部元素
QDataType QueueFront(Queue* q);
// 获取队列队尾元素
QDataType QueueBack(Queue* q);
// 获取队列中有效元素个数
int QueueSize(Queue* q);
// 检测队列是否为空
bool QueueEmpty(Queue* q);
// 销毁队列
void QueueDestroy(Queue* q);1.初始化队列：void QueueInit(Queue* q)
直接将front和rear域都设置为NULL，将队列长度设置为0，
// 初始化队列
void QueueInit(Queue* q)
{
assert(q);
q->front = q->rear = NULL;
q->size = 0;
}2.队尾入队列：void QueuePush(Queue* q, QDataType data)
构造一个节点newnode，data域存储数据，next域存储NULL，若原链队为空，则将链队结点的两个域都指向结点newnode，否则将结点newnode链接到单链表末尾，并让链队结点的rear域指向它，再让队列的长度+1
// 队尾入队列
void QueuePush(Queue* q, QDataType data)
{
assert(q);
QNode* newnode = (QNode*)malloc(sizeof(QNode));
if (newnode == NULL)
{
perror("malloc fail");
exit(-1);
}
newnode->data = data;
newnode->Next = NULL;
if (q->rear == NULL)
{
q->front = q->rear = newnode;
}
else
{
q->rear->Next = newnode;
q->rear = newnode;
}
q->size++;
}3.队头出队列：void QueuePop(Queue* q)
若原链队为空，则下溢，assert断言提示错误，否则将队首结点的Next域赋值给next，并删除队首结点，若原链队只有一个结点，则需要将链队结点的两个域都设置为NULL，表示此时链队已空。然后队列长度-1.
// 队头出队列
void QueuePop(Queue* q)
{
assert(q);
//队列为空,断言
assert(!QueueEmpty(q));
//rear出现野指针的问题
if (q->front->Next == NULL)
{
free(q->front);
q->front = q->rear = NULL;
}
else
{
QNode* next = q->front->Next;
free(q->front);
q->front = next;
}
q->size--;
}4.获取队列头部元素：QDataType QueueFront(Queue* q)
// 获取队列头部元素
QDataType QueueFront(Queue* q)
{
assert(q);
//队列为空,断言
assert(!QueueEmpty(q));
return q->front->data;
}5.获取队列队尾元素：QDataType QueueBack(Queue* q)
// 获取队列队尾元素
QDataType QueueBack(Queue* q)
{
assert(q);
//队列为空,断言
assert(!QueueEmpty(q));
return q->rear->data;
}6.获取队列中有效元素个数：int QueueSize(Queue* q)
// 获取队列中有效元素个数
int QueueSize(Queue* q)
{
assert(q);
return q->size;
}7.检测队列是否为空：bool QueueEmpty(Queue* q)
// 检测队列是否为空
bool QueueEmpty(Queue* q)
{
assert(q);
//头为空，该队列就为空
//返回true - 队列就为空
//返回false - 队列不为空
return q->front == NULL;
}8.销毁队列：void QueueDestroy(Queue* q)
销毁队列创建一个结点保存下个结点的值，释放当前结点，然后依次遍历队列，依次释放结点。释放后需要将队头和队尾都置空，队列长度设置为0，由于是通过结构体去修改头结点，此时队列已经为空指针，在调用函数后，不需要手动将头指针置空。
// 销毁队列
void QueueDestroy(Queue* q)
{
assert(q);
QNode* cur = q->front;
while (cur)
{
QNode* next = cur->Next;
free(cur);
cur = next;
}
q->front = q->rear = NULL;
q->size = 0;
}四、队列面试题
1. 用队列实现栈。OJ链接
- 栈是一种后进先出的数据结构，元素从顶端入栈，然后从顶端出栈。
- 队列是一种先进先出的数据结构，元素从后端入队，然后从前端出队。
思路：
为了满足栈的特性，即最后入栈的元素最先出栈，在使用队列实现栈时，应满足队列前端的元素是最后入栈的元素。可以使用两个队列实现栈的操作，其中 queue1用于存储栈内的元素，queue2作为入栈操作的辅助队列。
入栈操作时，首先将元素入队到 queue2 ，然后将 queue1的全部元素依次出队并入队到 queue2此时 queue2的前端的元素即为新入栈的元素，再将 queue1和 queue2 互换，则 queue1 的元素即为栈内的元素，queue1的前端和后端分别对应栈顶和栈底。
由于每次入栈操作都确保 queue1的前端元素为栈顶元素，因此出栈操作和获得栈顶元素操作都可以简单实现。出栈操作只需要移除 queue1的前端元素并返回即可，获得栈顶元素操作只需要获得 queue1的前端元素并返回即可（不移除元素）。
由于 queue1用于存储栈内的元素，判断栈是否为空时，只需要判断 queue1是否为空即可。
typedef struct {
int* stk;
int stkSize;
int stkCapacity;
} Stack;
Stack* stackCreate(int cpacity) {
Stack* ret = malloc(sizeof(Stack));
ret->stk = malloc(sizeof(int) * cpacity);
ret->stkSize = 0;
ret->stkCapacity = cpacity;
return ret;
}
void stackPush(Stack* obj, int x) {
obj->stk[obj->stkSize++] = x;
}
void stackPop(Stack* obj) {
obj->stkSize--;
}
int stackTop(Stack* obj) {
return obj->stk[obj->stkSize - 1];
}
bool stackEmpty(Stack* obj) {
return obj->stkSize == 0;
}
void stackFree(Stack* obj) {
free(obj->stk);
}
typedef struct {
Stack* inStack;
Stack* outStack;
} MyQueue;
MyQueue* myQueueCreate() {
MyQueue* ret = malloc(sizeof(MyQueue));
ret->inStack = stackCreate(100);
ret->outStack = stackCreate(100);
return ret;
}
void in2out(MyQueue* obj) {
while (!stackEmpty(obj->inStack)) {
stackPush(obj->outStack, stackTop(obj->inStack));
stackPop(obj->inStack);
}
}
void myQueuePush(MyQueue* obj, int x) {
stackPush(obj->inStack, x);
}
int myQueuePop(MyQueue* obj) {
if (stackEmpty(obj->outStack)) {
in2out(obj);
}
int x = stackTop(obj->outStack);
stackPop(obj->outStack);
return x;
}
int myQueuePeek(MyQueue* obj) {
if (stackEmpty(obj->outStack)) {
in2out(obj);
}
return stackTop(obj->outStack);
}
bool myQueueEmpty(MyQueue* obj) {
return stackEmpty(obj->inStack) && stackEmpty(obj->outStack);
}
void myQueueFree(MyQueue* obj) {
stackFree(obj->inStack);
stackFree(obj->outStack);
}
2. 用栈实现队列。OJ链接
将一个栈当作输入栈，用于压入 push\ 传入的数据；另一个栈当作输出栈，用于 pop 和 peek 操作。每次 pop 或 peek 时，若输出栈为空则将输入栈的全部数据依次弹出并压入输出栈，这样输出栈从栈顶往栈底的顺序就是队列从队首往队尾的顺序。
typedef struct {
int* stk;
int stkSize;
int stkCapacity;
} Stack;
Stack* stackCreate(int cpacity) {
Stack* ret = malloc(sizeof(Stack));
ret->stk = malloc(sizeof(int) * cpacity);
ret->stkSize = 0;
ret->stkCapacity = cpacity;
return ret;
}
void stackPush(Stack* obj, int x) {
obj->stk[obj->stkSize++] = x;
}
void stackPop(Stack* obj) {
obj->stkSize--;
}
int stackTop(Stack* obj) {
return obj->stk[obj->stkSize - 1];
}
bool stackEmpty(Stack* obj) {
return obj->stkSize == 0;
}
void stackFree(Stack* obj) {
free(obj->stk);
}
typedef struct {
Stack* inStack;
Stack* outStack;
} MyQueue;
MyQueue* myQueueCreate() {
MyQueue* ret = malloc(sizeof(MyQueue));
ret->inStack = stackCreate(100);
ret->outStack = stackCreate(100);
return ret;
}
void in2out(MyQueue* obj) {
while (!stackEmpty(obj->inStack)) {
stackPush(obj->outStack, stackTop(obj->inStack));
stackPop(obj->inStack);
}
}
void myQueuePush(MyQueue* obj, int x) {
stackPush(obj->inStack, x);
}
int myQueuePop(MyQueue* obj) {
if (stackEmpty(obj->outStack)) {
in2out(obj);
}
int x = stackTop(obj->outStack);
stackPop(obj->outStack);
return x;
}
int myQueuePeek(MyQueue* obj) {
if (stackEmpty(obj->outStack)) {
in2out(obj);
}
return stackTop(obj->outStack);
}
bool myQueueEmpty(MyQueue* obj) {
return stackEmpty(obj->inStack) && stackEmpty(obj->outStack);
}
void myQueueFree(MyQueue* obj) {
stackFree(obj->inStack);
stackFree(obj->outStack);
}
3. 设计循环队列。OJ链接
顺序队列的假溢出问题
解决假溢出的方法就是后面满了，就再从头开始，也就是头尾相接的循环。我们把队列的这种头尾相接的顺序存储结构称为循环队列。当队首指针Q->front = MAXSIZE-1后，再前进一个位置就自动到0，这可以利用除法取余运算（%）来实现。
- 初始时：Q->front = Q->rear=0。
- 队首指针进1：Q->front = (Q->front + 1) % MAXSIZE。
- 队尾指针进1：Q->rear = (Q->rear + 1) % MAXSIZE。
- 队列长度：(Q->rear - Q->front + MAXSIZE) % MAXSIZE。
出队入队时，指针都按照顺时针方向前进1，如下图所示：
那么，循环队列队空和队满的判断条件是什么呢？
显然，队空的条件是 Q->front == Q->rear 。若入队元素的速度快于出队元素的速度，则队尾指针很快就会赶上队首指针，如图( d1 ）所示，此时可以看出队满时也有 Q ->front == Q -> rear 。为了区分队空还是队满的情况，有三种处理方式：
（1）牺牲一个单元来区分队空和队满，入队时少用一个队列单元，这是种较为普遍的做法，约定以“队头指针在队尾指针的下一位置作为队满的标志”，如图 ( d2 ）所示。
- 队满条件： (Q->rear + 1)%Maxsize == Q->front
- 队空条件仍： Q->front == Q->rear
- 队列中元素的个数： (Q->rear - Q ->front + Maxsize)% Maxsize
（2）类型中增设表示元素个数的数据成员。这样，队空的条件为 Q->size == O ；队满的条件为 Q->size == Maxsize 。这两种情况都有 Q->front == Q->rear
（3）类型中增设tag 数据成员，以区分是队满还是队空。tag 等于0时，若因删除导致 Q->front == Q->rear ，则为队空；tag 等于 1 时，若因插入导致 Q ->front == Q->rear ，则为队满。
typedef struct {
int front;
int rear;
int capacity;
int *elements;
} MyCircularQueue;
MyCircularQueue* myCircularQueueCreate(int k) {
MyCircularQueue *obj = (MyCircularQueue *)malloc(sizeof(MyCircularQueue));
obj->capacity = k + 1;
obj->rear = obj->front = 0;
obj->elements = (int *)malloc(sizeof(int) * obj->capacity);
return obj;
}
bool myCircularQueueEnQueue(MyCircularQueue* obj, int value) {
if ((obj->rear + 1) % obj->capacity == obj->front) {
return false;
}
obj->elements[obj->rear] = value;
obj->rear = (obj->rear + 1) % obj->capacity;
return true;
}
bool myCircularQueueDeQueue(MyCircularQueue* obj) {
if (obj->rear == obj->front) {
return false;
}
obj->front = (obj->front + 1) % obj->capacity;
return true;
}
int myCircularQueueFront(MyCircularQueue* obj) {
if (obj->rear == obj->front) {
return -1;
}
return obj->elements[obj->front];
}
int myCircularQueueRear(MyCircularQueue* obj) {
if (obj->rear == obj->front) {
return -1;
}
return obj->elements[(obj->rear - 1 + obj->capacity) % obj->capacity];
}
bool myCircularQueueIsEmpty(MyCircularQueue* obj) {
return obj->rear == obj->front;
}
bool myCircularQueueIsFull(MyCircularQueue* obj) {
return (obj->rear + 1) % obj->capacity == obj->front;
}
void myCircularQueueFree(MyCircularQueue* obj) {
free(obj->elements);
free(obj);
}
本章结束啦！！！
8252
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
