deque表面上是一段内存连续的可双端操作的容器,但设计时是用一段一段内存和复杂的迭代器结构来实现这种“连续”的空间。
deque采取一段被称为map(不是map容器)的主控中心,map是一段连续的空间,其中存储着一些指针,这些指针指向了不同的内存,当对deque进行操作时,通过这些指针间接地操作它指向的空间,以此来实现逻辑上的连续空间。
deque中控区是vector,当deque中控器不够用时vector扩充,原先的指针复制到新vector的中间部分,以此实现双端操作。
deque类内包含元素T,指向T的pointer,指向pointer的map。
deque的迭代器主要设计如下:
template<class T,class Ref,class Ptr,size_t BufSiz>
struct _deque_iterator
{
...
...
...//这里包含了iterator默认的五个型别和一些迭代器本身的typedef定义
T* cur; //指向缓冲区的现行元素
T* first; //指向缓冲区的头
T* last; //指向缓冲区的尾
map_pointer node;//指向管控中心自己对应的位置
static size_t buffer_size(){return __deque_buf_size(BufSiz,sizeof(T));}
//此函数可获取缓冲区大小,而调用的__deque_buf_size函数定义如下:
inline size_t __deque_buf_size(size_t n,size_t sz)
{
return n!=0?n:(sz<512?size_t(512/sz):size_t(1));
}//如果n不为0,表示缓冲区大小为用户自定义,如果n为0,则T如果很大,比如是一个类,则缓冲区大小设
//置为1,如果比较小,比如是一个int,则设置为512/size。
};
如果想要增删改查元素,便可间接通过 迭代器和中控器操作一块物理上连续的空间。