1.队列的基本概念
队列(Queue):是只允许在一端进行插入,在另一端删除的线性表
重要术语:队头,队尾,空队列
执行删除操作
队列的特点:先进先出
First In First Out(FIFO)
2.队列的基本操作
InitQueue(&Q):初始化队列,构造一个空队列Q。
DestoryQueue(&Q):销毁队列。销毁并释放队列Q所占用的内存空间。
EnQueue(&Q,x):入队,若队列Q未满,将x加入,使之成为新的队尾。
DeQueue(&Q,&x);出队,若队列Q非空,删除队头元素,并用x返回。
GetHead(Q,&x):读队头元素,若队列Q非空,则将队头元素赋值给x。
QueueEmpty(Q):判队列空,若队列Q为空返回true,否则返回false。
3.队列的顺序实现
定义队列:
//定义其结构体
#define MaxSize 10 //定义队列中元素最大个数
typedef struct{
ElemType data[MaxSize];//用静态数组存放队列元素
int front,rear; //队头指针和队尾指针
int size; //队列当前长度
} SqQueue;
void testQueue(){
SqQueue Q; //声明一个队列(顺序存储)
//后续操作。。。
}
初始化队列:
void InitQueue(SqQueue &Q){
//初始时,队头,队尾指针指向0
Q.rear=Q.front=0;
}
void testQueue(){
//声明一个队列(顺序存储)
SqQueue Q;
InitQueue(Q);
//后续操作。。。
}
判断队列已满/已空:
bool QueueEmpty(SqQueue Q){
if(size==MaxSize) //队满 size==0时队空
return true;
else
return false;
}
获取队头元素的值:
bool GetHead(SqQueue Q,ElemType &x){
if(Q.rear==Q.front) //判断队列是否为空
return false; //队列为空则报错
x=Q.data[Q.front]; //吧队头指针指向的元素赋值给x
return true;
}
4.循环队列相关操作
循环队列:用模运算(取余运算)将存储空间在逻辑上变成了“环状”。
判断队列已满:队尾指针的下一个位置是队头,即
(Q.rear+1)%MaxSize==Q.front
判断队列为空:
Q.rear==Q.front
求队列元素的个数:
(rear+MaxSize-front)%MaxSize
入队操作:(在队尾插入一个元素)
bool EnQueue(SqQueue &Q,ElemType x){
if((Q.rear+1)%MaxSize==Q.front)//判断队列是否已满(检查队尾指针的后一个位置是否等于队头指针指向的位置,若果是则表示队列已经存满,相当于浪费了一个数据空间)
return false; //队列已满则报错
Q.data[Q.rear]=x; //新元素插入队尾
Q.rear=(Q.rear+1)%MaxSize; //队尾指针加1再取模(即求余数)
return true;
}
出队操作:(删除一个队头元素,并用x返回)
bool DeQueue(SqQueue &Q,ElemType &x){
if(Q.rear==Q.front) //判断队列是否为空
return false; //队列为空时报错
x=Q.data[Q.front]; //把队头指针指向的数据元素赋值给x
Q.front=(Q.front+1)%MaxSize;//把队头指针往后移一位
return true;
}
5.队列的链式实现
链队列:用链式存储实现的队列
链式存储的队列一般不会队满,除非内存不足
5.1定义链队列
typedef struct LinkNode{ //链式队列结点
ElemType data;
struct LinkNode *next;
}LinkNode;
typedef struct{ //链式队列
LinkNode *front,*rear; //队列的队头和队尾指针
}LinkQueue;
5.2带头结点的情况
初始化队列:
void InitQueue(LinkQueue &Q){
Q.front=Q.rear=(LinkNode*)malloc(sizeof(LinkNode));//申请一个头结点,并让front和rear同时指向头结点
Q.front->next=NULL; //头结点next指针指向null
}
void testLinkQueue(){
LinkQueue Q; //声明一个队列
InitQueue(Q); //初始化队列
//后续操作。。。
}
判断队列是否为空:
bool IsEmpty(LinkQueue Q){
if(Q.front==Q.rear)//front和rear指针指向同一个结点时为空
return true;
else
return false;
}
当头结点的next指针指向null也可以判断队列为空
入队操作:
void EnQueue(LinkQueue &Q,ElemType x){
LinkNode *s=(LinkNode *)malloc(sizeof(LinkNode));//申请新结点,并让指针s指向它
s->data=x; //把数据元素x放到新结点中
s->next=NULL; //把新结点指针域指向NULL
Q.rear->next=s; //把rear指针指向的结点的next指针域指向新结点
Q.rear=s; //修改表尾指针指向新的表尾结点
}
出队操作:
bool DeQueue(LinkQueue &Q,ElemType &x){
if(Q.front==Q.rear) //判断队列是否为空
return false; //空队返回false
LinkNode *p=Q.front->next;//让p指针指向要删除的结点(即头结点的下一个结点)
x=p->data; //用变量x返回队头元素,所以最上方的x前加了引用符号&
Q.front->next=p->next; //修改头结点的next指针
if(Q.rear==p) //若此次删除的结点p正好是队列最后一个结点
Q.rear=Q.front;//则需要修改队尾指针的位置
free(p); //释放删除的结点空间
return true;
}
5.3不带头结点的情况
初始化队列:
void InitQueue(LinkQueue &Q){
//申请一个头结点,并让front和rear同时指向头结点
Q.front=NULL;
Q.rear=NULL;
}
判断队列是否为空:
bool IsEmpty(LinkQueue Q){
if(Q.front==NULL)//front为空则队列为空
return true;
else
return false;
}
入队操作:
void EnQueue(LinkQueue &Q,ElemType x){
LinkNode *s=(LinkNode *)malloc(sizeof(LinkNode));//申请新结点,并让指针s指向它
s->data=x; //把数据元素x放到新结点中
s->next=NULL; //把新结点指针域指向NULL
if (Q.front == NULL){ //判断队列是否为空
Q.front = s; //若队列为空则此结点为第一个结点,需要修改队头队尾指针都指向第一个结点
Q.rear = s;
}else{
Q.rear->next=s; //把rear指针指向的结点的next指针域指向新结点
Q.rear=s; //修改表尾指针指向新的表尾结点
}
}
出队操作:
bool DeQueue(LinkQueue &Q,ElemType &x){
if(Q.front==NULL) //判断队列是否为空
return false; //空队返回false
LinkNode *p=Q.front;//让p指针指向要删除的结点(即头结点的下一个结点)
x=p->data; //用变量x返回队头元素,所以最上方的x前加了引用符号&
Q.front=p->next;//由于没有头结点每次出队后都要修改头指针的指向
if(Q.rear==p){ //若此次删除的结点p正好是队列最后一个结点
Q.front=NULL;//队头指针指向NULL
Q.rear=NULL;//队尾指针指向NULL,恢复成空队状态
}
free(p); //释放删除的结点空间
return true;
}
6.双端队列
双端队列:只允许从两端插入,两端删除的线性表
输入受限的双端队列:只允许从一端插入,两端删除的线性表
输出受限的双端队列:只允许从两端插入,一端删除的线性表