C++STL：deque的介绍 | 对其内存布局进行图解

deque介绍

1. deque是由一块一块的固定大小的连续空间构成(块与块之间是不连续)。一旦有必要在deque的前端或尾端增加新的空间，便配置一块固定大小的连续空间，串接在整个deque 的头端或尾端。

2. deque 的最大任务，便是在这些分块的固定大小连续空间上，维护其整体连续的假象，并提供随机存取的接口(随机迭代器)，代价则是迭代器架构较为复杂。

3. deque 采用一块所谓的_M_map(不是STL的map容器）作为主控。这里所谓 _M_map是一小块连续空间，其中每个元素（此处称为一个节点，node）都是指针，指向另一段(较大的）连续线性空间，称为缓冲区。缓冲区才是deque 的储存空间主体。

deque的设计

// iterator
template<class _Tp>
struct _Deque_iterator
{
	typedef _Tp** _Map_pointer;

	_Tp* _M_cur;
	_Tp* _M_first;
	_Tp* _M_last;
	_Map_pointer _M_node;
};

// deque
template<typename _Tp>
class _Deque_base
{
	typedef _Deque_iterator<_Tp> iterator;
protected:
	_Tp** _M_map;
	size_t _M_map_size;
	iterator _M_start;
	iterator _M_finish;
};

示例1：默认构造时

#include<deque>
int main(void)
{
	std::deque<int> deq1;
	return 0;
}

在这种情况下，_M_map成员为nullptr , _M_map_size为0；
如果不理解这个图示是什么意思，可以看下个例子。

示例二：存放少量元素时

int main(void)
{
	std::deque<int> iq1;
	for (int i = 1; i <= 5; ++i)
	{
		iq1.push_back(i);
	}
	return 0;
}

图示：

如果在此基础上继续插入数据，比如再插入三个，达到当前缓冲区满的程度时迭代器如何变化？

图示：
会将_M_finish迭代器的当前指针指向元素8的末尾。

如果想继续插入数据，就需要再申请一块空间，如图:

对于上面的图示，在有些编译器内，若看到_M_map前方有空余部分，那么在申请新的缓冲区时会将M_node依次向上移动，当_M_map满了的时候，会对其扩容，这样_M_map会存放更多数据。

示例3：pop_front()时

如果要从队头取出数据，那么只需操作_M_start迭代器。

示例4：头插和尾插时

在多次进行push_front()和push_back()，会产生什么情况？

图示：

end