本章重点
一、队列的概念及结构
队列:只允许在一端进行插入数据操作,在另一端进行删除数据操作的特殊线性表,队列具有先进先出 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);
}
本章结束啦!!!