系列五 deque（一）

deque

双向队列deque。deque是一个双向开口的队列。

deque底层

实现逻辑

deque在使用过程中看起来是一段连续的空间，在这个空间上元素都是顺序的存储的，我们可以获取其大小，取队首或者队尾的元素。但是在实际的实现过程中，deque并不是连续存储的，而是是通过分段存储存储元素。如图中所示，展示了五个段，每个段存储部分元素。然后每个段通过map来连接起来，map的底部是vector，vector里面存的是每个段的起始地址，将段之间连接起来。

因此当段不够用的时候，申请一个新的段空间，然后将这个段的起始地址插入到队头或者队尾。因为段的地址是用vector存取的，因此这里也会涉及到vector的空间的扩容。

迭代器的设计

因为段存储的特性，所以迭代器首先要记住段的起始和终止地址，除此之外，还需要访问段里面的元素。因此对于一个迭代器来说，有四个指针：

template<class T, class Ref, class Ptr, size_t BufSiz>
struct __deque_iterator{
	typedef random_access_iterator_tag iterator_category;
	typedef T value_type;
	typedef Ptr pointer;
	typedef Ref reference;
	typedef size_t size_type;
	typedef ptrdiff_t difference_type;
	typedef T** map_pointer;
	typedef __deque_iterator self;
//重点的这四个指针对照上面的图看
	T* cur;
	T* first;
	T* last;
	map_pointer node;
	...
};

四个指针

• cur:当前段内指向的地址
• first:当前分段的头（标兵）
• last:当前分段的尾（标兵）
• node:在控制中心map中的位置，也就是地址

因此访问段内的元素是通过cur,first,last这三个指针，而node是对应跨段来访问的，也就是通过node来实现连续的假象。

对于迭代器来说，因为有四个指针，因此一个迭代器的大小是16B。

deque声明

对于deque来说，只需要维护map、队头start，队尾finish,map的长度（开的段的数目）map_size。

template<class T, class Alloc = alloc, size_t BufSiz = 0>

class deque{
public:
	typedef T value_type;
	typedef __deque_iterator<T, T&, T*, BufSiz> iterator;
protected:
	typedef pointer* map_pointer;//T**,指向指针的指针。底层的容器是vector
protected:
	//当前开的所有段里面的第一个段
	iterator start;
	//当前开的所有的段里面的最后一个段
	iterator finish;
	//map存的是所有按照顺序开的段的地址
	map_pointer map;
	//存的是当前开的所有段的数量
	size_type map_size;
public:
	iterator begin(){return start;}
	iterator end(){return finish;}
	size_type size() const{return finish - start;}
	...
};

deque的大小是40B, 两个迭代器start, finish:16*2=32，一个指向指针的指针map4B,一个大小map_size4B，一共40B.

实现逻辑

插入函数

插入函数给了两个参数：插入位置pos和插入的数值x。首先判断是否是在队列的两端进行插入，如果是，直接调用头尾插入；否则调用辅助函数，代表在队列的中间某一位置进行插入。

//在position安插一个值为x的元素
iterator insert(iterator position, const value_type & x){
	if(position.cur == start.cur){//当前位置在deque的最前端
		push_front(x);
		return start;
	}else if(position.cur == finish.cur){//当前位置在deque的最尾端
		push_back(x);
		iterator tmp = finish;
		--tmp;
		return tmp;
	}else{//在中间插入，调用辅助函数
		return insert_aux(position, x);
	}
}

在中间插入的逻辑如下。
插入的逻辑分为：确定位置，移动元素，放入元素。对于deque来说，因为是双向队列，因此移动元素可以把元素往前移动也可以把元素往后移动，因此在插入函数的设计的过程中，为了减少移动的元素的个数，我们首先确认当前位置离队头近还是队尾近。

template<class  T, class Alloc, size_t BufSize>
typename deque<T, Alloc, BufSize>::iterator
deque<T, Alloc, BufSize>::insert_aux(iterator pos, const value_type & x){
	difference_type index = pos - start; //看当前插入的位置和头尾的距离
	if(index < size() / 2){
		push_front(front());//在最前端加入一个和第一个元素相等的元素
		...
		copy(front2, pos1, front1);//元素搬移
	}else{
		push_back(back());//在尾端加入和最后一个元素相等的元素
		...
		copy_backward(pos, back2, back1);//元素搬移
	}
	*pos = x_copy;//在新插入点上加新值
	return pos;
}

Reference

侯捷老师