STL序列式容器之deque

一、概述

deque是一种双向开口的连续线性空间，所谓双向是指可以在首尾两端进行插入和删除，逻辑结构如图所示：

deque和vector最大的差异在于deque可以在常数时间内对头端进行插入和删除操作，而且deque没有容量的概念，随时可以增加一段新的空间并链接起来。除非必要，应尽量使用vector而非deque。对deque进行排序操作为了提高效率可以先将deque复制到vector中，将vector排序后（利用STL sort算法）再复制回deque。

二、deque内部结构

deque由一段一段的定量连续空间构成，一旦有必要在deque的前端或者尾端增加新空间，便配置一定的连续空间，串接在整个deque的头端或者尾端，deque最大的任务便是维护这些连续空间整体连续的假象，并提供随机存取的接口。deque采用map（非STL map）作为主控，这里的map是一小段连续空间，每个元素都是一个指针，指向另一段连续的线性空间，称为缓冲区，缓冲区才是deque的存储空间主体。SGI STL 允许指定缓冲区大小，默认值0表示将使用512bytes缓冲区。

deque的迭代器应该能够指出分段连续空间在哪里，必须能够判断自己是否处在其所在缓冲区的边缘，如果是则应能够跳到下一个或上一个缓冲区上。其中控器、迭代器和缓冲区的关系如下图。迭代器内的cur指针指向当前缓冲区的当前元素，first指向首元素，last指向尾元素，node回指此缓冲区迭代器在中控器中的位置。

对于一个存放了23个元素的deque再加入一个元素，其结构图如下。start迭代器内含第一个缓冲区指针信息，finish迭代器内含最后一个缓冲区信息。deque::begin()传回迭代器start，deque::end()传回迭代器finish。

正因为deque内部的结构复杂，所以存取元素时deque的内部多一个间接过程，相比于vector会慢一点。deque迭代器需要在不同区块之间跳转，所以必须是智能型指针。deque的迭代器属于随机存取迭代器。

三、deque的核心接口

在头文件<deque>中，class deque定义如下：

namespace std {
    template <class T,
              class Allocator = allocator<T> >
    class deque;
}

第一个参数代表元素类型，带有默认值的第二个参数定义deque内存模型，缺省使用allocator。

1. 构造和析构函数

操作	效果
deque<Elem> c	产生一个存放Elem类型元素的空deque
deque<Elem> c1(c2)	针对某个deque产生一个同型副本
deque<Elem> c(n)	产生一个含有n个元素，以default构造函数产生元素的deque
deque<Elem> c(n,elem)	产生一个含有n个elem元素deque
deque<Elem> c(beg,end)	产生一个以区间[beg,end]内元素为初值的deque
c.~deque<Elem>()	销毁所有元素，释放内存

2. 非变动性操作

操作	效果
c.size()	返回实际容器的大小。
c.empty()	判断容器大小是否为0。
c.max_size()	返回可容纳元素最大数量
c1 == c2	判断c1是否等于c2
c1 != c2	判断c1是否不等于c2
c1 < c2	判断c1是否小于c2
c1 > c2	判断c1是否大于c2
c1 <= c2	判断c1是否小于等于c2
c1 >= c2	判断c1是否大于等于c2
c.at(idx)	返回索引位置idx处的元素，如果idx越界，抛出out_of_range异常
c[idx]	返回索引位置idx处的元素，不进行范围检查
c.front()	返回第一个元素，不检查元素是否存在
c.back()	返回最后一个元素，不检查元素是否存在
c.begin()	返回一个随机存取迭代器，指向第一元素
c.end()	返回一个随机存取迭代器，指向最后一个元素的下一位置
c.rbegin()	返回一个逆向迭代器，指向逆向迭代时的第一个元素
c.rend()	返回一个逆向迭代器，指向逆向迭代时最后元素的下一位置

3. 变动性操作

操作	效果
c1 = c2	将c2的所有元素赋值给c1
c.assign(n,elem)	将n个elem副本赋值给c
c.assign(beg,end)	将区间[beg,end]中的元素赋值给c
c1.swap(c2)	将c1和c2中的元素互换
swap(c1,c2)	同上，此为全局函数
c.insert(pos,elem)	在pos位置插入一个elem副本，返回新元素的位置
c.insert(pos,n,elem)	在pos位置插入n个elem副本，无返回值
c.insert(pos,beg,end)	在pos位置插入区间[beg,end]内的元素，无返回值
c.push_back(elem)	在尾部添加一个elem的副本
c.pop_back()	移除最后一个元素，不回传
c.push_front(elem)	在头部插入一个elem副本
c.pop_front()	移除头部元素，不回传
c.erase(pos)	移除pos位置上的元素，返回下一元素的位置
c.erase(beg,end)	移除区间[beg,end]内的元素，返回下一元素的位置
c.resize(num)	将大小改为num。如果size增长了，新增大小以default构造函数产生出来
c.resize(num,elem)	将大小改为num。如果size增长了，新增大小以elem副本产生出来
c.clear()	移除所有元素，将容器清空

三、程序示例

deque的使用示例

//example of deque
#include <iostream>
#include <deque>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    deque<string> coll;

    coll.assign(3, string("string"));
    coll.push_back("last string");
    coll.push_front("first string");

    copy(coll.begin(), coll.end(),
        ostream_iterator<string>(cout, "\n"));
    cout << endl;

    coll.pop_front();
    coll.pop_back();

    copy(coll.begin(), coll.end(),
        ostream_iterator<string>(cout, "\n"));

    for (unsigned int i = 1; i < coll.size(); ++i){
        coll[i] = "another " + coll[i];
    }
    cout << endl;
    coll.resize(4, "resized string");

    copy(coll.begin(), coll.end(),
        ostream_iterator<string>(cout, "\n"));

    return 0;
}

输出结果：