STL中的stack和queue

本章我们接着上篇内容来讲一下STL库中的stack和queue的底层结构！

目录

1. 容器适配器

1.1 什么是适配器

1.2 STL标准库中stack和queue的底层结构

1.3 deque的简单介绍

1.3.1 deque的原理介绍

1.3.2 deque的缺陷

1.4 为什么选择deque作为stack和queue的底层默认容器

2. STL标准库中对于stack和queue的模拟实现

2.1 stack的模拟实现

2.2 queue的模拟实现

---

1. 容器适配器

1.1 什么是适配器

适配器是一种设计模式(设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总 结) ，该种模式是将一个类的接口转换成客户希望的另外一个接口。

 

1.2 STL标准库中stack和queue的底层结构

虽然 stack 和 queue 中也可以存放元素，但在 STL 中并没有将其划分在容器的行列，而是将其称为 容器适配 器 ，这是因为 stack 和队列只是对其他容器的接口进行了包装， STL 中 stack 和 queue 默认使用 deque ，比如：

1.3 deque的简单介绍

1.3.1 deque的原理介绍

deque( 双端队列 ) ：是一种双开口的 " 连续 " 空间的数据结构 ，双开口的含义是：可以在头尾两端进行插入和删除操作，且时间复杂度为O(1) ，与 vector 比较，头插效率高，不需要搬移元素；与 list 比较，空间利用率比较高。

deque 并不是真正连续的空间，而是由一段段连续的小空间拼接而成的，实际 deque 类似于一个动态的二维 数组 ，其底层结构如下图所示：

双端队列底层是一段假象的连续空间，实际是分段连续的，为了维护其 “ 整体连续 ” 以及随机访问的假象，落 在了 deque 的迭代器身上， 因此 deque 的迭代器设计就比较复杂，如下图所示：

那 deque 是如何借助其迭代器维护其假想连续的结构呢？

1.3.2 deque的缺陷

        与vector 比较 ， deque 的优势是：头部插入和删除时， 不需要搬移元素，效率特别高 ，而且在 扩容时，也不 需要搬移大量的元素 ，因此其效率是必 vector 高的。

        与list 比较 ，其底层是连续空间， 空间利用率比较高 ，不需要存储额外字段。

        但是，deque 有一个致命缺陷：不适合遍历，因为在遍历时， deque 的迭代器要频繁的去检测其是否移动到 某段小空间的边界，导致效率低下 ，而序列式场景中，可能需要经常遍历，因此 在实际中，需要线性结构 时，大多数情况下优先考虑 vector 和 list ， deque 的应用并不多，而 目前能看到的一个应用就是， STL 用其作 为 stack 和 queue 的底层数据结构 。

1.4 为什么选择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 的优点，而完美的避开了其缺陷。

2. STL标准库中对于stack和queue的模拟实现

2.1 stack的模拟实现

#include<deque>
namespace mystack
{
     template<class T, class Con = deque<T>>
     //template<class T, class Con = vector<T>>
     //template<class T, class Con = list<T>>
     class stack
     {
     public:
         stack() {}

         void push(const T& x) {_c.push_back(x);}

         void pop() {_c.pop_back();}

         T& top() {return _c.back();}

         const T& top()const {return _c.back();}

         size_t size()const {return _c.size();}

         bool empty()const {return _c.empty();}

     private:
         Con _c;
     };
}

2.2 queue的模拟实现

#include<deque>
#include <list>
namespace myqueue
{
     template<class T, class Con = deque<T>>
     //template<class T, class Con = list<T>>
     class queue
     {
     public:
         queue() {}

         void push(const T& x) {_c.push_back(x);}

         void pop() {_c.pop_front();}

         T& back() {return _c.back();}

         const T& back()const {return _c.back();}

         T& front() {return _c.front();}

         const T& front()const {return _c.front();}

         size_t size()const {return _c.size();}

         bool empty()const {return _c.empty();}

     private:
         Con _c;
     };
}

本章完！