目录
一.容器适配器
1.什么是适配器
适配器是一种设计模式 (设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总结),该种模式是将一个类的接口转换成客户希望的另外一个接口。
2.STL标准库中stack和queue的底层结构
虽然stack和queue中也可以存放元素,但在STL中并没有将其划分在容器的行列,而是将其称为容器适配器,这是因为stack和队列只是对其他容器的接口进行了包装,STL中stack和queue默认使用deque,比如:

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

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

图中map为中控数组 ,来控制一维数组buffer 中的数据,当中控数组满载时,会进行realloc扩容。
**双端队列底层是一段假象的连续空间,实际是分段连续的,为了维护其"整体连续"以及随机访问的假象,落在了deque的迭代器身上,**因此deque的迭代器设计就比较复杂,如下图所示:

迭代器中有4个成员变量,first指向当前buffer数组的头部 ,last指向当前buffer数组尾部 ,cur指向当前buffer数组中访问到的结点 ,node为二级指针,指向中控数组中指向buffer数组的指针。
deque是如何借助其迭代器维护其假想连续的结构呢?

deque的start(iterator)用来控制中控数组中所指向的第一个buffer,finish(iterator) 用来控制中控数组中所指向的最后一个buffer。
头插
对于deque的头插,如果当前first所指向的buffer数组的头部还有空间,则直接在cur所指向的位置插入,如果当前first所指向的buffer数组的头部没有空间,那么在中控数组中重新申请一个buffer,更新first,再在cur位置进行插入操作:


尾插
对于deque的尾插,如果当前finish所指向的buffer数组的尾部还有空间,则直接在cur所指向的位置插入,如果当前finish所指向的buffer数组的尾部没有空间,那么在中控数组中重新申请一个buffer,更新finish,再在cur位置进行插入操作:


遍历
对于deque的遍历,可以通过begin()与end()中cur的比较 来进行,当begin()中的cur与end()中的cur相等时,说明遍历已完成,而cur在向后遍历的过程中,与list中的迭代器类似,在当前连续空间走完后,需要更新cur进入下一个buffer继续遍历,所以我们这里要将迭代器的++进行重载,这里进行一个简单的实现:

4.deque的优缺点
优点:
1.头尾插入删除效率很高,适合做stack和queue的默认适配容器。
2.下标随机访问效率也不错,与vector相比差一点
缺点:1.中间位置插入删除效率一般
2.对比vector和list没有那么极致
二.stack的模拟实现
cpp
namespace my_stack
{
// 只要支持push_back,pop_back等接口函数接可以作为stack的容器适配器
// 将适配器的尾部作为栈的开口方向,从而实现先进后出
template<class T, class Container = deque<T>>
class stack
{
public:
stack()
{}
void push(const T& x)
{
_con.push_back(x);
}
void pop()
{
_con.pop_back();
}
T& top()
{
return _con.back();
}
const T& top() const
{
return _con.back();
}
size_t size() const
{
return _con.size();
}
bool empty() const
{
return size() == 0;
}
private:
Container _con;
};
}
三.queue的模拟实现
cpp
namespace my_queue
{
// 将容器适配器的头部作为队头,将尾部作为队尾,从而实现先进先出
template<class T, class Container = deque<T>>
class queue
{
public:
queue()
{}
void push(const T& x)
{
_con.push_back(x);
}
void pop()
{
_con.pop_front();
}
T& back()
{
return _con.back();
}
const T& back() const
{
return _con.back();
}
T& front()
{
return _con.front();
}
const T& front() const
{
return _con.front();
}
size_t size()
{
return _con.size();
}
bool empty()
{
return size() == 0;
}
private:
Container _con;
};
}