【C++】STL——stack&queue模拟实现

简介: 【C++】STL——stack&queue模拟实现

一、deque的简单介绍

1.deque的物理结构

1ecd1b2606ed46e9956a89f231c9802c.png        deque是一种双向开口的连续性空间。所谓的双向开口,意思是可以在头尾两端分别做元素的插入和删除操作。

2.deque的内部结构

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

1ecd1b2606ed46e9956a89f231c9802c.png

从deque的结构图来看map就是一个指针数组, 数组中的每个元素是一个地址,地址分别对应了一块较大的连续空间,用来存储数据。


       需要注意:map中的元素我们称之为一个一个的buffer,当开辟第一个buffer时并不是从头开辟的,而是在从中间去开辟,当这个buffer指向的空间所存储的数据已满时,想要在这个这个buffer所指向的空间前插入元素时,就会在前面开辟一块同样大小的空间,在map数组中前一个buffer就会指向这段空间,以此类推。


       deque是如何访问元素的呢?

//假设有如下定义
deque<int> dq;

1ecd1b2606ed46e9956a89f231c9802c.png

二、deque的迭代器

deque的迭代器是一个start类和finish类,分别包含了四个指针cur、first、last、node;


迭代器strart中:


cur     ----- 指向此迭代器所指缓冲区中的现行元素开头


first    ----- 指向此迭代器所指缓冲区的头


last     ----- 指向此迭代器所指缓冲区的尾(含备用空间)


node  ----- 指向的是管控中心


迭代器finish中:


cur     ----- 指向此迭代器所指缓冲区中的现行元素结尾


first    ----- 指向此迭代器所指缓冲区的头


last     ----- 指向此迭代器所指缓冲区的尾(含备用空间)


node  ----- 指向的是管控中心


通过cur指针来访问元素,当第一个buffer访问至结束时,通过node指针++操作,进入到第二个buffer,此时first、last也同时管控新的buffer;

1ecd1b2606ed46e9956a89f231c9802c.png

三、为何要选用deque作为stack和queue的默认容器

stack和queue的默认容器是deque,我们仔细思考一下,在没有deque的情况下:


对于stack:我们也可以用 vector 和 list ;对于queue:我们只能使用 list ;


问题1:stack如果选用vector,相比选用deque,哪一个更好?为什么?


deque的优势在于:扩容代价不大,不需要拷贝数据,浪费空间也不大

1ecd1b2606ed46e9956a89f231c9802c.png

问题2:stack&queue如果选用list,相比选用deque,哪一个更好?为什么?


deque的优势在于:cpu高速cache命中高,以为是一段连续的空间;此外,list需要频繁的申请小块空间。从申请和释放空间上来看,deque申请和释放空间次数少,代价低,唯一需要扩容的就是中控数组(map),但代价也很小。


总结:deque适合头尾的插入删除,但是中间插入删除和随机访问效率都差强人意。所有要高频随机访问还得是vector,要任意位置插入,还得是list;

四、stack的模拟实现

       结合上面的分析,总结下来deque在设计出来的时候还是考虑到很多地方的,在模拟实现上,我们给模板的第二个参数加上Container,它接收的是容器,如vector、list

#include<vector>
#include<list>
// 适配器模式
namespace mlg
{
    // 为了能够实现接收以下其他容器,模板参数需要加上Container
  // stack<int, vector<int>> s;
  // stack<int, list<int>> s;
  template<class T, class Container = deque<T>>//模板增加一个容器参数,给到缺省值
  class stack
  {
  public:
        //判断栈是否为空
    bool empty() const {return _con.empty();}
        //计算当前栈中有效元素的个数
    size_t size() const {return _con.size();}
        //取栈顶的元素
    const T& top() const {return _con.back();}
        //尾插(元素入栈)
    void push(const T& x) {_con.push_back(x);}
        //尾删(元素出栈)
    void pop() {_con.pop_back();}
  private:
    Container _con;//成员变量是未知的容器
  };
  void test_stack()
  {
    //stack<int, std::vector<int>> s;
    //stack<int, std::list<int>> s;
    stack<int> s;
    s.push(1);
    s.push(2);
    s.push(3);
    s.push(4);
    while (!s.empty())//判断栈是否为空
    {
      cout << s.top() << " ";//取栈顶的元素
      s.pop();//删除栈顶的元素,两个函数结合就能实现栈中元素出栈效果
    }
    cout << endl;
  }
}

五、queue的模拟实现

#include<vector>
#include<list>
namespace mlg
{
    // 为了能够实现接收以下其他容器,模板参数需要加上Container
  // stack<int, vector<int>> s;
  // stack<int, list<int>> s;
  template<class T, class Container = deque<T>>//模板增加一个容器参数,给到缺省值
  class queue
  {
  public:
        //判断队列是否为空
    bool empty() const {return _con.empty();}
        //计算当前队列中有效的元素个数
    size_t size() const {return _con.size();}
        //取队头的元素
    const T& front() const {return _con.front();}
        //取队尾的元素
    const T& back() const {return _con.back();}
        //队尾入数据
    void push(const T& x) {_con.push_back(x);}
        //队头出数据
    void pop() {_con.pop_front();}
  private:
    Container _con;//成员变量是未知的容器
  };
  void test_queue()
  {
    //queue<int, vector<int>> q;
    //queue<int, list<int>> q;
    queue<int> q;
    q.push(1);
    q.push(2);
    q.push(3);
    q.push(4);
    while (!q.empty())//判断队列是否为空
    {
      cout << q.front() << " ";//取队头的数据
      q.pop();//删除队头的数据,两个函数结合就能实现队列中元素出栈效果
    }
    cout << endl;
  }
}

       最后,对于STL之前的几篇博客还要一个知识点未曾提及,那就是迭代器相关的,将会在后续的博客中进行介绍。


目录
相关文章
|
4天前
|
编译器 C语言 C++
【c++丨STL】list模拟实现(附源码)
本文介绍了如何模拟实现C++中的`list`容器。`list`底层采用双向带头循环链表结构,相较于`vector`和`string`更为复杂。文章首先回顾了`list`的基本结构和常用接口,然后详细讲解了节点、迭代器及容器的实现过程。 最终,通过这些步骤,我们成功模拟实现了`list`容器的功能。文章最后提供了完整的代码实现,并简要总结了实现过程中的关键点。 如果你对双向链表或`list`的底层实现感兴趣,建议先掌握相关基础知识后再阅读本文,以便更好地理解内容。
14 1
|
17天前
|
算法 C语言 C++
【c++丨STL】list的使用
本文介绍了STL容器`list`的使用方法及其主要功能。`list`是一种双向链表结构,适用于频繁的插入和删除操作。文章详细讲解了`list`的构造函数、析构函数、赋值重载、迭代器、容量接口、元素访问接口、增删查改操作以及一些特有的操作接口如`splice`、`remove_if`、`unique`、`merge`、`sort`和`reverse`。通过示例代码,读者可以更好地理解如何使用这些接口。最后,作者总结了`list`的特点和适用场景,并预告了后续关于`list`模拟实现的文章。
33 7
|
2月前
|
存储 编译器 C语言
【c++丨STL】vector的使用
本文介绍了C++ STL中的`vector`容器,包括其基本概念、主要接口及其使用方法。`vector`是一种动态数组,能够根据需要自动调整大小,提供了丰富的操作接口,如增删查改等。文章详细解释了`vector`的构造函数、赋值运算符、容量接口、迭代器接口、元素访问接口以及一些常用的增删操作函数。最后,还展示了如何使用`vector`创建字符串数组,体现了`vector`在实际编程中的灵活性和实用性。
64 4
|
2月前
|
C语言 C++ 容器
【c++丨STL】string模拟实现(附源码)
本文详细介绍了如何模拟实现C++ STL中的`string`类,包括其构造函数、拷贝构造、赋值重载、析构函数等基本功能,以及字符串的插入、删除、查找、比较等操作。文章还展示了如何实现输入输出流操作符,使自定义的`string`类能够方便地与`cin`和`cout`配合使用。通过这些实现,读者不仅能加深对`string`类的理解,还能提升对C++编程技巧的掌握。
77 5
|
20天前
|
存储 编译器 C语言
【c++丨STL】vector模拟实现
本文深入探讨了 `vector` 的底层实现原理,并尝试模拟实现其结构及常用接口。首先介绍了 `vector` 的底层是动态顺序表,使用三个迭代器(指针)来维护数组,分别为 `start`、`finish` 和 `end_of_storage`。接着详细讲解了如何实现 `vector` 的各种构造函数、析构函数、容量接口、迭代器接口、插入和删除操作等。最后提供了完整的模拟实现代码,帮助读者更好地理解和掌握 `vector` 的实现细节。
30 0
|
2月前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
57 2
|
2月前
|
存储 编译器 C++
【c++】类和对象(下)(取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象)
本文介绍了C++中类和对象的高级特性,包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项,帮助读者深入了解C++面向对象编程的核心机制。
110 5
|
2月前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
109 4
|
2月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
138 4
|
3月前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
34 4