【C++】STL——容器适配器 stack和queue 深度剖析及模拟实现

简介: 【C++】STL——容器适配器 stack和queue 深度剖析及模拟实现

1. stack的介绍及使用

1.1 stack的介绍

stack的文档介绍

37f3177519384cc38c9ab6a0d15dd8cc.png

stack是一种容器适配器,专门用在具有后进先出操作的上下文环境中,其删除只能从容器的一端进行

元素的插入与提取操作。

stack是作为容器适配器被实现的,容器适配器是使用特定容器类的封装对象作为其基础容器的类,提供一组特定的成员函数来访问其元素。元素从特定容器的“背面”(称为堆栈顶部)推/弹出。

stack的底层容器可以是任何标准的容器类模板或者一些其他特定的容器类,这些容器类应该支持以下

操作:

empty:判空操作

back:获取尾部元素操作

push_back:尾部插入元素操作

pop_back:尾部删除元素操作

标准容器vector、deque、list均符合这些需求,默认情况下,如果没有为stack指定特定的底层容器,默认情况下使用deque。

文档中的介绍大家有些地方可能不懂,先了解一下即可,我们后面会讲到。


stack其实就是我们之前数据结构学的栈。 所以说,它的基本使用我们其实是可以直接上手的。

0ec304d3e3b649faaaca87c5ae1436ac.png

那我我们先来看一下它的成员函数:

1ec2b0dc1c534cd2afae42c5a1b85d4e.png

🆗,那我们看到它的成员函数其实除了emplace其它的我们都是比较熟悉的。

另外,大家可能注意到,stack是不是没有迭代器啊,而我们之前学的string、vector、list都有啊,为什么呢?

39e551fb637541169b0d4ba0b3c52e52.png

我们之前学的string、vector、list都是容器,而今天要学的stack和queue 是容器适配器

281acae788b64720b84930747d569d2f.png

那我们知道stack要保证先进后出,所以其实它不需要迭代器。

1.2 stack的使用

fa5f43a152b447308c69d9d63857a380.png

那我们接下来就练习一下stack的使用。

#include <iostream>
using namespace std;
#include <stack>
int main()
{
  stack<int> st;
  st.push(1);
  st.push(2);
  st.push(3);
  st.push(4);
  st.push(5);
  st.push(6);
  while (!st.empty())
  {
    cout << st.top() << " ";
    st.pop();
  }
  cout << endl;
  return 0;
}

运行一下

4a2b529b620b4e9da8b813d9489ce9eb.png

使用也很简单,没什么可说的,大家可以自己找一下题目做一做,下一篇文章我们也会带着大家做一些相关的题目。


2. stack的模拟实现

那接下来我们就来模拟实现一下stack:

首先大家回想一下,stack就是我们数据结构学的栈,是一种操作受限制的线性表,所以它可以用链表实现,也可以用顺序表(数组)实现,不过我们当时只实现了数组栈,因为相对而言数组的结构实现更优一些。因为数组在尾上插入删除数据的代价比较小。

所以说,如果我们现在想模拟实现stack:

那传统的写法就是和我们数据结构写的一样,用一个数组去搞。

但是呢:

既然我们是模拟实现,那我们就按库里的方式来搞,用适配器(配接器)模式来实现。


2.1 适配器模式的了解

那关于适配器模式,大家可能不了解:

不过说到适配器的话,大家应该不陌生,电源适配器大家应该都见过


67911634bdaa45e7a47be895c2356fbf.png

就是这个,只不过我们平时可能不这么叫。

那大家知不知道,电源适配器的作用是啥?

🆗,它的作用其实是去转换电压


2d0d68ccdd734bf393c8dce14b2e9fd6.png

无论是电脑、手机还是其它电器,充电时都无法直接使用 220V 的交流电,为了方便用户使用,各个电器厂商都会提供一个适用于自己产品的电源线,它可以将 220V 的交流电转换成适合电器使用的低压直流电。

从用户的角度看,电源线扮演的角色就是将原本不适用的交流电变得适用,因此其又被称为电源适配器。


那容器适配器呢?


那我们一开始就提到,我们学的stack是一种容器适配器,所以它也是一样的,是用来进行转换的,对已有的容器进行转换。

简单的理解容器适配器,其就是将不适用的序列式容器(包括 vector、deque 和 list)变得适用。即通过封装某个序列式容器,并重新组合该容器中包含的成员函数,使其满足某些特定场景的需要。


适配器模式:

78b7accc6a7d4d62831fecea17db3746.png

适配器是一种设计模式(设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总

结),该种模式是将一个类的接口转换成客户希望的另外一个接口

b783447205b749a9833859c737e8b643.png

所以,按照适配器模式的思想:

如果我们现在要实现一个stack(栈),我们要自己去造轮子吗?

不要,我们是不是可以考虑对已有的容器进行封装,进行一个转换啊,通过转换来满足我们的需求。

2.2 结构

所以:

535a91a70a96409fbd3f22d9551a4d30.png

怎么做呢?

cf8a05d4ab8744edbb922bef70a10026.png

增加一个参数,这个参数就是被作为封装对象的基础容器

0a4e378008ae476d980b7e24efcd05c1.png

我们看到,库里面给Container 指定的默认容器是deque,至于deque是啥,我们后面也会讲到。

当然我们也可以自己指定容器,只要它能支持这些操作:

67f1693654894705b7f9bbea2a9bf489.png

就可以作为这里的基础容器

2.3 成员函数

那stack的成员函数:

aa4a98fa38824abfb1aa825ed710c6a0.png

常见的这些接口是不是很容易就搞定了啊。

那我们的stack就写好了,测试一下:

9396862fc86a42fea39de2e951b745cb.png

链式栈怎么搞?

174af3005003431b93c1d8de66c3d428.png

当然:

这里的Container我们最好给一个缺省值,我们说了库里面给的缺省参数是deque,deque我们还没学,我们可以先给个vector

89daa150d31c4a7ca0655e7793c159c0.png

那我们在使用的时候就可以这样写了:

14299eeb320e46708eb3f9c6c4ecbdc0.png

3. queue的介绍及使用

3.1 queue的介绍

queue的文档介绍


队列是一种容器适配器,专门用于在FIFO上下文(先进先出)中操作,其中从容器一端插入元素,另一端

提取元素。

队列作为容器适配器实现,容器适配器即将特定容器类封装作为其底层容器类,queue提供一组特定的

成员函数来访问其元素。元素从队尾入队列,从队头出队列。

底层容器可以是标准容器类模板之一,也可以是其他专门设计的容器类。该底层容器应至少支持以下操

作:

empty:检测队列是否为空

size:返回队列中有效元素的个数

front:返回队头元素的引用

back:返回队尾元素的引用

push_back:在队列尾部入队列

pop_front:在队列头部出队列

标准容器类deque和list满足了这些要求。默认情况下,如果没有为queue实例化指定容器类,则使用标准容器deque。

8c238758ef52412986ceb316934fea8f.png

相信对于queue(队列)也不用给大家过多介绍。

3.2 queue的使用

3324ff8375aa4b8cb543cd7cff621912.png

4. queue的模拟实现

那我们来快速模拟实现一下:

#pragma once
#include <list>//如果在test.cpp里包,不放在这里也可以,不会报错(虽然下面用到了list)
//因为头文件不会被编译
namespace yin
{
  template <class T, class Container = list<T>>
  class queue
  {
  public:
    bool empty()
    {
      return _con.empty();
    }
    size_t size()
    {
      return _con.size();
    }
    //取队头数据
    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();
    }
  private:
    Container _con;
  };
}

就写好了。

但是大家思考一下:

queue也是容器适配器,那它的基础容器可以是什么呢?

还可以是vector吗?

是不是就不行了啊,因为vector是不是没有pop_front这个接口啊。

7da52e55a9f34ff39d0eb4cbfc769522.png

当然你也可以借助erase去搞,但效率是不是不好啊。

所以我们可以用list:

d33eab083aea4738b9e5b07dbcaa9cf5.png

当然库里面默认给的还是deque

来试一下:

7969a5fa14f343cd939a5211e921cb7c.png

没问题。

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

通过上面的学习我们知道:


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


那deque是个啥呢,我们一起来了解一下。

6. deque的简单介绍(了解)

6.1 deque的原理介绍

bf787e5f857e4fa7b68ed2c1840cfe57.pngdeque叫做双端队列,怎么理解它呢?

🆗,那其实从它的功能上来看,我们可以认为它是vectorlist的一个结合体.

我们可以来看一下它的接口:

1e8fd6f43a8e408a9518a063670807dd.png

0100e447381d4c2ab0e4c16e6bb924b3.png

是不是好像vector和list有的功能它都同时具备,那这样看来,deque好像是个很牛逼的设计。


但是,大家想一下,它是否真的很牛逼?


如果它真的是一个很牛逼的设计,那我们数据结构的书上为什么没有学它呢?既然它这么牛,兼具vector和list的功能,那vector和list是不是就可以被淘汰了?


那它的底层到底是怎么样的呢?我们来简单了解一下:

6.2 deque的底层结构

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

3fec9f8811c74bb786071ab6171cc17d.png

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

429f65dfa7d0414c9250872ff13e030a.png

直接看这个图,大家肯定很懵,这里给大家浅浅的解释解释:

我们数据结构阶段学过顺序表和链表,并分析过它们各自的优缺点:

f0d2e5a376064a24b9fddf1f959abd50.png

那deque的产生呢大家就可以认为是想对顺序表和链表的优点进行了一个结合。

那它是怎么做的呢?

🆗,那deque其实是这样来搞的:

它是由一段段连续的小空间拼接而成的

426c8580b14f4ef382975aa18f9b9b65.png

最开始有一块空间,用完的话,我不去扩容,而是再去开一块小的空间,再用完了再去新开

f0b11cf387544b409640e9f24e671297.png

c7dafcbdd604472c95af0092e08cc0e6.png

如何把这些多个的小空间给管理起来呢

🆗,它呢又开了一个数组,这个数组是一个中控的指针数组,用来存储指向这些小块空间的指针。
但是,从开第一个小空间开始,它的指针是从中控数组的中间位置开始存储的:

6227f1d9e0dd46f1a28b084711ad2b96.png

那这样的话,如果要头插的话,我们需要像vector那样挪动数据吗?
🆗,不需要,就可以这样做:

e1ead7f31c2749dfbc22bc64c6e98548.png

尾插如果最后一个小数组后面还有空间,可以直接往后放,没有的话,就可以这样:

7628c5a374dd4298b15ab56fa333ba33.png

那大家想:


它这样的结构有没有扩容的概念(不断开小数组的过程可以认为不是扩容)?

(至于小数组是否会扩容大家可以自己控制)

🆗,它也会引发扩容,什么时候呢?

是不是中控数组满了的话就需要扩容啊。

中控指针数组扩容的话是不是代价就比较低啊,因为只拷贝指针嘛,而且是一个小数组才需要拷贝一个指针。

所以到现在我们可以得出:

与vector相比,deque的扩容代价是很低的,另外这样的结构,deque在头部尾部插入和删除数据是不是不需要挪动数据,效率比较高。


然后大家再思考一个问题:


deque支持下标的随机访问要怎么做到?

e69535d9bc1c46f1a2862208ab3d3d97.png

首先deque这样的结构,要进行随机访问,效率上肯定是没有vector高的,vector的话通过指针一加就直接访问到了。

deque如何进行随机访问呢?

那就要去算访问的数据在第几个小数组。比如现在是这样的:

21b6c23fe256403ca4d458025cc3a038.png

要访问第25个数据怎么办?

是不是要先减去第一个小数组的3个,然后/10,就可以得到它在第几个小数组里,%10,就可以得到它在第几个位置。

但是,它应该是比list随机访问的效率高的。库里面list压根就没提供operator[],为什么?就是效率太低了嘛。


6.3 deque的优点

那上面分析的这些可以认为是deque的优点:

  1. 与vector相比,扩容代价低
  2. 头部尾部插入和删除数据是不需要挪动数据,效率比较高
  3. 支持随机访问且效率比list好

6.4 deque的缺点

那它有没有什么缺点呢?


🆗,它的中间插入删除是不是很难搞啊。

当然这里采用不同的实现可能会导致效率不同。

第一种方案是每个小数组(一般叫做buff数组)的大小可以不一样,不固定,可以每个数组配一个size和capacity去控制(那这样是不是就和vector很像了),这样如果删除中间某个数据就可以只挪动当前的这一个小数组里面的数据,后面的不用动。

那这样在中间进行插入删除就会好一点,但是,这样是不是对随机访问就造成了影响,我们就不能像上面那样直接除、直接模去计算了,因为每个小数组大小不一样,那就要一个一个去减了。

那这样随机访问的效率就下去了。

而如果每个数组大小一样,中间插入删除挪动数据量是不是就大了。

所以说很难搞,当然这两种方式都可以。

那这里告诉大家SGI版本的STL里面是采用的固定大小,每个小数组大小一样。

那还有没有其它缺点?

🆗,我们看到deque看似好像兼具了vector和list功能,兼具了两者的优点,但是,这些优点在deque身上是不是没有vector和list极致啊。

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

那经过上面的分析:

我们发现,deque最突出的一个优点是啥?

是不是就是头插头删、尾插尾删效率很高啊。

而我们的stack和queue是不是都是只在两端进行操作啊,所以说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没有迭代器),只需要在固定的一端或者两端进行操作,而deque头插头删、尾插尾删效率很高.

在stack中元素增长时,deque比vector的效率高(扩容时不需要搬移大量数据);queue中的元素增长时,deque不仅效率高,而且内存使用率高(与list相比)。

结合了deque的优点,而完美的避开了其缺陷。

6.6 deque的迭代器了解

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

13ca7294a57a41a1b8f3d0ebd18b20cd.png

那deque的迭代器是什么工作原理呢?

025aeb1379374defa11bf5b45c6e8b37.png

大家来尝试看一下这张图。

我们看到deque的迭代器由四个指针组成,首先大家看出来cur指针指向的是哪里吗?

🆗,cur就是指向迭代器当前对应的那个位置,我们看到图中start的cur指针指向第一个元素的位置,finish的cur指针指向的就是最后一个元素的下一个位置。

然后,first和last就是指向其对应buffer数组的起始和结束位置。

node呢?

是不是指向其对应buffer数组的地址在中控指针数组中存储的位置。

那再问大家,如果有一个迭代器it,*it如何拿到该迭代器对应位置的数据?

🆗,是不是*cur就拿到该数据了。

那++cur是怎么走的?

如果cur不等于last,是不是++cur就行了;但是如果++cur走到last,那当前这个buffer数组是不是就遍历完了,再往后遍历的话就要去访问下一个buffer数组了,怎么办?

那这时候node是不是就起作用了,node++是不是就拿到下一个buffer数组的地址了,然后就可以访问了。

那这就是deque的迭代器的一个工作原理,大家简单了解一下。


那从这里呢其实我们还能得出:


deque有一个致命缺陷:不适合遍历,因为在遍历时,deque的迭代器要频繁的去检测其是否移动到某段小空间的边界,导致效率低下,而序列式场景中,可能需要经常遍历。

因此在实际中,需要线性结构时,大多数情况下优先考虑vector和list,deque的应用并不多,而目前能看到的一个应用就是,STL用其作为stack和queue的底层数据结构。


🆗,那我们这篇文章关于stack和queue的讲解就先到这里,欢迎大家指正!!!大家有什么问题也可以评论区或私信与我交流。

7608a1f8702444ec968eb3ede1d35df9.png

目录
相关文章
|
27天前
|
存储 设计模式 C++
【C++】优先级队列(容器适配器)
本文介绍了C++ STL中的线性容器及其适配器,包括栈、队列和优先队列的设计与实现。详细解析了`deque`的特点和存储结构,以及如何利用`deque`实现栈、队列和优先队列。通过自定义命名空间和类模板,展示了如何模拟实现这些容器适配器,重点讲解了优先队列的内部机制,如堆的构建与维护方法。
32 0
|
2月前
|
存储 搜索推荐 C++
【C++篇】深度剖析C++ STL:玩转 list 容器,解锁高效编程的秘密武器2
【C++篇】深度剖析C++ STL:玩转 list 容器,解锁高效编程的秘密武器
59 2
【C++篇】深度剖析C++ STL:玩转 list 容器,解锁高效编程的秘密武器2
|
2月前
|
存储 算法 调度
【C++打怪之路Lv11】-- stack、queue和优先级队列
【C++打怪之路Lv11】-- stack、queue和优先级队列
40 1
|
2月前
|
设计模式 存储 C++
C++之stack 和 queue(下)
C++之stack 和 queue(下)
39 1
|
2月前
|
存储 C++ 容器
【C++篇】深度剖析C++ STL:玩转 list 容器,解锁高效编程的秘密武器1
【C++篇】深度剖析C++ STL:玩转 list 容器,解锁高效编程的秘密武器
65 5
|
2月前
|
存储 编译器 C++
【C++篇】揭开 C++ STL list 容器的神秘面纱:从底层设计到高效应用的全景解析(附源码)
【C++篇】揭开 C++ STL list 容器的神秘面纱:从底层设计到高效应用的全景解析(附源码)
73 2
|
2月前
|
C++ 容器
C++之stack 和 queue(上)
C++之stack 和 queue(上)
62 0
|
2月前
|
存储 C++ 容器
C++番外篇——stack、queue的实现及deque的介绍
C++番外篇——stack、queue的实现及deque的介绍
29 0
|
2月前
|
存储 算法 C++
C++入门10——stack与queue的使用
C++入门10——stack与queue的使用
46 0
|
2月前
|
设计模式 存储 C++
【C++】C++ STL探索:容器适配器 Stack 与 Queue 的使用及模拟实现(二)
【C++】C++ STL探索:容器适配器 Stack 与 Queue 的使用及模拟实现
下一篇
DataWorks