1. stack的介绍和使用
1.1 stack的介绍
1. stack是一种容器适配器,专门用在具有后进先出操作的上下文环境中,其删除只能从容器的一端进行元素的插入与提取操作。
2. stack是作为容器适配器被实现的,容器适配器即是对特定类封装作为其底层的容器,并提供一组特定的成员函数来访问其元素,将特定类作为其底层的,元素特定容器的尾部(即栈顶)被压入和弹出。
3. stack的底层容器可以是任何标准的容器类模板或者一些其他特定的容器类,这些容器类应该支持以下操作:
empty:判空操作
back:获取尾部元素操作
push_back:尾部插入元素操作
pop_back:尾部删除元素操作
4. 标准容器vector、deque、list均符合这些需求,默认情况下,如果没有为stack指定特定的底层容器,默认情况下使用deque。
1.2 stack的使用
这些使用我们C语言时学习栈和队列就已经很熟悉了:
函数说明 |
接口说明 |
stack() |
构造空的栈 |
empty() |
检测stack是否为空 |
size() |
返回stack中元素的个数 |
top() |
返回栈顶元素的引用 |
push() |
将元素val压入stack中 |
pop() |
将stack中尾部的元素弹出 |
2 栈的模拟实现
这儿与之前list的反向迭代器一样,用的时一种适配器模式,并不需要自己再造一遍轮子,我们打开stack官网看看官方对栈的介绍:
大家或许就有了疑问,这个deque<T>是个什么鬼呀?这个我们在下面会详细介绍,至于这里为啥会用deque<T>来作为缺省参数我们在下面讲解duque会给出详细解释。
接下来就给出stack的模拟实现:
namespace grm { template<class T,class Container=deque<T>> class stack { private: Container _con; public: bool empty() { return _con.empty(); } const T& top() { return _con.back(); } void push(const T& x) { _con.push_back(x); } void pop() { _con.pop_back(); } size_t size() { return _con.size(); } }; }
用了适配器的原理写栈会轻松很多。
3 queue的介绍和使用
3.1 queue的介绍
1. 队列是一种容器适配器,专门用于在FIFO上下文(先进先出)中操作,其中从容器一端插入元素,另一端提取元素。
2. 队列作为容器适配器实现,容器适配器即将特定容器类封装作为其底层容器类,queue提供一组特定的成员函数来访问其元素。元素从队尾入队列,从队头出队列。
3. 底层容器可以是标准容器类模板之一,也可以是其他专门设计的容器类。该底层容器应至少支持以下操作:
empty:检测队列是否为空
size:返回队列中有效元素的个数
front:返回队头元素的引用
back:返回队尾元素的引用
push_back:在队列尾部入队列
pop_front:在队列头部出队列
4. 标准容器类deque和list满足了这些要求。默认情况下,如果没有为queue实例化指定容器类,则使用标准容器deque。
3.2 queue的使用
函数声明 |
接口说明 |
queue() |
构造空的队列 |
empty() |
检测队列是否为空,是返回true,否则返回false |
size() |
返回队列中有效元素的个数 |
front() |
返回队头元素的引用 |
back() |
返回队尾元素的引用 |
push() |
在队尾将元素val入队列 |
pop() |
将队头元素出队列 |
4 queue的模拟实现
namespace grm { template<class T, class Container = deque<T>> class queue { private: Container _con; public: bool empty() { return _con.empty(); } const T& front() { return _con.front(); } const T& back() { return _con.back(); } void push(const T& x) { _con.push_back(x); } void pop() { _con.pop_front(); } }; }
5 deque的介绍
5.1deque的原理介绍
deque( 双端队列 ) :是一种双开口的 " 连续 " 空间的数据结构 ,双开口的含义是:可以在头尾两端进行插入和删除操作,且时间复杂度为 O(1) ,与 vector 比较,头插效率高,不需要搬移元素;与 list 比较,cpu高速缓存命中高,不会频繁申请释放空间 。
起初deque设计出来是想要融合vector和list的优点想要代替他们,但是结果却差强人意。尽管deque与vector比较,头插效率高,与list比较,cpu高速缓存命中高。但是却比不了vector的O(1)的任意位置随机访问,list的任意位置O(1)插入删除。
所以deque是代替不了vector和list的,我们只需要大概了解一下原理,并不需要去模拟实现一下:
deque 并不是真正连续的空间,而是由一段段连续的小空间拼接而成的,实际 deque 类似于一个动态的二维数组 ,其底层结构如下图所示:
上面的中控器用的是一个指针数组维护的,用数组中的指针指向每一个buffer,buffer的具体大小是由编译器所决定的。
5.2 deque的缺陷
与 vector 比较 , deque 的优势是:头部插入和删除时, 不需要搬移元素,效率特别高 ,而且在 扩容时,也不需要搬移大量的元素 ,因此在这方面的效率是比 vector 高的。
与 list 比较 ,其底层是连续空间, 空间利用率比较高 ,不需要存储额外字段。
但是, deque 有一个致命缺陷:不适合遍历,因为在遍历时, deque 的迭代器要频繁的去检测其是否移动到某段小空间的边界,导致效率低下 ,而序列式场景中,可能需要经常遍历,因此 在实际中,需要线性结构 时,大多数情况下优先考虑 vector 和 list , deque 的应用并不多,而 目前能看到的一个应用就是, STL 用其作 为 stack 和 queue 的底层数据结构。
5.3 为什么选择deque作为stack和queue的底层默认容器
stack 是一种后进先出的特殊线性数据结构,因此只要具有 push_back() 和 pop_back() 操作的线性结构,都可以作为 stack 的底层容器,比如 vector 和 list 都可以; queue 是先进先出的特殊线性数据结构,只要具有 push_back 和 pop_front 操作的线性结构,都可以作为 queue 的底层容器,比如 list 。但是 STL 中对 stack 和 queue 默认选择 deque 作为其底层容器,主要是因为:
1. stack 和 queue 不需要遍历 ( 因此 stack 和 queue 没有迭代器 ) ,只需要在固定的一端或者两端进行操作。
2. 在 stack 中元素增长时, deque 比 vector 的效率高 ( 扩容时不需要搬移大量数据 ) ; queue 中的元素增长时, deque 不仅效率高,而且内存使用率高。
结合了 deque 的优点,而完美的避开了其缺陷。