deque（双端队列）与 反向迭代器

deque（双端队列）是由一段一段的定量连续空间构成，可以向两端发展，因此不论在尾部或头部安插元素都十分迅速。 在中间部分安插元素则比较费时，因为必须移动其它元素。

#include <deque>

deque<int> a; // 定义一个int类型的双端队列a
deque<int> a(10); // 定义一个int类型的双端队列a，并设置初始大小为10
deque<int> a(10, 1); // 定义一个int类型的双端队列a，并设置初始大小为10且初始值都为1
deque<int> b(a); // 定义并用双端队列a初始化双端队列b
deque<int> b(a.begin(), a.begin()+3); // 将双端队列a中从第0个到第2个(共3个)作为双端队列b的初始值

• 容器大小：deq.size();
• 容器最大容量：deq.max_size();
• 更改容器大小：deq.resize();
• 容器判空：deq.empty();
• 减少容器大小到满足元素所占存储空间的大小：deq.shrink_to_fit();
•  
• 头部添加元素：deq.push_front(const T& x);
• 末尾添加元素：deq.push_back(const T& x);
• 任意位置插入一个元素：deq.insert(iterator it, const T& x);
• 任意位置插入 n 个相同元素：deq.insert(iterator it, int n, const T& x);
• 插入另一个向量的 [forst,last] 间的数据：deq.insert(iterator it, iterator first, iterator last);
•  
• 头部删除元素：deq.pop_front();
• 末尾删除元素：deq.pop_back();
• 任意位置删除一个元素：deq.erase(iterator it);
• 删除 [first,last] 之间的元素：deq.erase(iterator first, iterator last);
• 清空所有元素：deq.clear();
•  
• 下标访问：deq[1]; // 并不会检查是否越界
• at 方法访问：deq.at(1); // 以上两者的区别就是 at 会检查是否越界，是则抛出 out of range 异常
• 访问第一个元素：deq.front();
• 访问最后一个元素：deq.back();
•  
• 多个元素赋值：deq.assign(int nSize, const T& x); // 类似于初始化时用数组进行赋值
• 交换两个同类型容器的元素：swap(deque&);
•  
• 开始迭代器指针：deq.begin();
• 末尾迭代器指针：deq.end(); // 指向最后一个元素的下一个位置
• 指向常量的开始迭代器指针：deq.cbegin(); // 意思就是不能通过这个指针来修改所指的内容，但还是可以通过其他方式修改的，而且指针也是可以移动的。
• 指向常量的末尾迭代器指针：deq.cend();
• 反向迭代器指针，指向最后一个元素：deq.rbegin();
• 反向迭代器指针，指向第一个元素的前一个元素：deq.rend();

迭代器遍历 

deque<int>::iterator it;
for (it = deq.begin(); it != deq.end(); it++)
    cout << *it << endl;
// 或者
for (int i = 0; i < deq.size(); i++) {
    cout << deq.at(i) << endl;
}

可以看到，deque 与 vector 的用法基本一致，除了以下几处不同：

• deque 没有 capacity() 函数，而 vector 有；
• deque 有 push_front() 和 pop_front() 函数，而 vector 没有；
• deque 没有 data() 函数，而 vector 有。

 

#include <iostream>
#include <deque>

using namespace std;

int main(int argc, char* argv[])
{
    deque<int> deq;
    deq.push_back(1);
    deq.push_back(2);
    deq.push_back(3);

    cout << *(deq.begin()) << endl; // 输出：1
    cout << *(--deq.end()) << endl; // 输出：3
    cout << *(deq.cbegin()) << endl; // 输出：1
    cout << *(--deq.cend()) << endl; // 输出：3
    cout << *(deq.rbegin()) << endl; // 输出：3
    cout << *(--deq.rend()) << endl; // 输出：1
    cout << endl;

    return 0;
}

反向迭代器

       一个容器的范围用普通迭代器表示为一个“半开半闭”的区间。头部为begin，指向容器第一个元素的位置。末尾为end，指向最后一个元素的下一个位置，每个容器都提供了这样一个位置，尽管该位置不可引用，但却是个合法的地址。相反，第一个元素位置的前一个位置容器却没有任何保证，比如对于vector和string来说，就是非法的位置。这里我们说“合法”与“非法”，简单来讲，可以这样认为，一个合法的位置对于迭代器来说是可以达到的，像最后一个元素的下一个位置end()。而对于首元素的前一个位置，迭代器是无法指向它的，begin()-1这个表达式会导致异常。因此，反向迭代器与普通迭代器在物理位置上保持了一一对应，即rbegin()对应普通迭代器的end()位置，rend()对应其begin()位置。

       但是，为了让反向迭代器与普通迭代器在概念上保持一致性，即begin()（反向迭代器对应为rbegin()）对应第一个元素（对于反向迭代器来说，最后一个元素即第一个元素），end()（反向迭代器对应为rend()）对应最后一个元素的下一个位置，于是标准库的设计者们想出这样一个方法，即反向迭代器的逻辑位置等于其物理位置的前一个位置。换句话说，物理位置对应迭代器在内存中的实际位置，逻辑位置对应迭代器对应容器中元素的位置。这样，对于rbegin()来说，它物理位置是容器最后一个元素的下一个位置，逻辑位置即容器最后一个元素的位置（对反向迭代器来说就是第一个元素元素的位置），同理rend()物理位置为容器第一个元素位置，逻辑位置即第一个位置的前一个位置（依然不可解引用）。这样，反向迭代器与普通迭代器便有了一致的概念，即“半开半闭”区间。更为直观的演示如下图：

 

        vec中存放从1到9的9个连续数字，并初始化一个普通迭代器指向数字5，打印输出结果显而易见，为5。然后再初始化一个反向迭代器，该迭代器指向与普通迭代器一样的物理位置，然后打印输出，这时结果为多少呢？

       如果你不了解反向迭代器这个特殊的性质的话，很容易误认为结果一样是5。但实际情况不是这样，而是4，反向迭代器被初始化为与前一个普通迭代器一样的物理位置（对应元素5），其逻辑位置即前一个位置，因些通过解引用得到元素4.