栈
概念
是一种特殊的线性,数据结构,只能在其一端进行数据的插入和删除以及元素的访问操作,将该端称为栈顶,另一端称为栈底;
特性
后进先出
应用场景
可以改变元素的序列;
括号匹配问题&逆波兰表达式求值等;
可以将递归转换为循环:二叉树前序、中序、后序非递归遍历方式;
注意:不是所有的递归转循环都需要用到栈;
栈、栈区、栈帧
栈:一种具有后进先出的数据结构
栈区:指的是一块具有特殊作用的内存区域(与函数调用相关);主要保存:函数的参数、函数中的局部变量、函数返回值信息、一些寄存器信息等;
栈帧:函数在调用时,系统会给每个函数分配一块栈内存空间,使用堆栈寄存器esp和ebp进行标记,在栈帧中保存的是一次函数调用的相关数据信息;
STL将栈的数据结构进行了封装(stack)
包含头文件:< stack>和std命名空间
函数说明 | 接口说明 |
---|---|
stack() | 构造一个栈对象 |
push() | 压栈 |
pop() | 出栈 |
top() | 获取栈顶元素 |
size() | 返回栈中元素个数 |
empty() | 检查栈是否为空 |
队列
概念
是一种特殊的数据结构,只能在其一端进行数据的插入操作(队尾),在其一端进行数据的删除操作(队头);
特性
先进先出
引用场景
广度优先遍历、生产者消费模型
STL将队列的数据结构封装queue
包含头文件< queue>和std命名空间
函数声明 | 接口说明 |
---|---|
queue() | 创建空的队列 |
push() | 在队尾入队列 |
pop() | 在队头出队列 |
front() | 获取队头元素 |
back() | 获取队尾元素 |
size() | 返回队列中有效元素个数 |
empty() | 检测队列是否为空 |
优先级队列priority_queue
1.使用时需要包含< queue>
2.底层结构:堆
堆的概念:将数据保存在一个数组中形成完全二叉树,如果该完全二叉树中任意节点的值都比其孩子节点大(小),则成为大(小)堆。
堆的特性
堆的常规操作:建堆、插入元素、删除元素、获取堆顶元素
堆的应用:堆排序、TOP-K问题
3.priority_queue的接口
函数声明 | 接口说明 |
---|---|
priority_queue()/priority_queue(first,last) | 构造一个空的优先级队列 |
empty() | 检测优先级队列是否为空,是返回true,否则返回false |
top | 返回优先级队列中最大(最小元素),即堆顶元素 |
push() | 在优先级队列中插入元素 |
pop() | 删除优先级队列中最大(最小)元素,即堆顶元素 |
双端队列deque
1.双端队列
是一种双开口的"连续"空间的数据结构,可以在头尾两端进行插入和删除操作,且时间复杂度为O(1),与vector比较,头插效率高,不需要搬移元素;与list比较,空间利用率比较高。
deque并不是真正连续的空间,而是由一段段连续的小空间拼接而成的,实际deque类似于一个动态的二维数组;
2.deque的缺陷
与vector比较,deque的优势是:头部插入和删除时,不需要搬移元素,效率特别高,而且在扩容时,也不需要搬移大量的元素,因此其效率是必vector高的;
与list比较,其底层是连续空间,空间利用率比较高,不需要存储额外字段;
但是deque有一个致命缺陷:不适合遍历,因为在遍历时,deque的迭代器要频繁的去检测其是否移动到某段小空间的边界,导致效率低下,而序列式场景中,可能需要经常遍历,因此在实际中,需要线性结构时,大多数情况下优先考虑vector和list,deque的应用并不多,而目前能看到的一个应用就是,STL用其作为stack和queue的底层数据结构。
3.为什么选择deque作为stack和queue的底层默认容器
stack是一种后进先出的特殊线性数据结构,因此只要具有push_back()和pop_back()操作的线性结构,都可以作为stack的底层容器,比如vector和list都可以;queue是先进先出的特殊线性数据结构,只要具有push_back和pop_front操作的线性结构,都可以作为queue的底层容器,比如list。
是STL中对stack和queue默认选择deque作为其底层容器,主要是因为:
- stack和queue不需要遍历(因此stack和queue没有迭代器),只需要在固定的一端或者两端进行操作;
- 在stack中元素增长时,deque比vector的效率高(扩容时不需要搬移大量数据);queue中的元素增长时,deque不仅效率高,而且内存使用率高。