基本概念
- 队列:只允许在一端进行插入数据操作,在另一端进行删除数据操作的特殊线性表,队列具有先进先出 FIFO(First In First Out) 的性质。
- 入队列:进行插入操作的一端称为队尾。
- 出队列:进行删除操作的一端称为队头。
- 入队 / 出队示意图:
功能实现
由于队列的操作时只在一端入队,在另一端出队,所以此处我们选择数组来实现的话,就会造成在数组尾入队 / 出队的时间复杂度虽然为 O(1),但是在数组头出队 / 入队的时间复杂度为 O(n),所以并不是最优选择。
我们可以用链表来实现,并在头结点中多加一个尾指针指向尾结点,那么在链表头尾进行操作都是 O(1) 的时间复杂度,所以下面我们就使用链表来实现各种接口。
//这是 .h 部分的代码
#pragma once
//使用这种方式来重命名数据类型,这样可以很方便的修改后续数据的数据类型,相当于#define的作用
typedef int QueueType;
//创建队列
typedef struct Queue {
//队列保存的数据
QueueType _date;
//指向下一个结点的指针
struct Queue* _next;
}Queue;
//创建头结点
typedef struct QueueHead {
//头结点中存放两个指针
//指向首节点的指针
Queue* _head;
//指向尾结点的指针
Queue* _tail;
}QHead;
//包含所有函数的声明
// 初始化队列
void QueueInit(QHead* q);
//创建结点
Queue* QueueCenter(QueueType val);
// 队尾入队列
void QueuePush(QHead* q, QueueType val);
// 队头出队列
void QueuePop(QHead* q);
// 获取队列头部元素
QueueType QueueFront(QHead* q);
// 获取队列队尾元素
QueueType QueueBack(QHead* q);
// 获取队列中有效元素个数
int QueueSize(QHead* q);
// 检测队列是否为空,如果为空返回非零结果,如果非空返回0
int QueueEmpty(QHead* q);
// 销毁队列
void QueueDestroy(QHead* q);
//这是 .c 部分的代码
#include<stdio.h>
#include<stdlib.h>
#include"queue.h"
// 初始化队列
void QueueInit(QHead* q) {
//参数合法性检验
if (q == NULL) {
return;
}
//初始化结点
q->_head = q->_tail = NULL;
}
//创建结点
Queue* QueueCenter(QueueType val) {
Queue* newNode = (Queue*)malloc(sizeof(Queue));
newNode->_date = val;
newNode->_next = NULL;
return newNode;
}
// 队尾入队列
void QueuePush(QHead* q, QueueType val) {
//参数合法性检验
if (q == NULL) {
return;
}
//分两种情况插入
//如果一个元素都没有,那么就让头指针和尾指针指向插入的节点
if (q->_head == NULL) {
q->_head = q->_tail = QueueCenter(val);
return;
}
//如果有元素,那么就在尾结点后面插入一个元素,并修改尾指针指向
q->_tail->_next = QueueCenter(val);
q->_tail = q->_tail->_next;
}
// 队头出队列
void QueuePop(QHead* q) {
//参数合法性检验
if (q == NULL) {
return;
}
//保留头结点
Queue* node = q->_head;
//修改头结点指向
q->_head = node->_next;
//释放头结点
free(node);
//如果此时头指针指向空,那就说明队列空了,让为指针也指向空
if (q->_head == NULL) {
q->_tail = NULL;
}
}
// 获取队列头部元素
QueueType QueueFront(QHead* q) {
//此处不好做参数合法性检验,因为不能以任何值作为出错后的返回值
return q->_head->_date;
}
// 获取队列队尾元素
QueueType QueueBack(QHead* q) {
//此处不好做参数合法性检验,因为不能以任何值作为出错后的返回值
return q->_tail->_date;
}
// 获取队列中有效元素个数
int QueueSize(QHead* q) {
//参数合法性检验
if (q == NULL) {
return 0;
}
//从队头结点开始遍历,如果不为空,计数器加一,更新指针
Queue* node = q->_head;
int count = 0;
while (node) {
count++;
node = node->_next;
}
return count;
}
// 检测队列是否为空,如果为空返回非零结果,如果非空返回0
int QueueEmpty(QHead* q) {
//参数合法性检验,如果不合法直接返回不为0的数
if (q == NULL || q->_head == NULL) {
return 1;
}
return 0;
}
// 销毁队列
void QueueDestroy(QHead* q) {
//参数合法性检验
if (q == NULL) {
return;
}
//循环释放空间
Queue* node = q->_head;
q->_head = q->_tail = NULL;
while (node) {
Queue* temp = node;
node = node->_next;
free(temp);
}
}
int main() {
QHead head;
QueueInit(&head);
QueuePush(&head, 0);
QueuePush(&head, 9);
QueuePush(&head, 1);
QueuePush(&head, 4);
while (QueueEmpty(&head) == 0) {
printf("%d\n", QueueFront(&head));
QueuePop(&head);
}
return 0;
}
循环队列
循环队列是一种特殊的队列,循环队列一般是固定好长度的,下面我用两种方法来实现循环队列;
数组方法
数组创建循环队列;动态开辟所需大小的数组空间,设置两个标志位 front 和 rear,在一开始 front = rear =0 下标,而判空正是使用这个条件;但是判满就不能使用 front == rear,所以我们可以在申请空间时多申请一个结点,开辟 k + 1 个空间,因此判满的条件就是 rear + 1 == front,但是这样子很容易超出数组访问权限,所以条件变为 (rear + 1)%(k + 1)== front;
//这是 .h 部分的代码
#pragma once
//使用这种方式来重命名数据类型,这样可以很方便的修改后续数据的数据类型,相当于#define的作用
typedef int QueueType;
//使用数组创建循环队列
typedef struct MyCircularQueue {
//首元素下标
size_t _front;
//尾元素下标
size_t _rear;
//动态开辟数组空间
QueueType* _date;
//数组大小
size_t _k;
}MyCircularQueue;
//所有函数的声明
//数组循环队列初始化
void myCircularQueueInit(MyCircularQueue* obj, int k);
//数组循环队列入队
void myCircularQueueEnQueue(MyCircularQueue* obj, QueueType value);
//数组循环队列出队
void myCircularQueueDeQueue(MyCircularQueue* obj);
//返回数组循环队列队首元素
QueueType myCircularQueueFront(MyCircularQueue* obj);
//返回数组循环队列队尾元素
QueueType myCircularQueueRear(MyCircularQueue* obj);
//数组循环队列判空,为空返回非零值,非空返回 0
int myCircularQueueIsEmpty(MyCircularQueue* obj);
//数组循环队列判满,若满返回非零值,不满返回 0
int myCircularQueueIsFull(MyCircularQueue* obj);
//数组循环队列释放
void myCircularQueueFree(MyCircularQueue* obj);
//这是 .c 部分的代码
#include<stdio.h>
#include<stdlib.h>
#include"loopqueue.h"
//数组循环队列初始化
void myCircularQueueInit(MyCircularQueue* obj, int k) {
//参数合法性检验
if (obj == NULL) {
return;
}
//数组大小为所能存储最大元素个数加一
obj->_date = (int*)malloc(sizeof(int) * (k + 1));
//数组大小 _k 就为 k + 1;
obj->_k = k + 1;
obj->_front = obj->_rear = 0;
}
//数组循环队列入队
void myCircularQueueEnQueue(MyCircularQueue* obj, QueueType value) {
//参数检验,如果队列满了,就返回
if (obj == NULL || (obj->_rear + 1) % obj->_k == obj->_front) {
return;
}
//插入元素,更新尾下标
obj->_date[obj->_rear] = value;
obj->_rear = (obj->_rear + 1) % obj->_k;
}
//数组循环队列出队
void myCircularQueueDeQueue(MyCircularQueue* obj) {
//参数检查,如果队列为空,就返回
if (obj == NULL || obj->_front == obj->_rear) {
return;
}
//因为这是数组,所以就不需一个一个释放空间,只需将头下表变化即可
obj->_front = (obj->_front + 1) % obj->_k;
}
//返回数组循环队列队首元素
QueueType myCircularQueueFront(MyCircularQueue* obj) {
//此处参数检查不好做,返回任何值都有可能是队首元素
return obj->_date[obj->_front];
}
//返回数组循环队列队尾元素
QueueType myCircularQueueRear(MyCircularQueue* obj) {
//此处参数检查不好做,返回任何值都有可能是队首元素
//此处需要注意,如果 _rear == 0,那么就不能返回 _rear -1 下标的元素,而是数组的最后一个元素,也就是 _k - 1 下标的元素
if (obj->_rear == 0) {
return obj->_date[obj->_k - 1];
}
return obj->_date[obj->_rear - 1];
}
//数组循环队列判空,为空返回非零值,非空返回 0
int myCircularQueueIsEmpty(MyCircularQueue* obj) {
//参数合法性检验,如果 front == rear 就说明队列为空
if (obj == NULL || obj->_front == obj->_rear) {
return 1;
}
return 0;
}
//数组循环队列判满,若满返回非零值,不满返回 0
int myCircularQueueIsFull(MyCircularQueue* obj) {
//参数合法性检验
if (obj == NULL) {
return 0;
}
//如果 (rear + 1) % k == front 就说明队列满了
if ((obj->_rear + 1) % obj->_k == obj->_front) {
return 1;
}
return 0;
}
//数组循环队列释放
void myCircularQueueFree(MyCircularQueue* obj) {
//参数合法性检验
if (obj == NULL) {
return;
}
//释放自己动态申请的空间
free(obj->_date);
}
链表方法
链表创建循环队列;需要注意的是,链表的结点是一个一个申请的,所以无法像数组一样确定最后的结点,所以必须设置一个有效元素个数 size,一个所需结点个数 capacity,然后可以利用这两个数据的大小关系来确定循环队列的头尾;
链表实现的循环队列看起来确实不太像循环的,但是因为有 capacity,这代表了最大的结点个数,所以当 size == capacity,那么就会满队列了;
//这是 .h 部分的代码
#pragma once
//使用这种方式来重命名数据类型,这样可以很方便的修改后续数据的数据类型,相当于#define的作用
typedef int QueueType;
//使用链表创建循环队列
//链表结点
typedef struct MyQueue {
QueueType _date;
struct MYQueue* _next;
}MyQueue;
typedef struct MyCircularQueue1 {
//指向第一个结点
MyQueue* _front;
//指向最后一个节点,设置该指针是为了获取尾结点方便
MyQueue* _rear;
//有效元素个数
size_t _size;
//最大元素个数
size_t _capacity;
}MyCircularQueue1;
//以链表方式创建循环队列
//链表循环队列初始化
void myCircularQueueInit1(MyCircularQueue1* obj, int k);
//开辟链表结点空间
MyQueue* myQueueCreate(QueueType value);
//链表循环队列入队
void myCircularQueueEnQueue1(MyCircularQueue1* obj, QueueType value);
//链表循环队列出队
void myCircularQueueDeQueue1(MyCircularQueue1* obj);
//返回链表循环队列队首元素
QueueType myCircularQueueFront1(MyCircularQueue1* obj);
//返回链表循环队列队尾元素
QueueType myCircularQueueRear1(MyCircularQueue1* obj);
//链表循环队列判空,为空返回非零值,非空返回 0
int myCircularQueueIsEmpty1(MyCircularQueue1* obj);
//链表循环队列判满,若满返回非零值,不满返回 0
void myCircularQueueIsFull1(MyCircularQueue1* obj);
//链表循环队列释放
void myCircularQueueFree1(MyCircularQueue1* obj);
//这是 .c 部分的代码
//链表循环队列初始化
void myCircularQueueInit1(MyCircularQueue1* obj, int k) {
//参数合法性检验
if (obj == NULL) {
return;
}
obj->_front = obj->_rear = NULL;
//一开始有效元素设置为 0,最大元素为 k
obj->_size = 0;
obj->_capacity = k;
}
//开辟链表结点空间
MyQueue* myQueueCreate(QueueType value) {
//动态开辟结点
MyQueue* mq = (MyQueue*)malloc(sizeof(MyQueue));
mq->_date = value;
mq->_next = NULL;
return mq;
}
//链表循环队列入队
void myCircularQueueEnQueue1(MyCircularQueue1* obj, QueueType value) {
//参数检查,如果队列满了,就返回
if (obj == NULL || obj->_capacity == obj->_size) {
return;
}
//分两种情况向队列中插入,若队列为空,则 front 和 rear 都指向插入的节点
if (obj->_size == 0) {
obj->_front = obj->_rear = myQueueCreate(value);
obj->_size++;
}
//若队列非空,则在最后一个节点后插入,更新 rear 指针指向
else {
obj->_rear->_next = myQueueCreate(value);
obj->_rear = obj->_rear->_next;
obj->_size++;
}
}
//链表循环队列出队
void myCircularQueueDeQueue1(MyCircularQueue1* obj) {
//参数检查,空队列就返回
if (obj == NULL || obj->_size == 0) {
return;
}
//分两种情况插入,如果队列只有一个元素时,删除该节点,然后 front 和 rear 同时置NULL
if (obj->_size == 1) {
free(obj->_front);
obj->_front = obj->_rear = NULL;
obj->_size = 0;
}
//如果元素不为一,就删除第一个结点,然后修改 front 指向
else {
MyQueue* node = obj->_front;
obj->_front = node->_next;
free(node);
obj->_size--;
}
}
//返回链表循环队列队首元素
QueueType myCircularQueueFront1(MyCircularQueue1* obj) {
//此处参数检查不好做,返回任何值都有可能是队首元素
return obj->_front->_date;
}
//返回链表循环队列队尾元素
QueueType myCircularQueueRear1(MyCircularQueue1* obj) {
//此处参数检查不好做,返回任何值都有可能是队首元素
return obj->_rear->_date;
}
//链表循环队列判空,为空返回非零值,非空返回 0
int myCircularQueueIsEmpty1(MyCircularQueue1* obj) {
//参数合法性检验
if (obj == NULL || obj->_size == 0) {
return 1;
}
return 0;
}
//链表循环队列判满,若满返回非零值,不满返回 0
void myCircularQueueIsFull1(MyCircularQueue1* obj) {
//参数合法性检验
if (obj == NULL) {
return 0;
}
//当 _size == _capacity 就认为满了
if (obj->_size == obj->_capacity) {
return 1;
}
return 0;
}
//链表循环队列释放
void myCircularQueueFree1(MyCircularQueue1* obj) {
//参数合法性检验
if (obj == NULL) {
return;
}
//循环释放动态申请的节点,直到 _size 等于 0
while (obj->_size) {
MyQueue* node = obj->_front;
obj->_front = node->_next;
free(node);
obj->_size--;
}
//全部置为 NULL 防止出现野指针
obj->_rear = obj->_front = NULL;
}
int main() {
//循环队列的长度
int n = 10;
MyCircularQueue q1;
myCircularQueueInit(&q1, n);
MyCircularQueue1 q2;
myCircularQueueInit1(&q2, n);
return 0;
}