C++迈向精通：STL的Deque复现

已于 2024-06-09 23:02:43 修改
阅读量1k 收藏 21
点赞数 24
分类专栏： C++学习 C++算法 文章标签： c++ 算法
于 2024-06-09 23:02:05 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_74239689/article/details/139566907
版权

C++迈向精通：STL的Deque复现

最近忙着写一个其他的小玩意，好久没更新博客了，手痒更新一下：
本期来讲一讲C++中的STL中的deque的底层实现原理。

deque的地位

STL中的deque的地位很高
主要原因是由于泛型思想和对于其他容器的影响，
因为queue以及stack都是基于deque实现的。

实现deque需要思考的几点

这次我没有向上篇博客一样提前查看 deque 的源码，但是基本的实现方式我已经猜的七七八八了。

主要是下面亮点：

  • 数据的存储方式
  • 支持的基本操作

存储方式

双端队列，底层实现应当是一个双向链表，节点中应该有两个指针，指向相同类型的节点。
还有一个指针指向需要存储的数据区域。

支持的基本操作

  • 两头元素的压入与弹出
  • 队列清空
  • 迭代器的遍历访问和随机访问（这个似乎不需要实现，但是当时我给写出来了）

实现过程

程序的设计方法是从具体到抽象的，因此我们可以先来尝试将支持的操作写出来：

int main() {
  my::deque<int> dq; // 定义了一个双端队列

  _PrintLine_("input");  // 这个是一个宏，用于打印一个标题，测试时便于观察

  std::cout << "dq.init..." << std::endl;
  // 压入1到10的元素
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }
  std::cout << "dq.init done." << std::endl;

  // 测试大小
  _PrintLine_("size");
  std::cout << "dq.size() = " << dq.size() << std::endl;

  // 队列的弹出测试
  _PrintLine_("pop and front");
  std::cout << "dq.pop..." << std::endl;
  for (int i = 0; i < 10; ++i) {
    std::cout << dq.front() << std::endl;
    dq.pop_front();
  }
  std::cout << "dq.pop done" << std::endl;

  // 再次压入
  _PrintLine_("init again");
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }

  // 队列的判空测试和清空测试
  _PrintLine_("clear and empty");
  std::cout << "dq.clear() ..." << std::endl;
  dq.clear();
  std::cout << "dq.clear() done" << std::endl;
  
  if (dq.empty()) {
    std::cout << "dq is empty." << std::endl;
  } else {
    std::cout << "dq isn't empty." << std::endl;
  }

  std::cout << "init again..." << std::endl;
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }

  if (dq.empty()) {
    std::cout << "dq is empty." << std::endl;
  } else {
    std::cout << "dq isn't empty." << std::endl;
  }
  
  _PrintLine_("auto text");
  // 迭代器测试
  for (auto x : dq) {
    std::cout << x << std::endl;
  }
  
  return 0;
}

下面是上面程序的那个标题输出宏的代码：

#define _PrintLine_(str) \
    for (int i = 0; i < 20; ++i) { \
      std::cout << '='; \
    } \
    std::cout << #str; \
    for (int i = 0; i < 20; ++i) { \
      std::cout << '='; \
    } \
    std::cout << std::endl;

接下来才是正题：
首先来实现底层的数据结构，双向链表的节点：

节点中有三个元素：

  • 指向上一个节点的指针
  • 指向下一个节点的指针
  • 指向数据区的指针

关于这个指向数据区域的指针，其实也可以写成静态成员，但是这样的话，数据就会被存放在栈区，我一个强迫症还是觉得栈区的空间太小，而且我个人比较喜欢对堆区进行操作（虽然有讨厌的内存泄漏问题），因此将其改成指针，实际上我猜测STL源码中的 deque 的数据应该是存放在栈区中的。

class _deque_node {
  typedef _deque_node _node;
public:
  _deque_node() : _data(new T()), _prev(nullptr), _next(nullptr) {}
  _deque_node(T &data) : _data(new T(data)), _prev(nullptr), _next(nullptr) {}
  _deque_node(T &&data) : _data(new T()), _prev(nullptr), _next(nullptr) {
    *_data = data;
  }
  ~_deque_node() {
    delete _data;
    _prev = nullptr;
    _next = nullptr;
  }

  T *_data;
  _node *_prev;
  _node *_next;
};

为了方便，我没有将节点中的成员变量设置为私有权限。
另外，这个右值引用的有参构造应该是用不到的，可以删除，只不过我喜欢在写构造函数的时候喜欢写全一点。

具体实现方法不做详细解释，上面的代码相信有基础语法基础的人应该都能看懂。（毕竟我写的那么规范！）

迭代器先放在一边，我们先来写主要的内容，双端队列。

双端队列的成员应该有三个：

  • 指向头节点的指针
  • 指向尾节点的指针
  • 长度
  size_t _size;
  _node *_head; // 虚拟头节点 
  _node *_tail;

为什么要设置一个虚拟头节点呢？这是因为如果没有设置虚拟头节点，那么在定义这个容器时，两个指针就都会指向空地址，这样的话在插入之前就需要进行一次特殊判断了，对于大量数据的插入会降低速度。

构造函数：

  deque() : _head(new _node()), _tail(_head), _size(0) {}

接下来就是对应方法的实现：

首先是最简单的 size 和 判空 方法:

  size_t size() const {
    return _size;
  }

  bool empty() const {
    return _size == 0;
  }

然后是，两端的压入方法：

  void push_front(T &data) {
    _node *new_node = new _node(data);
    new_node->_next = this->_head->_next;
    this->_head->_next->_prev = new_node;
    this->_head->_next = new_node;
    new_node->_prev = this->_head;
    _size += 1;
  }

  void push_back(T &data) {
    _node *new_node = new _node(data);
    this->_tail->_next = new_node;
    new_node->_prev = this->_tail;
    this->_tail = new_node;
    _size += 1;
  }

然后是两端的弹出方法：

  void pop_front() {
    if (empty()) return ;
    if (this->_size == 1) {
      delete this->_tail;
      this->_tail = this->_head;
    } else {
      _node *old_node = this->_head->_next;
      this->_head->_next = old_node->_next;
      old_node->_next->_prev = this->_head;
      delete old_node;
    }
    _size -= 1;
  }

  void pop_back() {
    if (empty()) return ;
    _node *old_node = this->_tail;
    this->_tail = old_node->_prev;
    this->_tail->_next = nullptr;
    delete old_node;
    _size -= 1;
  }

不要忘了从头插入的时候跳过第一个虚拟头节点

然后是 clear 方法：

  void clear() {
    _node *cur = this->_head->_next;
    _node *old = this->_head;
    while(!empty()) {
      pop_back();
    }

还有一个查看头尾节点的方法：

  _node &front() {
    return *_head->_next;
  }

  _node &back() {
    return *_tail;
  }

到了这里，我们需要输出他们返回头尾节点的值，因此我们需要重载一下输出运算符号：
一定是在类外呦：

template <typename T>
std::ostream &operator<<(std::ostream &out, _deque_node<T> &node) {
  out << *node._data;
  return out;
}

到这里我们的双端队列实现的就差不多了。此时，我们一开始写的代码应该只剩下最后的一个 for auto 遍历方法还在报错，这个是因为我们没有实现迭代器的一系列的方法，如果你不明白 for auto 的原理的话，需要参考其他的博客或者资料了，如果你感性的话，可以私信我，我会出一篇博客专门来写auto for的。

迭代器的实现：

迭代器的表现形式更像是指针，因此成员可以是一个指针。
我直接将整个代码放在这里，具体细节会在注释中提及


template <typename T>
class _deque_node_iterator {
typedef _deque_node<T> * iterator;
public:
  // 构造函数
  _deque_node_iterator() : _ptr(nullptr) {}
  // 用于类为迭代器的节点赋值，通常是iter = dq.begin()
  _deque_node_iterator(iterator ptr) : _ptr(ptr) {}
  // 用于类外迭代器的相互赋值操作
  _deque_node_iterator(_deque_node_iterator &ptr) : _ptr(ptr) {}

  // 下面的所有运算符的重载都是用于 auto for
  // 原理并不难。
  bool operator==(const _deque_node_iterator &obj) const {
    return _ptr == obj._ptr;
  }
  
  bool operator!=(const _deque_node_iterator &obj) const {
    return !this->operator==(obj);
  }
  
  iterator &operator++() {
    _ptr = _ptr->_next;
    return _ptr;
  }
  
  iterator operator++(int) {
    new iterator(_ptr);
    _ptr = _ptr->_next;
    return _ptr;
  }
  
  iterator &operator--() {
    _ptr = _ptr->_prev;
    return _ptr;
  }

  iterator operator--(int) {
    new iterator(_ptr);
    _ptr = _ptr->_prev;
    return _ptr;
  }
  
  T &operator*() {
    return *_ptr->_data;
  }
private:
  iterator _ptr;
};

实现之后，还差最后一步，那就是在我们的 deque 类中添加两个成员方法：

  • begin()
  • end()

众所周知迭代器是左闭右开的，因此我们返回虚拟头节点的下一个节点和尾节点的下一个节点：

  iterator begin() const {
    return this->_head->_next;
  }

  iterator end() const {
    return this->_tail->_next;
  }

完整代码

/*************************************************************************
        > File Name: deque.cpp
      > Author:Royi
      > Mail:royi990001@gmail.com
      > Created Time: Fri 07 Jun 2024 01:25:31 PM HKT
      > Describe:
 ************************************************************************/

#include <iostream>
#include <algorithm>
#include <list>
#include <vector>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <cstdio>
#include <cstdlib>
#include <ctype.h>
#include <cmath>
#include <string>
#include <sstream>
#include <functional>

#define _PrintLine_(str) \
    for (int i = 0; i < 20; ++i) { \
      std::cout << '='; \
    } \
    std::cout << #str; \
    for (int i = 0; i < 20; ++i) { \
      std::cout << '='; \
    } \
    std::cout << std::endl;

namespace my {

template <typename T>
class _deque_node {
  typedef _deque_node _node;
public:
  _deque_node() : _data(new T()), _prev(nullptr), _next(nullptr) {}
  _deque_node(T &data) : _data(new T(data)), _prev(nullptr), _next(nullptr) {}
  _deque_node(T &&data) : _data(new T()), _prev(nullptr), _next(nullptr) {
    *_data = data;
  }
  ~_deque_node() {
    delete _data;
    _prev = nullptr;
    _next = nullptr;
  }

  T *_data;
  _node *_prev;
  _node *_next;
};

template <typename T>
std::ostream &operator<<(std::ostream &out, _deque_node<T> &node) {
  out << *node._data;
  return out;
}

template <typename T>
class _deque_node_iterator {
typedef _deque_node<T> * iterator;
public:
  _deque_node_iterator() : _ptr(nullptr) {}
  _deque_node_iterator(iterator ptr) : _ptr(ptr) {}
  _deque_node_iterator(_deque_node_iterator &ptr) : _ptr(ptr) {}

  bool operator==(const _deque_node_iterator &obj) const {
    return _ptr == obj._ptr;
  }
  
  bool operator!=(const _deque_node_iterator &obj) const {
    return !this->operator==(obj);
  }
  
  iterator &operator++() {
    _ptr = _ptr->_next;
    return _ptr;
  }
  
  iterator operator++(int) {
    new iterator(_ptr);
    _ptr = _ptr->_next;
    return _ptr;
  }
  
  iterator &operator--() {
    _ptr = _ptr->_prev;
    return _ptr;
  }

  iterator operator--(int) {
    new iterator(_ptr);
    _ptr = _ptr->_prev;
    return _ptr;
  }
  
  T &operator*() {
    return *_ptr->_data;
  }
  
  
private:
  iterator _ptr;
};

template <typename T>
class deque {
typedef _deque_node<T> _node;
typedef _deque_node_iterator<T> iterator;
public:
  deque() : _head(new _node()), _tail(_head), _size(0) {}
  

  size_t size() const {
    return _size;
  }

  bool empty() const {
    return _size == 0;
  }

  _node &front() {
    return *_head->_next;
  }

  _node &back() {
    return *_tail;
  }

  void push_front(T &data) {
    _node *new_node = new _node(data);
    new_node->_next = this->_head->_next;
    this->_head->_next->_prev = new_node;
    this->_head->_next = new_node;
    new_node->_prev = this->_head;
    _size += 1;
  }

  void push_back(T &data) {
    _node *new_node = new _node(data);
    this->_tail->_next = new_node;
    new_node->_prev = this->_tail;
    this->_tail = new_node;
    _size += 1;
  }
  
  void pop_front() {
    if (empty()) return ;
    if (this->_size == 1) {
      delete this->_tail;
      this->_tail = this->_head;
    } else {
      _node *old_node = this->_head->_next;
      this->_head->_next = old_node->_next;
      old_node->_next->_prev = this->_head;
      delete old_node;
    }
    _size -= 1;
  }

  void pop_back() {
    if (empty()) return ;
    _node *old_node = this->_tail;
    this->_tail = old_node->_prev;
    this->_tail->_next = nullptr;
    delete old_node;
    _size -= 1;
  }

  iterator begin() const {
    return this->_head->_next;
  }

  iterator end() const {
    return this->_tail->_next;
  }

  void clear() {
    _node *cur = this->_head->_next;
    _node *old = this->_head;
    while(!empty()) {
      pop_back();
    }
  }

private:
  size_t _size;
  _node *_head; // 虚拟头节点 
  _node *_tail;
};

}

int main() {
  my::deque<int> dq;

  _PrintLine_("input");

  std::cout << "dq.init..." << std::endl;
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }
  std::cout << "dq.init done." << std::endl;

  _PrintLine_("size");
  std::cout << "dq.size() = " << dq.size() << std::endl;

  _PrintLine_("pop and front");
  std::cout << "dq.pop..." << std::endl;
  for (int i = 0; i < 10; ++i) {
    std::cout << dq.front() << std::endl;
    dq.pop_front();
  }
  std::cout << "dq.pop done" << std::endl;


  _PrintLine_("init again");
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }

  _PrintLine_("clear and empty");
  std::cout << "dq.clear() ..." << std::endl;
  dq.clear();
  std::cout << "dq.clear() done" << std::endl;
  
  if (dq.empty()) {
    std::cout << "dq is empty." << std::endl;
  } else {
    std::cout << "dq isn't empty." << std::endl;
  }

  std::cout << "init again..." << std::endl;
  for (int i = 0; i < 10; ++i) {
    dq.push_back(i);
  }

  if (dq.empty()) {
    std::cout << "dq is empty." << std::endl;
  } else {
    std::cout << "dq isn't empty." << std::endl;
  }
  
  _PrintLine_("auto text");

  for (auto x : dq) {
    std::cout << x << std::endl;
  }
  
  return 0;
}

运行结果：

❯ ./deque
===================="input"====================
dq.init...
dq.init done.
===================="size"====================
dq.size() = 10
===================="pop and front"====================
dq.pop...
0
1
2
3
4
5
6
7
8
9
dq.pop done
===================="init again"====================
===================="clear and empty"====================
dq.clear() ...
dq.clear() done
dq is empty.
init again...
dq isn't empty.
===================="auto text"====================
0
1
2
3
4
5
6
7
8
9

:wq 拜拜～～～～

若亦_Royi
关注
  • 24
    点赞
  • 踩
  • 21
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
C++ STL入门教程(3) deque双向队列使用方法
08-29
C++ STL deque双向队列使用方法 在 C++ STL 中，deque（Double Ended Queues，双向队列）是一种非常有用的容器，它允许在容器头部快速插入和删除（就像在尾部一样）。本文将详细介绍 deque 的使用方法，以便读者更...
C++实现STL容器之deque
04-08
C++实现STL容器之deque
C++开源项目：模拟实现小型STL
11-27
有关C++ STL的开源项目代码，比较小型，是帮助理解STL的帮手。
C++ STL std::string详细讲解
01-19
C++ STL std的string详细讲解
Safe_stl:STL的安全版本
05-13
Safe_stl STL的安全版本
C语言| 数组的折半查找
qq_40555264的博客
06-22 1255
3 此时a[2]=87,而key > a[2]=87,说明256在87的右边，则往右边查找。high = mid-1 = 2, 更新mid =(low+high)/2=1。low = mid+1, 更新mid=(low+high)/2，high不变。high = mid-1,更新mid=(low+high)/2,low不变。low = mid+1 =2, 更新mid =(low+high)/2=2。low = mid+1=4, 更新mid=(low+high)/2=5;
C++ 72 之 友元和类模版
LSG_Down的博客
06-18 276
【代码】C++ 72 之 友元和类模版。
C/C++ 提取DNS请求/响应数据包之中的 Quesion 内容
liulilittle的博客
06-20 282
它主要是提取DNS数据包之中查询问题的信息，如：问题类型、问题类别、问题内容（域/IP），我们如果想要对于某个DNS数据包需要进行遥测的时，或者进行NS缓存生命周期管理，那么就需要类似这样的函数实现了。
LeetCode 算法：排序链表 c++
小金牛来了
06-22 902
LeetCode 算法：排序链表 c++
【C++课设】超市商品管理系统设计（结构体完成）
祖国花朵的博文
06-18 373
课设作品
什么野指针（c++）
最新发布
qq_35374791的博客
06-24 4566
野指针（Wild Pointer）是指向不确定位置或者非法地址的指针。当一个指针指向的内存被释放后，如果没有将其设置为NULL，那么这个指针就变成了野指针。使用野指针会导致未定义行为，可能引发程序崩溃或数据损坏。
c++文件io,字符串io简单介绍
m0_74206992的博客
06-19 372
c++文件io,字符串io简单介绍
VS C++常用错误与解决方法
知来者逆的博客
06-18 682
常见vs c++错误解决方法
编程奇境：C++之旅，从新手村到ACM/OI算法竞赛大门（中级武器：并查集）
X_StarX的博客
06-19 843
我们都知道，朋友的朋友也可以是朋友，并查集就是这么一种武器，能够让自己广交天下之友。
简单好用的C++日志库spdlog使用示例
Q先森的博客
06-19 754
介绍spdlog日志库的使用，封装了一个好用的实例类供读者使用。
解析cJSON数组
qq_30531921的博客
06-19 626
json串：{}代码 ：if(!fp) {\n");return -1;fclose(fp);return -1;fclose(fp);return -1;if(ret!\n");goto err1;goto err2;goto err3;goto err4;i++) {if (item!= NULL ) {ret = -1;break;err4:
C++初学者指南第一步---7.控制流（基础）
silencestarsky的博客
06-19 933
本文介绍了C++初学者需要掌握的基础控制流语法,包括条件分支(if-else)、Switch语句、三元运算符以及循环迭代(for、while、do-while)等。作者对每个概念进行了详细讲解,并给出了示例代码,帮助读者更好地理解和掌握这些基本语法。
C++ 75 之 异常的传递
LSG_Down的博客
06-19 225
【代码】C++ 75 之 异常的传递。
【LinuxC语言】互斥量
m0_62599305的博客
06-22 49
在并发编程中，我们经常会遇到多个线程需要访问和修改同一份数据的情况。这种情况下，如果没有适当的同步机制，就可能会导致数据的不一致性。为了解决这个问题，我们可以使用一种称为互斥量（Mutex）的工具。互斥量是一种同步机制，它可以确保在任何时刻，只有一个线程能够访问特定的资源或代码段。互斥量是一种强大而灵活的工具，它在处理并发问题时起着至关重要的作用。通过正确地使用互斥量，我们可以有效地防止数据竞争和其他并发相关的问题，从而使我们的代码更加健壮和可靠。
25-STL课件-235ye-c
06-04
3. **C++内存管理机制**：C++允许直接管理内存，这既是其强大之处，也是挑战所在。课程深入探讨了从基础到高级的内存分配策略，包括自定义分配器的设计与实现，并涉及了底层的`malloc`函数，帮助开发者理解内存分配...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

若亦_Royi

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值