C++ Deque

本文档深入分析了std::deque,并提供了一个指导思想:当考虑到 内存分配和执行性能的时候,使用std::deque要比std::vector好。

   介绍

  本文深入地研究了std::deque 容器。本文将讨论在一些情况下使用deque> 比vector更好。读完这篇文章后读者应该能够理解在容量增长的过程中deque 与vector在内存分配和性能的不同表现。由于deque> 和vector的用法很相似,读者可以参考vector 文档中介绍如何使用STL容器。

   Deque总览

  deque和vector一样都是标准模板库中的内容,deque是双端队列,在接口上和vector非常相似,在许多操作的地方可以直接替换。假如读者已经能够有效地使用vector容器,下面提供deque的成员函数和操作,进行对比参考。

   Deque成员函数

函数描述
c.assign(beg,end)
c.assign(n,elem)
将[beg; end)区间中的数据赋值给c。
将n个elem的拷贝赋值给c。
c.at(idx) 传回索引idx所指的数据,如果idx越界,抛出out_of_range。
c.back() 传回最后一个数据,不检查这个数据是否存在。
c.begin() 传回迭代器重的可一个数据。
c.clear() 移除容器中所有数据。
deque<Elem> c
deque<Elem> c1(c2)
Deque<Elem> c(n)
Deque<Elem> c(n, elem)
Deque<Elem> c(beg,end)
c.~deque<Elem>()
创建一个空的deque。
复制一个deque。
创建一个deque,含有n个数据,数据均已缺省构造产生。
创建一个含有n个elem拷贝的deque。
创建一个以[beg;end)区间的deque。
销毁所有数据,释放内存。
c.empty() 判断容器是否为空。
c.end() 指向迭代器中的最后一个数据地址。
c.erase(pos)
c.erase(beg,end)
删除pos位置的数据,传回下一个数据的位置。
删除[beg,end)区间的数据,传回下一个数据的位置。
c.front() 传回地一个数据。
get_allocator 使用构造函数返回一个拷贝。
c.insert(pos,elem)
c.insert(pos,n,elem)
c.insert(pos,beg,end)
在pos位置插入一个elem拷贝,传回新数据位置。
在pos位置插入>n个elem数据。无返回值。
在pos位置插入在[beg,end)区间的数据。无返回值。
c.max_size() 返回容器中最大数据的数量。
c.pop_back() 删除最后一个数据。
c.pop_front() 删除头部数据。
c.push_back(elem) 在尾部加入一个数据。
c.push_front(elem) 在头部插入一个数据。
c.rbegin() 传回一个逆向队列的第一个数据。
c.rend() 传回一个逆向队列的最后一个数据的下一个位置。
c.resize(num) 重新指定队列的长度。
c.size() 返回容器中实际数据的个数。
C1.swap(c2)
Swap(c1,c2)
将c1和c2元素互换。
同上操作。

  Deque操作

函数描述
operator[] 返回容器中指定位置的一个引用。

  上面这些特征和vector明显相似,所以我们会提出下面的疑问。

  问题:如果deque和vector可以提供相同功能的时候,我们使用哪一个更好呢?

  回答:如果你要问的话,就使用vector吧。

  或者你给个解释?

  非常高兴你这样问,的确,这并不是无中生有的,事实上,在 C++标准里解释了这个问题,下面有一个片断:

  vector在默认情况下是典型的使用序列的方法,对于deque,当使用插入删除操作的时候是一个更好的选择。

  有趣的是,本文就是要非常彻底地理解这句话。

   什么是新的?

  细读上面两张表格,你会发现和vector比较这里增加了两个函数。

  1、c.push_front(elem) —— 在头部插入一个数据。

  2、c.pop_front() —— 删除头部数据。

  调用方法和c.push_back(elem)和c.pop_back()相同,这些将来会告诉我们对于deque> 会非常有用,deque可以在前后加入数据。>

   缺少了什么?

  同时你也会发现相对于vector> 缺少了两个函数,你将了解到deque> 不需要它们。

  1、capacity()—— 返回vector当前的容量。

  2、reserve() —— 给指定大小的vector> 分配空间。

  这里是我们真正研究的开始,这里说明deque> 和vector它们在管理内部存储的时候是完全不同的。deque是大块大块地分配内存,每次插入固定数量的数据。vector是就近分配内存(这可能不是一个坏的事情)。但我们应该关注是,vector每次增加的内存足够大的时候,在当前的内存不够的情况。下面的实验来验证deque不需要capacity()和reserve()> 是非常有道理的。

   实验一 —— 增长的容器

  目的

  目的是通过实验来观察deque和vector在容量增长的时候有什么不同。用图形来说明它们在分配内存和执行效率上的不同。

  描述

  这个实验的 测试程序是从一个文件中读取文本内容,每行作为一个数据使用push_back插入到deque> 和vector中,通过多次读取文件来实现插入大量的数据,下面这个类就是为了测试这个内容:

#include <deque>
#include <fstream>
#include <string>
#include <vector>

static enum modes
{
 FM_INVALID = 0,
 FM_VECTOR,
 FM_DEQUE
};

class CVectorDequeTest
{
 public:
  CVectorDequeTest();
  void ReadTestFile(const char* szFile, int iMode)
  {
   char buff[0xFFFF] = {0};
   std::ifstream inFile;
   inFile.open(szFile);
   while(!inFile.eof())
   {
    inFile.getline(buff, sizeof(buff));
    if(iMode == FM_VECTOR)
     m_vData.push_back(buff);
    else if(iMode == FM_DEQUE)
     m_dData.push_back(buff);
   }
   inFile.close();
  }
  virtual ~CVectorDequeTest();
 protected:
  std::vector<std::string> m_vData;
  std::deque<std::string> m_dData;
};


  结果

  测试程序运行的平台和一些条件:

CPU1.8 GHz Pentium 4
内存1.50 GB
操作系统W2K-SP4
文件中的行数9874
平均每行字母个数1755.85
读文件的次数45
总共插入的数据个数444330


  使用Windows任务管理器来记录执行效率,本程序中使用了Laurent Guinnard 的CDuration类。消耗系统资源如下图:


  注意在vector分配内存的最高峰,vector在分配内存的时候是怎样达到最高值,deque就是这样的,它在插入数据的同时,内存直线增长,首先deque的这种内存分配单元进行回收的话,存在意想不到的后果,我们希望它的分配内存看上去和vector一样,通过上面的测试我们需要进一步的测试,现提出一个假设:假设deque分配的内存不是连续的,一定需要释放和收回内存,我们将这些假设加入后面的测试中,但是首先让我们从执行的性能外表分析一下这个实验。

  究竟分配内存需要消耗多久?

  注意看下面这张图片,vector在不插入数据的时候在进行寻求分配更多内存。


  同时我们也注意到使用push_back插入一组数据消耗的时间,注意,在这里每插入一组数据代表着9874个串,平均每个串的长度是1755.85。
<think> 首先,用户的问题是关于C++deque的使用方法和特性。我需要基于提供的引用内容来回答,这些引用包含在系统提示中。 关键引用内容: - 引用[1]: 解释了deque是双端队列,支持在两端快速插入和删除元素,时间复杂度O(1)。不是连续存储,适合序列中间的操作。 - 引用[2]: 提到了deque构造函数,如默认构造、区间拷贝、n个元素拷贝、拷贝构造。 - 引用[3]: 描述deque作为线性数据结构,可以用作队列或栈,支持两端操作和任意位置的高效插入删除。 - 引用[4]: 建议在需要两端插入移除元素时使用deque。 - 引用[5]: 讨论了deque和vector实现栈时的比较。 用户要求回答deque的使用方法和特性,所以我需要整理这些信息。 回答结构: - 系统指令要求:使用清晰的回答结构,逐步解释。使用中文。确保可靠真实。 - 在回答中,引用的段落末尾添加引用标识,如[^1]。 - 生成相关问题(§§相关问题§§)。 - LaTeX格式:行内数学表达式用$...$,独立公式用$$...$$单独成段。但由于主题是数据结构,可能不需要太多数学公式,除非涉及算法复杂度。 大纲回答: 1. **介绍deque**:简述deque是什么,其核心特性。 2. **基本特性**:基于引用[1]和[^3],讨论动态数组、双端操作、非连续存储。 3. **使用方法**: - 构造函数:基于引用[2]。 - 常用接口:如插入、删除、访问元素等,基于引用[3]。 - 示例代码:提供简单的C++代码示例。 4. **优势和适用场景**:基于引用[4]和[^5],讨论何时使用deque,与vector比较。 5. **相关问题**:在结束时生成相关问题。 确保添加引用: - 例如,当提到"时间复杂度O(1)"时,添加[^1]。 - 代码块:提供代码时,用代码块格式如示例所示。 相关问题生成: - 基于用户可能感兴趣的点,如优化、应用场景、与其他容器比较。 最终输出格式: - 回答后添加§§相关问题§§部分。 - 引用标识在相关句子末尾。 现在,构建回答内容: </think> ### C++ deque 的使用方法和特性详解 在 C++ 标准模板库 (STL) 中,`deque`(双端队列)是一种高效的线性容器,特别适合需要在序列两端频繁插入或删除元素的场景。与 `vector` 不同,`deque` 不需要内存连续存储,这使其在序列中间操作时更具优势。下面,我将基于可靠引用内容,逐步介绍其核心特性和使用方法,并提供示例代码。引用来源包括标准库文档和权威教程[^1][^2][^3]。 #### 1. **基本特性** `deque` 的核心特性使其在特定场景下优于其他容器: - **双端高效操作**:在 `deque` 的头部(front)和尾部(rear)插入或删除元素的时间复杂度为 $O(1)$,这得益于动态分配的块状内存结构[^1][^3]。 - **非连续存储**:元素不一定在内存中连续存放,这使得在序列任意位置插入或删除元素(平时间复杂度 $O(n)$)相比 `vector` 更高效,因为它避免了大规模元素移动[^1][^4]。 - **动态数组特性**:`deque` 的大小可在运行时动态扩展或收缩,支持随机访问(通过索引访问元素的时间复杂度为 $O(1)$),但随机访问可能比 `vector` 略慢,因为需要额外计算内存块位置[^3][^5]。 - **灵活性**:可用作队列 (FIFO) 或栈 (LIFO),取决于操作在何处进行(例如,从头部删除元素实现 FIFO)[^3][^4]。 这些特性使 `deque` 适合以下场景: - 频繁在序列两端插入/删除元素(如实时数据处理或缓存实现)。 - 避免内存碎片或大规模数据移动的需求(例如,在中间插入时,`deque` 的性能优于 `vector`)[^4][^5]。 - 但如果不关心元素连续性或内存释放保证,`deque` 可能比 `vector` 更节省资源(尽管 C++ 标准未强制内存释放)[^4]。 #### 2. **使用方法详解** 使用 `deque` 需包含头文件 `<deque>`,并遵循以下常见操作: - **构造函数**:`deque` 提供了多种构造方式: ```cpp #include <deque> using namespace std; // 默认构造:创建空 deque deque<int> deq1; // 区间拷贝:从另一个容器(如数组)拷贝元素 int arr[] = {1, 2, 3}; deque<int> deq2(arr, arr + 3); // 包含元素 {1, 2, 3} // 填充构造:创建包含 n 个相同元素的 deque deque<int> deq3(5, 10); // 包含 5 个元素,每个都为 10 // 拷贝构造:从另一个 deque 复制 deque<int> deq4(deq2); // 等同于 deq2 ``` 引用来源详细描述了这些构造函数[^2][^3]。 - **常用接口**(基于引用[^3]): - **插入/删除**: - `push_front(val)`:在头部插入元素,$O(1)$。 - `push_back(val)`:在尾部插入元素,$O(1)$。 - `pop_front()`:删除头部元素,$O(1)$。 - `pop_back()`:删除尾部元素,$O(1)$。 - `insert(position, val)`:在指定迭代器位置插入元素,平 $O(n)$。 - `erase(position)`:删除指定迭代器位置的元素,平 $O(n)$。 - **访问元素**: - `front()`:返回头部元素引用。 - `back()`:返回尾部元素引用。 - `operator[]` 或 `at(index)`:通过索引访问元素(随机访问)。 - **容量操作**: - `size()`:返回当前元素数量。 - `empty()`:检查是否为空。 - `resize(n)`:调整容器大小。 - **示例代码**:一个简单的 `deque` 使用实例,展示插入、删除和迭代。 ```cpp #include <iostream> #include <deque> using namespace std; int main() { deque<int> dq; // 两端插入元素 dq.push_front(10); // 头部插入 dq.push_back(20); // 尾部插入 dq.push_back(30); cout << "初始 deque: "; for (auto it = dq.begin(); it != dq.end(); ++it) { cout << *it << " "; // 输出: 10 20 30 } cout << endl; // 删除头部元素 dq.pop_front(); // 移除 10 // 在中间插入元素 dq.insert(dq.begin() + 1, 15); // 在索引1位置插入15 cout << "操作后 deque: "; for (int num : dq) { cout << num << " "; // 输出: 20 15 30 } return 0; } ``` 此代码展示了 `deque` 的双端操作和随机访问特性。输出结果为序列变化过程[^1][^3]。 #### 3. **与 vector 的比较和应用建议** - **优势**:`deque` 在两端操作上绝对优于 `vector`(`vector` 在尾部插入为 $O(1)$,但头部插入为 $O(n)$)。在序列中间插入时,`deque` 由于非连续存储,性能更稳定[^4][^5]。 - **劣势**:`deque` 的随机访问略慢于 `vector`,因为需要计算内存块位置;内存占用可能稍高,因有额外的块管理开销。 - **应用建议**: - 优先使用 `deque`:当需要高频两端操作(如消息队列或滑动窗口算法)或避免大型数据移动时[^4][^5]。 - 例如,实现栈时,`deque` 是默认底层容器(因两端操作高效),而 `vector` 仅在元素固定时推荐: ```cpp stack<int, deque<int>> s_default; // 推荐:deque 实现栈 stack<int, vector<int>> s_vector; // 不推荐:除非元素较少 ``` 引用[^5] 详细比较了这种场景。 总之,`deque` 是 STL 中高效灵活的容器,特别适合动态序列操作。通过合理利用其特性,可以优化代码性能。如需深度分析底层实现(如块状内存和扩容机制),可参考标准库文档[^1][^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值