《重生之霸道总裁爱上学数据结构的我（三）》之没人比我更懂栈和队列
个人主页-爱因斯晨
文章专栏-霸道总裁爱上学数据结构的我
一、前言
我们在前两篇文章中讲到顺序表和链表其都是线性结构，我们今天讲的栈和队列也是特殊的线性表。顺序表和链表没有所谓的进出限制，但是我们今天要讲的栈就不一样，他有特殊的进栈和出栈顺序，只允许在一端进行插入和删除。也就是说后进先出，先进后出。但是队列呢，只允许从前面插入，后面出。也就是他俩是特殊的线性结构，所以在基本操作上和前文的线性表和链表有一定相似之处。
二、栈
只允许在一端进行插入和删除操作的线性表
空栈，没有元素。
栈顶允许插入和删除，栈底不允许。
2.1顺序栈
就是用顺序方式存储的栈就是顺序栈。
顺序栈的定义
这里用top指针来标记栈顶位置，初始化时top = -1，表示栈是空的。就像刚买的空盘子架，还没放任何盘子。
#defineMAXSIZE100//栈的最大容量#include<stdio.h>#include<stdlib.h>#include<stdbool.h>typedefstruct{//顺序栈的结构体int data[100];//栈的数组int top;//栈顶指针}SqStack;//顺序栈的类型定义初始化
//初始化操作voidInitStack(SqStack *S){ S->top =-1;//将栈顶指针设为-1}//判断栈是否为空 bool StackEmpty(SqStack *S){if(S->top ==-1){return true;//栈为空}else{return false;//栈不为空}}进栈操作
进栈就像往盘子架上放新盘子，只能放在最上面：
//进栈操作 bool Push(SqStack *S,int x){if(S->top == MAXSIZE){return false;//栈满} S->top++;//栈顶指针加1 S->data[S->top]= x;//将x入栈return true;//入栈成功}先检查栈是不是满了（top等于最大容量），没满的话就把top往上挪一位，再把数据放进去。
出栈操作
出栈则是从最上面拿走一个盘子：
//出栈操作 bool Pop(SqStack *S,int*x){if(S->top ==-1){return false;//栈为空}*x = S->data[S->top];//将栈顶元素出栈 S->top--;//栈顶指针减1return true;//出栈成功}先检查栈是不是空的，不空的话就把栈顶元素取出来，再把top往下挪一位。
获取栈顶元素
有时候我们只想看看最上面的盘子是啥样，不想拿走它：
//获取栈顶元素 bool GetTop(SqStack *S,int*x){if(S->top ==-1){return false;//栈为空}*x = S->data[S->top];//将栈顶元素赋值给xreturn true;//获取成功}这个操作和出栈的区别是，top指针不会移动，只是 “偷看” 一眼。
2.2共享栈
共享栈是个节省空间的小能手，它让两个栈共享同一块数组空间，栈底分别在数组的两端，向中间生长。就像两个霸道总裁共用一个衣帽间，一人占一边，谁也不打扰谁。
建立
//共享栈建立typedefstruct{//共享栈的结构体int data[100];//栈的数组int top;//栈顶指针int top1;//栈底指针}SharedStack;//共享栈的类型定义初始化
初始化时，第一个栈的top在 - 1，第二个栈的top1在最大容量处：
//初始化voidInitSharedStack(SharedStack *S){ S->top =-1;//将栈顶指针设为-1 S->top1 = MAXSIZE;//将栈顶指针设为最大容量}这样两个栈就可以向中间扩展，直到top + 1 == top1时，表示栈满。
2.3链栈
链栈就是用链表实现的栈，链表的头结点作为栈顶，这样进栈和出栈操作都能在 O (1) 时间内完成，比顺序栈更灵活（不用提前规定大小）。
建立
//链栈建立typedefstruct{int data[100];int top;//栈顶指针structLinkNode*next;//指向下一个节点的指针}LinkStack;//链栈的类型定义这里栈顶指针就是链表的头指针，进栈就是在头结点前插入新节点，出栈就是删除头结点。
三、队列
队列和栈正好相反，它是 “先进先出”（FIFO，First In First Out）的，就像排队买奶茶 —— 先到的人先拿到奶茶。只能在队尾插入（入队），在队头删除（出队）。
顺序队列用数组实现，但有个小问题：如果单纯地让front指向队头，rear指向队尾，随着入队和出队操作，front和rear都会往后移动，可能导致数组前面的空间浪费。
定义
初始化时，front和rear都指向 0：
//队列定义typedefstruct{int data[100];//队列的数组int front;//队头指针int rear;//队尾指针}SqQueue;//链队列的类型定义初始化队列
//初始化队列 void InitQueue(SqQueue *Q) { Q->front = Q->rear = 0; //将队头指针和队尾指针设为0 } 判断队列是否为空
//判断队列是否为空 bool QueueEmpty(SqQueue *Q){if(Q->front == Q->rear){return true;//队列为空}else{return false;//队列不为空}}入队操作
//入队操作 bool EnQueue(SqQueue *Q,int x){if(Q->rear == MAXSIZE){return false;//队列满} Q->data[Q->rear]= x;//将x入队 Q->rear++;//队尾指针加1return true;//入队成功}把数据放在rear指向的位置，再把rear往后挪一位。
出队操作
//出队操作 bool DeQueue(SqQueue *Q,int*x){if(Q->front == Q->rear){return false;//队列为空}*x = Q->data[Q->front];//将队头元素赋值给x Q->front++;//队头指针加1return true;//出队成功}取出front指向的元素，再把front往后挪一位。
判断队列的满和空
法一：
上面的方法有个缺陷：rear到达数组末尾时，即使前面有空位，也会被判为队满。解决这个问题有几种方法：
//判断队列是否为空 bool GetHead(SqQueue Q,int*x){if(Q.rear==Q.front)//队列为空return false;*x=Q.data[Q.front];//将队头元素赋值给xreturn true;}法二：定义长度问题
增加一个size变量记录队列长度，队满条件是size == MaxSize，队空条件是size == 0。
#defineMaxSize10typedefstruct{int data[10];int front,rear;int size;//队列当前长度}SqQueue;//插入成功：size++ 删除成功size--//初始化时：rear=front=0,size=0//队满条件：size==MaxSize //队空条件：size==0法三：
增加一个tag变量，记录最近操作是插入（1）还是删除（0）。队满条件是front == rear && tag == 1，队空条件是front == rear && tag == 0。
#defineMaxSize10typedefstruct{int data[10];int front,rear;int tag;//最近进行的是删除/插入 初始化时，rear=front=0;tag=0}SqQueue;每次删除操作成功时，都令tag=0
每次插入操作成功时，都令tag=1
只有删除操作，才可能导致队空，只有插入操作，才可能导致队满
队满条件：frontrear&&tag1
队空条件：frontrear&&tag0
链式存储实现队列
链式队列用链表实现，队头指针指向头结点，队尾指针指向最后一个节点，这样入队和出队操作都很方便。
定义一个链式队列
//链队列的节点类型定义typedefstructLinkNode{int data;//数据域structLinkNode*next;//指向下一个节点的指针}LinkNode;//链队列的节点类型定义typedefstruct{ LinkNode *front ,*rear;//队头指针和队尾指针}LinkQueue;//链队列的类型定义初始化（带头结点）
头结点不存数据，只是为了操作方便。
//初始化链队列voidInitoQueue(LinkQueue *Q){//初始时队头指针和队尾指针都指向头结点 Q->front = Q->rear =(LinkNode *)malloc(sizeof(LinkNode)); Q->front->next =NULL;//头结点的next指针设为NULL}//判断队列是否为空 bool QueueoEmpty(LinkQueue *Q){if(Q->front == Q->rear){return true;//队列为空}else{return false;//队列不为空}}初始化队列不带头结点
//判断队列是否为空 bool QueueoEmpty(LinkQueue *Q) { if (Q->front == Q->rear) { return true; //队列为空 } else { return false; //队列不为空 } } 入队（带头结点）
入队就是在队尾添加新节点，然后把rear移到新节点。
//入队操作（带头结点） bool EnQueueo(LinkQueue *Q,int x){//创建一个新节点 LinkNode *s =(LinkNode *)malloc(sizeof(LinkNode));if(s ==NULL){return false;//内存分配失败} s->data = x;//将x赋值给新节点的数据域 s->next =NULL;//将新节点的next指针设为NULL Q->rear->next = s;//将原队尾节点的next指针指向新节点 Q->rear = s;//将队尾指针指向新节点return true;//入队成功}入队（不带头结点）
//入队操作（不带头结点） bool EnQueueo(LinkQueue *Q,int x){//创建一个新节点 LinkNode *s =(LinkNode *)malloc(sizeof(LinkNode));if(s ==NULL){return false;//内存分配失败} s->data = x;//将x赋值给新节点的数据域 s->next =NULL;//将新节点的next指针设为NULL//若队列为空（首次入队），队头和队尾都指向新节点if(QueueoEmpty(Q)){ Q->front = s; Q->rear = s;}else{//队列非空时，队尾节点的next指向新节点，再移动队尾指针 Q->rear->next = s; Q->rear = s;}return true;//入队成功}不带头结点的链式队列入队操作，核心区别在于需要处理 “首次入队” 的特殊情况：
- 当队列是空的时候（
front和rear都为NULL），新节点既是队头也是队尾，所以front和rear要同时指向这个新节点 - 非空队列时，操作和带头结点类似：让当前队尾的
next指向新节点，再把rear移到新节点上
出队（带头结点）
// 出队操作（带头结点） bool DeQueueo(LinkQueue *Q,int*x){// 队列为空时无法出队if(QueueoEmpty(Q)){return false;} LinkNode *p = Q->front->next;// p指向队头元素节点*x = p->data;// 保存出队元素的值 Q->front->next = p->next;// 头结点跳过队头元素，指向其后继// 若出队的是最后一个元素，队尾指针需指向头结点（保持空队列状态）if(Q->rear == p){ Q->rear = Q->front;}free(p);// 释放出队节点的内存return true;}- 队头元素始终是
front->next指向的节点（头结点不存储数据） - 出队时只需修改头结点的
next指针，最后一个元素出队时需将rear重置为头结点
出队（不带头结点）
// 出队操作（不带头结点） bool DeQueueo(LinkQueue *Q,int*x){// 队列为空时无法出队if(QueueoEmpty(Q)){return false;} LinkNode *p = Q->front;// p指向队头元素节点（不带头结点时front直接指向队头）*x = p->data;// 保存出队元素的值// 若队列只有一个元素，出队后队头队尾均置空if(Q->front == Q->rear){ Q->front = Q->rear =NULL;}else{// 队列有多个元素时，队头指针后移 Q->front = Q->front->next;}free(p);// 释放出队节点的内存return true;}- 队头指针
front直接指向队头元素（首个数据节点） - 出队时需直接移动
front指针，最后一个元素出队后需将front和rear均置为NULL
队列满的条件
顺序存储，预分配的空间耗尽时队满
链式存储，一般不会队满，除非内存不足
四、总结：
栈和队列都是特殊的线性表，只是对操作的位置做了限制：
- 栈：只允许在栈顶操作，后进先出
- 队列：只允许在队尾入队、队头出队，先进先出
它们的实现可以用数组（顺序存储）或链表（链式存储），各有优缺点：
- 顺序存储：访问快，但大小固定（或需要扩容）
- 链式存储：大小灵活，但访问需要遍历指针
就像霸道总裁的两种处事风格：栈是 “后来者居上”，队列是 “按规矩办事”，各有各的适用场景。掌握它们的逻辑和实现，对于理解更复杂的数据结构至关重要。
