一篇文章搞懂数据结构中的栈和队列

栈和队列

写在前面的一些话，发现数据结构还是学了c++之后再学比较简单一些，说的是学习难度低了点，不过有可能对c++库函数的底层逻辑掌握不清楚，但是对于做题而言，知道原理之后能做题就够了。当然用c语言手搓这些库也不是没有好处，就是提升了代码编写的能力。

栈

栈的概念及结构

• 栈：一种特殊的线性表，其只允许在固定的一端进行插入和删除元素操作。进行数据插入和删除操作的一端
  称为栈顶，另一端称为栈底。栈中的数据元素遵守后进先出LIFO（Last In First Out）的原则。
• 压栈：栈的插入操作叫做进栈/压栈/入栈，入数据在栈顶。
• 出栈：栈的删除操作叫做出栈。出数据也在栈顶。

栈的实现

栈的实现一般可以使用数组或者链表实现，相对而言数组的结构实现更优一些。因为数组在尾上插入数据的代价比较小。但是实际中一般不用静态的栈，所以我们主要实现支持动态增长的栈，这里的动态增长还是用的数组，不过就是能增容了。

栈的性质

栈的性质是不稳定的，由于栈是先进后出，在入数据的过程中出数据，就会改变数据的顺序，比如1234入栈，可能的结果有4321，3421，2431，1432……

栈的结构体成员

typedef struct Stack
{
	STDataType* _a;	// 维护申请在堆上的数组
	int _top; // 栈顶
	int _capacity; // 容量
}Stack;

从现在开始，结构体的成员变量都要用下划线来标记“_”，比如栈顶之前都是用“top”，现在要改成"_top"

栈的增删查改

// 入栈（增）
void StackPush(Stack* ps, STDataType data)
{
	assert(ps);
	if (ps->_top == ps->_capacity) // 如果栈满了，就增容
	{
		ps->_capacity *= 2; // 增2倍理论
		STDataType* tmp = (STDataType*)realloc(ps->_a,sizeof(STDataType) * ps->_capacity);
		if (tmp == NULL)
			exit(-1);
		ps->_a = tmp; // 用tmp来维护申请的空间，对tmp判空处理之后就把空间交给_a
	}
	ps->_a[ps->_top] = data;
	ps->_top++;
}
// 出栈（删）
void StackPop(Stack* ps)
{
	assert(ps);
	assert(ps->_top != 0); // 判空处理
	(ps->_top)--;
}
// 获取栈顶元素（查/改）// 栈就没有改的必要了，因为栈只能获取栈顶的数据，所以改这个数据，还不如直接弹出再重新写入呢
STDataType StackTop(Stack* ps)
{
	assert(ps);
	return ps->_a[ps->_top - 1];// 因为top始终比数据靠后一步
}

函数的命名（在JAVA里面）有两种：

• 小驼峰命名：myStackQueue，第一个单词全小写，剩下的单词首字母全大写
• 大驼峰命名：MyStackQueue，所有单词首字母全大写

关于栈的练习题20. 有效的括号 - 力扣（LeetCode）

关于其他栈的接口

因为这个栈是用c语言手搓的，栈的结构体成员中top既指向新数据插入的空间，也代表当前栈中元素的个数

获取栈的有效元素的个数就是看top

检测栈是否为空，看top是否为0

销毁栈就是释放掉数组，再释放这个栈的各个成员

好了，关于栈的知识点就这些了

---

队列

队列的概念及结构

队列：只允许在一端进行插入数据操作，在另一端进行删除数据操作的特殊线性表，队列具有先进先出
FIFO(First In First Out) 。

入队（Enqueue）：进行插入操作的一端称为队尾

出队（Dequeue）：进行删除操作的一端称为队头

队列的实现

队列也可以数组和链表的结构实现，使用链表的结构实现更优一些，因为如果使用数组的结构，出队列在数组头上出数据，效率会比较低。使用数组的时候，对头出数据之后，如果是后面所有数据都往前挪，很浪费时间。如果不处理对头的空间就会造成空间浪费。所以一般是用单链表来实现。为什么是单链表呢，如果是双链表，就可以双端出数据了和c++里面的队列库函数就不一样了。

队列的性质

队列的性质特别稳定，任何时候插入或弹出数据，都不会改变最终的结果，比如，1234进入，出来的顺序只会是1234

队列的结构体成员

typedef struct QListNode // 队列的节点
{ 
 	struct QListNode* _pNext; 
 	QDataType _data; 
}QNode; 

typedef struct Queue // 指向对头队尾的指针
{ 
	QNode* _front; 
	QNode* _rear; 
}Queue; 

队列的增删查改

// 队尾入队列
void QueuePush(Queue* q, QDataType data)// 尾接
{
	assert(q);
	QNode* newNode = (QNode*)malloc(sizeof(QNode));
	newNode->_data = data;
	newNode->_pNext = NULL;
	if (q->_front == NULL) // 第一个节点特殊处理，让对头队尾同时指向这个空间
	{
		q->_front = q->_rear = newNode;
	}
	else
	{
		q->_rear->_pNext = newNode;
		q->_rear = q->_rear->_pNext;
	}
}
// 队头出队列
void QueuePop(Queue* q) // 头删
{
	assert(q);
	QNode* first = q->_front;
	q->_front = q->_front->_pNext;
	free(first);
}
// 获取队列头部元素
QDataType QueueFront(Queue* q)
{
	assert(q);
	return q->_front->_data;
}
// 获取队列队尾元素
QDataType QueueBack(Queue* q)
{
	assert(q);
	return q->_rear->_data;
}

队列的其他接口

因为这里实现队列用是单链表，所以不能直接获取，除非在定义队列的时候设一个变量单独储存节点的个数。既然没用设立这个变量，那就只能用一个指针从对头遍历到队尾了。

检测队列是否为空，就看看对头是否指向空

环形队列

622. 设计循环队列 - 力扣（LeetCode）

环形队列也叫循环队列，一般用数组实现比较简单一些，也可以用链表来实现。说是在计算机操作系统课程中有一个生产者和消费者模型中会用到。

所谓的循环队列并不是真正意义上的环状结构，可能链表是一个环结构吧，但是数组是无法成环的，只能是用指针连接，数组也不能放指针啊，除非是指针数组，那样就太麻烦了。

这里是建立一个一维数组，题里要这个队列可以放k个元素，那我们就申请k个int的数组，为了避免不知队列元素的情况，我们一直在设计这个队列的时候用一个变量来记录，也可以用这个变量来确定队列为空还是满。可以省去很多麻烦，也就没必要用k+1个空间，多出来的那一个空间单独判断队列的情况了。有了这一个变量就够了。

回到重点，如何实现循环队列，做法就是每次头下标，或是尾下标到头了，就把这俩节点归0，归0就是让下一次数据的插入或者访问来到起始位置。这样就是循环了。而且队列的长度不会改变，队列用过的空间也不会浪费。

栈和队列的相互转换

这俩题我都解过了，思路写在题解里面贴上链接，就不再重复了

栈实现队列

题目：232. 用栈实现队列 - 力扣（LeetCode）

题解：简单题 用栈实现对列-CSDN博客

队列实现栈

题目：225. 用队列实现栈 - 力扣（LeetCode）

题解：简单题 用队列实现栈-CSDN博客