目录
- stack介绍
- queue介绍
- 适配器
- stack的模拟实现
- queue模拟实现
- deque(了解)
stack介绍
- stack是一种容器适配器,专门用在具有后进先出操作的上下文环境中,其删除只能从容器的一端进行
元素的插入与提取操作。- stack是作为容器适配器被实现的,容器适配器即是对特定类封装作为其底层的容器,并提供一组特定
的成员函数来访问其元素,将特定类作为其底层的,元素特定容器的尾部(即栈顶)被压入和弹出。- stack的底层容器可以是任何标准的容器类模板或者一些其他特定的容器类,这些容器类应该支持以下
操作:
empty:判空操作
top:获取栈顶元素操作
push:从栈顶插入元素操作
pop:从栈顶删除元素操作- 标准容器vector、deque、list均符合这些需求,默认情况下,如果没有为stack指定特定的底层容器,
默认情况下使用deque。
- deque等会会进行介绍。
- stack参考文档
实际上我们在数据结构初阶时就已经使用过C语言模拟实现过stack(栈)了,具体可移步到——C语言实现栈。由此一文基本可以了解栈的特性及相关操作了。而今天在STL中的stack的实现与我们C语言实现的方式有所区别;stack在STL中并不是划分在容器(Containers) 一栏,而是作为容器适配器(Container adaptors)。
queue介绍
- 队列是一种容器适配器,专门用于在FIFO上下文(先进先出)中操作,其中从容器一端插入元素,另一端
提取元素。- 队列作为容器适配器实现,容器适配器即将特定容器类封装作为其底层容器类,queue提供一组特定的
成员函数来访问其元素。元素从队尾入队列,从队头出队列。- 底层容器可以是标准容器类模板之一,也可以是其他专门设计的容器类。该底层容器应至少支持以下操
作:
empty:检测队列是否为空
size:返回队列中有效元素的个数
front:返回队头元素的引用
back:返回队尾元素的引用
push_back:在队列尾部入队列
pop_front:在队列头部出队列- 标准容器类deque和list满足了这些要求。默认情况下,如果没有为queue实例化指定容器类,则使用标
准容器deque。
- queue参考文档
同样,我们也在C语言数据结构学习阶段模拟过队列(queue),C语言实现队列,该文讲解了队列特性及实现。STL中的queue的定位于stack一致;都不是划分在容器(Containers) 一栏,而是作为容器适配器(Container adaptors)。
适配器
适配器作为STL的六大组件之一
适配器(Adapters)是一种非常重要的设计概念,它允许通过一种数据结构来修改或增强另一种数据结构的接口或行为。适配器设计模式是面向对象设计中的一种结构型模式,而在STL中,它主要通过模板和继承(有时也使用组合)来实现。STL中的适配器主要包括以下几种类型:
- 容器适配器
Container Adapters
- 迭代器适配器
Iterator Adapters
- 函数适配器
Function Adapters
接下来通过对stack和queue的模拟实现来一并学习容器适配器。
stack的模拟实现
回看stack介绍部分的3,4点:stack
作为适配器,其底层结构可以是vector
,也可以是list
,因为这两个都支持stack的基本操作,所以vector
,list
都可以作为stack的底层容器。而库里stack的默认底层容器为deque
,这是因为它兼具vector
和list
的一些特点,比较适合stack
的操作。
stack的实现十分简单,因为它实际上只是另一个容器的套壳,调用的都是底层容器的相关操作。只需要关注stack的定义:第一个模板参数为具体类型,第二个参数为底层的容器,且该容器默认为deque
为了不和库里的stack发生冲突,将模拟实现的stack封在自己的命名空间里。在这模拟实现中你会发现没有默认成员函数;这是因为stack类中只有一个成员,该成员为传入容器的对象,而底层容器早就是实现好的,实例化该对象时会自动调用它的默认成员函数,所以stack不需要再去实现自己的默认成员函数。只需要实现stack的基本操作push
pop
top
empty
size
,当然这些操作也是不需要手撕的,都是调用底层容器的相关操作。
namespace djs
{
//老方法
//template<class T>
//class stack
//{
//
//private:
// T* _a;
// size_t _top;
// size_t _capacity;
//
//};
//适配器模式:list,vector,deque都可以作为底层容器
template<class T,class Container=deque<T>>
//template<class T,class Container=list<T>>
//template<class T,class Container=vector<T>>
class stack//stack为容器适配器,通过对特定类封装作为其底层的容器
{
public:
//不需要写默认函数,因为封装了其他类作为底层容器,直接用对应类的就可以
void push(const T& x)
{
_con.push_back(x);
}
void pop()
{
_con.pop_back();
}
T& top()
{
return _con.back();
}
bool empty()
{
return _con.empty();
}
size_t size()
{
return _con.size();
}
private:
Container _con;//stack的成员为第二个模板参数,默认为deque这个容器
};
queue模拟实现
观察queue
的结构发现,它和stack是一样的;两者都为容器适配器,实现逻辑是一致的。
queue
的底层容器同样也可以使用list
vector
deque
实现;默认使用deque
,因为stack,queue只会在头尾操作,而deque
则是非常适合这一模式,所以采用deque
作为默认实现的容器。
namespace djs
{
template<class T,class Container=deque<T>>
//template<class T, class Container = list<T>>
//template<class T, class Container = vector<T>>
class queue//,也为空间适配器,与stack同理
{
public:
void push(const T& x)
{
_con.push_back(x);
}
void pop()
{
_con.pop_front();
}
T& back()
{
return _con.back();
}
T& front()
{
return _con.front();
}
bool empty()
{
return _con.empty();
}
size_t size()
{
return _con.size();
}
private:
Container _con;
};
deque(了解)
deque
(双端队列)是C++标准模板库(STL)中的一个序列容器,它允许在容器的前端和后端快速插入和删除元素。与vector
相比,deque
不保证所有元素都存储在连续的内存位置,但它提供了在容器两端进行操作的性能优势。这使得deque
成为在需要频繁在容器两端进行操作的场景下的理想选择。
deque并不是真正连续的空间,而是由一段段连续的小空间拼接而成的,可以理解为将数组都当作链表的节点,再将其串起来;所以就造成了有连续但是不完全连续的空间。实际deque类似于一个动态的二维
数组,其底层结构如下图所示:
双端队列的结构:
先构造出大小为 N 的小数组(缓冲区),这些小数组是双端队列存储元素的地方。
再构造出一个 map 作为主控数组(通过链式结构链接),数组中元素为数组指针,用来管理一段一段的数组。
- map为一个中控数组(不是STL中的map),用map来管理一个一个连续空间的数组。
双端队列底层是一段假象的连续空间,实际是分段连续的,为了维护其“整体连续”以及随机访问的假象,落
在了deque的迭代器身上,因此deque的迭代器设计就比较复杂,如下图所示:
cur
指向当前需要的数据位置first
指向 buffer 数组起始位置last
指向 buffer 数组终止位置node
反向指向中控数组
deque的优点
与vector比较,deque的优势是:头部插入和删除时,不需要搬移元素,效率特别高,而且在扩容时,也不
需要搬移大量的元素,因此其效率是必vector高的。
与list比较:其底层是连续空间,空间利用率比较高,不需要存储额外字段。
deque的缺陷
deque有一个致命缺陷:不适合遍历,因为在遍历时,deque的迭代器要频繁的去检测其是否移动到
某段小空间的边界,导致效率低下,而序列式场景中,可能需要经常遍历,因此在实际中,需要线性结构
时,大多数情况下优先考虑vector和list,deque的应用并不多,而目前能看到的一个应用就是,STL用其作
为stack和queue的底层数据结构。
凑巧的是,stack和queue
可以避开缺陷,因为 stack和queue
不需要遍历(因此stack和queue没有迭代器),只需要在固定的一端或者两端进行操作,同时汲取其优点,因此双端队列为容器适配器的默认底层容器。
对于这种中庸且复杂的容器,只需要做简单了解就行了。
介绍,模拟实现两种简单的数据结构,其一般作为容器适配器,底层由别的容器实现。