deque的介绍

一、deque的介绍

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

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

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

二、deque的存储结构

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

	_T* _M_cur;
	_T* _M_first;
	_T* _M_last;
	_Map_pointer  _M_node;
};
//deque
template<class _T>
class _Deque_base
{
	typedef _Deque_Iterator<_T> iterator;
protected:
	_T** _M_map;
	size_t _M_map_size;
	iterator _M_start;
	iterator _M_finish;
};

1.默认构造时

int main()
{
	deque<int>a1;
	return 0;

在这种情况下，_M_map成员为nullptr，_M_map_size为0；

可以简单理解为下图

 存放少量元素时

int main()
{
	deque<int>a1;
	for (int i = 0; i <= 5; i++)
	{
		a1.push_back(i);
	}
	return 0;
}

可以理解如下图

 

 如果在此基础上继续插入元素，达到缓冲区满的程度此时，_M_finsih迭代器的当前指针指向末尾

如果继续插入，则需要再申请内存空间，如图：

 

需要注意的时在有些编译器内，若看到_M_map前方有空余部分，那么在申请新的缓冲区时会将M_node一次向上移动，当_M_map满了，会对其进行扩容，这样_M_map就能存放更多数据。

2.pop_front()

从队头取出数据，只需要操_M_start迭代器

3.头插和尾插时 

多次头插尾插时

 

三、deque与vector的区别

1.deque的两端都能快速插入和删除元素O(1),vector只有在尾端进行插入和删除时O(1);

2.deque的存取和迭代器的操作会稍慢一些，因为deque的内部结构多一个间接过程；

3.deque的中的迭代器是特殊的智能指针，而不是一般指针，因为它需要在不同内存之间跳转，因为deque不止使用一块内存（而vector必须使用一块连续的空间）；

4.deque不支持对容量和内存分配时机的控制，除了首尾两端安插、删除元素外，其他地方安插、删除元素都将会导致元素的pointer、reference、iterator、失效，不过deque的内存重新分配机制由于vector，因为deque不必再内存分配时复制所有元素；

那么deque与vector对存储空间的管理有何不同呢？

vector是一个动态数组，它使用连续的内存块来存储数据，因此它的元素在内存中是紧密排列的。当vector的大小增加时，它会尝试在内存中分配更多的连续空间来存储新的元素，如果当前内存块不足以容纳新的元素，则需要重新分配更大的内存块，并将原有元素复制到新的内存块中去，这是一个比较耗时的操作。因此，当需要频繁地在容器末尾添加或删除元素时，vector的效率可能会受到影响。

deque（双端队列）是一个双向开口的序列容器，它可以在两端高效地添加或删除元素。deque的内部实现是由一系列的内存块组成，每个内存块可以存储多个元素，内存块之间通过指针进行连接。当需要在容器的两端添加或删除元素时，deque只需要操作与该端相邻的内存块，而不需要改变整个序列的内存布局，因此它的效率相对较高。同时，deque还支持随机访问，可以通过下标直接访问容器中的元素。

总的来说，vector更适合在末尾添加或删除元素较少的情况下使用，而deque则更适合在两端添加或删除元素较频繁的情况下使用。在内存分配方面，vector使用连续的内存块，而deque则使用一系列的内存块，因此它们的内存管理方式有所不同。