STL源码剖析——序列式容器#3 Deque
Deque是一种双向开口的连续线性空间。所谓的双向开口，就是能在头尾两端分别做元素的插入和删除，而且是在常数的时间内完成。虽然Vector也可以在首端进行元素的插入和删除（利用insert和erase），但效率奇差（涉及到整个数组的移动），无法被接受。
另外，Deque与Vector间最大的差别就是Deque没有类似于Vector中的容量的概念，因为Deque是以分段连续空间组合而成的，至于什么是分段连续空间，等会会详细讨论。所以Deque不会有像Vector那样“因旧空间不足而重新配置一块更大的空间，然后复制元素，再释放旧空间”这样的操作。
也因为其独特的数据结构，所以对Deque自身进行排序效率不是很高，至少对比于Vector而言确实如此。如果为了最高效率，建议可将Deque先完整复制到一个Vector身上，将Vector排序后（STL Sort算法），再复制回Deque。
Deque的中控器
deque是连续空间？不，这只是假象，是设计者故意设计成其看上去是连续的。其实内部只是局部连续，deque本身由一段一段的定量连续空间构成。一旦有必要在deque的前端或后端增加新空间，便配置一段定量连续空间，串接在整个deque的头端或尾端。deque的最大任务，便是在这些分段的定量连续空间上，维护其整体连续的假象，并提供随机存取的接口。其避开了vector对于空间“重新配置、复制、释放”的轮回，代价则是复杂的迭代器结构。
说到分段连续空间的实现，在我看来，与图的邻接链表或者解决哈希冲突的拉链法相似，当然只是有些许相似。deque采用一块map，这里的map指的是一块连续的空间，其中存储的每个元素（节点）都是指针，指向另一段连续线性空间，称为缓冲区。缓冲区里面才存储真正的内容。deque默认为每个缓冲区分配512byte的空间大小。
1 template <class T, class Alloc = alloc, size_t BufSiz = 0> 2 class deque { 3 public: // Basic types 4 typedef T value_type; 5 typedef value_type* pointer; 6 ... 7 protected: // Internal typedefs 8 typedef pointer* map_pointer; //注意，pointer即为T*，而pointer*即为T** 9 ... 10 protected: // Data members 11 map_pointer map; 12 size_type map_size; 13 ... 14 }
在各种的类型定义别名后，我们发现map就是T**，也就是说它是一个指针，所指之物又是一个指针，指向类型为T的一块空间，如图：
Deque的迭代器
整体连续的假象其实都是deque的迭代器造成的，我们在使用deque的迭代器遍历容器时，都是直接连续自增；我们在使用deque的迭代器随机存取时，都是直接进行迭代器的加减操作。能这么灵活的使用deque的迭代器，就会让使用者觉得deque内部是连续。殊不知，迭代器为了维持这个假象，其实现变得非常复杂。
首先，它必须能够指出分段连续空间在哪（即自己在map的哪个缓冲区里），其次它必须能判断自己是否已经处于其所在缓冲区的边缘，如果是，一旦前进或后退时就必须跳跃至下一个或上一个缓冲区，为了能够正确跳跃，deque必须随时掌握管控map。
1 template <class T, class Ref, class Ptr, size_t BufSiz> 2 struct __deque_iterator { //并未继承std::iterator，为了符合STL规范，要对五个相应类型都做定义 3 typedef __deque_iterator<T, T&, T*, BufSiz> iterator; 4 typedef __deque_iterator<T, const T&, const T*, BufSiz> const_iterator; 5 static size_t buffer_size() { return __deque_buf_size(BufSiz, sizeof(T)); } 6 7 typedef random_access_iterator_tag iterator_category; //1 8 typedef T value_type; //2 9 typedef Ptr pointer; //3 10 typedef Ref reference; //4 11 typedef size_t size_type; 12 typedef ptrdiff_t difference_type; //5 13 typedef T** map_pointer; 14 15 typedef __deque_iterator self; 16 17 //保持与空间的联结 18 T* cur; //所指是当前缓冲区里的当前元素 19 T* first; //所指是当前缓冲区里的头元素 20 T* last; //所指是当前缓冲区里的尾元素的下一位（含备用空间） 21 map_pointer node; //指向map的头 22 ... 23 }
其中用来决定缓冲区大小的函数buffer_size()，调用__deque_buf_size()，后者是一个全局函数：我觉得决定的是缓冲区能容纳的元素个数
1 //如果n不为0，就传回n，表示buffer size由用户自定义。 2 //如果n为0，表示buffer size使用默认值，那么 3 //如果sz（元素大小，sizeof(T)）小于512，就返回512byte能存储该类元素的个数 512/sz 4 //如果sz不小于512，就返回1 5 inline size_t __deque_buf_size(size_t n, size_t sz) 6 { 7 return n != 0 ? n : (sz < 512 ? size_t(512 / sz) : size_t(1)); 8 }
假设我们产生一个类型为int，缓冲区大小为8（即自定义n = 8）的双端队列，经过一系列的操作后，该deque拥有了20个元素，那么其begin()和end()所传回的两个迭代器应该如图所示，这两个迭代器其实是deque内的成员，名为start和finish。
20个元素需要20/8=3个缓冲区，所以map内有3个节点被使用，迭代器start内的cur指针，指向第一个缓冲区的第一个元素 ，迭代器finish内的cur指针，指向最后一个缓冲区的最后一个元素的下一位置。
下面是迭代器几个关键行为，如各种指针运算加、减、前进、后退。如一开始所言，由于其独特的结构，并不是直接加减就完事了。deque定义了一个函数负责缓冲区的跳跃行为：
1 //如果需要跳跃到某个缓冲区，提供该区在map的地址（即node节点），该函数帮助迭代器进行跳跃，主要是修改迭代器所在缓冲区的头尾指针 2 void set_node(map_pointer new_node) { 3 node = new_node; 4 first = *new_node; 5 last = first + difference_type(buffer_size()); 6 }
以下重载各个运算子：
1 reference operator*() const { return *cur; } //取值 2 #ifndef __SGI_STL_NO_ARROW_OPERATOR 3 pointer operator->() const { return &(operator*()); } //取址，成员调用 4 #endif /* __SGI_STL_NO_ARROW_OPERATOR */ 5 self& operator++() { //前缀 6 ++cur; 7 //往下一缓冲区跳 8 if (cur == last) { 9 set_node(node + 1); 10 cur = first; 11 } 12 return *this; 13 } 14 self operator++(int) { //后缀 15 self tmp = *this; 16 ++*this; 17 return tmp; 18 } 19 20 self& operator--() { 21 if (cur == first) { 22 //往上一缓冲区跳 23 set_node(node - 1); 24 cur = last; 25 } 26 --cur; 27 return *this; 28 } 29 self operator--(int) { 30 self tmp = *this; 31 --*this; 32 return tmp; 33 }
自增、自减相对比较简单，但随机存取就没那么好理解了：
1 self& operator+=(difference_type n) { 2 difference_type offset = n + (cur - first); 3 if (offset >= 0 && offset < difference_type(buffer_size())) 4 //目标位置仍在当前缓冲区内，直接使用T类型指针（一般为原生指针）的+= 5 cur += n; 6 else { 7 //目标位置不在当前缓冲区，确定要跨越几个缓冲区，确定是往前跳还是往后跳 8 difference_type node_offset = 9 offset > 0 ? offset / difference_type(buffer_size()) 10 : -difference_type((-offset - 1) / buffer_size()) - 1; 11 //跳，切换至正确的缓冲区 12 set_node(node + node_offset); 13 //first已经在set_node中被设置为目标位置所在的缓冲区的开头 14 //切换至正确的位置，node_offset * difference_type(buffer_size()为跨越缓冲区的元素总数，而offset为 从跳跃前的那个缓冲区的first开始 的要跳跃的所有元素总数 15 cur = first + (offset - node_offset * difference_type(buffer_size())); 16 } 17 return *this; 18 } 19 20 self operator+(difference_type n) const { 21 self tmp = *this; 22 return tmp += n; 23 } 24 25 self& operator-=(difference_type n) { return *this += -n; } 26 27 self operator-(difference_type n) const { 28 self tmp = *this; 29 return tmp -= n; 30 } 31 32 //实现随机访问存取，可见使用的是operator+()函数 33 reference operator[](difference_type n) const { return *(*this + n); } 34 35 bool operator==(const self& x) const { return cur == x.cur; } 36 bool operator!=(const self& x) const { return !(*this == x); } 37 bool operator<(const self& x) const { 38 return (node == x.node) ? (cur < x.cur) : (node < x.node); 39 }
可以看到，对于各种随机存取操作，其实现都来自于operator+=，而operator+=如何实现，注释里已有解释。唯二一个运算子有自己真正的实现的是operator-()，注意，与上面operator-()不同的是，不是迭代器与difference_type类型变量相减，而是两个迭代器之间相减：
1 difference_type operator-(const self& x) const { 2 //调用者作为被减数，参数作为减数，其意义为从参数位置x处到达调用者的位置需要经过多少个元素 3 //如果x的位置在调用者的前面，那么(cur - first) + (x.last - x.cur);这段就容易理解了；如果不在，那结果会变为负数 4 return difference_type(buffer_size()) * (node - x.node - 1) + 5 (cur - first) + (x.last - x.cur); 6 }
Deque的数据结构
deque除了维护一个先前说过的指向map的指针外，也维护start和finish两个迭代器，分别指向第一缓冲区的第一个元素和最后缓冲区的最后一个元素的下一位置。此外，还要记住当前map的大小，当map所提供的节点不足，就必须重新配置更大的一块map。
template <class T, class Alloc = alloc, size_t BufSiz = 0> class deque { public: // Basic types typedef T value_type; typedef value_type* pointer; typedef size_t size_type; public: // Iterators typedef __deque_iterator<T, T&, T*, BufSiz> iterator; protected: // Internal typedefs typedef pointer* map_pointer; //注意，pointer即为T*，而pointer*即为T** protected: // Data members iterator start; iterator finish; map_pointer map; size_type map_size; ... }
在有了这两个迭代器之后，下面几个函数便可轻易实现：
1 public: // Basic accessors 2 iterator begin() { return start; } 3 iterator end() { return finish; } 4 5 reference operator[](size_type n) { return start[difference_type(n)]; } //从start开始跳到n 6 7 reference front() { return *start; } 8 reference back() { 9 iterator tmp = finish; 10 --tmp; 11 return *tmp; 12 } 13 size_type size() const { return finish - start;; } 14 size_type max_size() const { return size_type(-1); } //-1转为无符号整数就是整数最大值 15 bool empty() const { return finish == start; }
Deque的构造与内存管理
- 构造函数
我们可以以某一个版本的构造函数来开始研究deque的构造，其中一个较为常用的版本是：
1 deque<int, alloc, 8> x(20, 9);
从Deque的中控器这一小节中我们就已经知道，设置缓冲区大小的模版参数是第三个，所以如果要想自定义缓冲区大小，就必须先将前两个参数都指明出来，因此必须明确指定alloc为空间配置器。
deque自行定义来了两个专属 的空间配置器，一个是负责配置一个元素的大小，另一个是负责配置一个缓冲区的大小：
1 protected: // Internal typedefs 2 typedef simple_alloc<value_type, Alloc> data_allocator; //每次配置一个元素大小 3 typedef simple_alloc<pointer, Alloc> map_allocator; //每次配置一个指针大小
上述用到的构造函数版本源码为：
1 deque(size_type n, const value_type& value) 2 : start(), finish(), map(0), map_size(0) 3 { 4 fill_initialize(n, value); 5 }
其中所调用的fill_initialize()负责产生并安排好deque的结构，并将元素的初值设置妥当：
template <class T, class Alloc, size_t BufSize> void deque<T, Alloc, BufSize>::fill_initialize(size_type n, const value_type& value) { //产生并安排deque结构的另有其人，本函数只是负责将初值设置妥当。 create_map_and_nodes(n); map_pointer cur; __STL_TRY{ //将每一个节点指向的缓冲区都设定为初值 for (cur = start.node; cur < finish.node; ++cur) uninitialized_fill(*cur, *cur + buffer_size(), value); //最后一个节点需要额外处理，因为尾端可能有备用空间，不必设初值 uninitialized_fill(finish.first, finish.cur, value); } # ifdef __STL_USE_EXCEPTIONS catch (...) { for (map_pointer n = start.node; n < cur; ++n) destroy(*n, *n + buffer_size()); destroy_map_and_nodes(); throw; } # endif /* __STL_USE_EXCEPTIONS */ }
create_map_nodes()才是负责产生并安排好deque的结构：
1 template <class T, class Alloc, size_t BufSize> 2 void deque<T, Alloc, BufSize>::create_map_and_nodes(size_type num_elements) { 3 //需要的节点数 = （元素个数/每个缓冲区可以容纳的元素个数）+1 4 //如果刚好整除，会多配一个节点 5 size_type num_nodes = num_elements / buffer_size() + 1; 6 7 //计算一个map的节点数，至少8个，最多是“所需节点数加2”， 8 map_size = max(initial_map_size(), num_nodes + 2); //static size_type initial_map_size() { return 8; } 9 map = map_allocator::allocate(map_size); //分配出一个具有map_size个节点的map 10 11 //令nstart和nfinish指向map所拥有的全部节点的最中央区域 12 //保持在最中央，可使头尾两端的扩充空间一样大，每个节点对应一个缓冲区 13 map_pointer nstart = map + (map_size - num_nodes) / 2; 14 map_pointer nfinish = nstart + num_nodes - 1; 15 16 map_pointer cur; 17 __STL_TRY{ 18 //为每个现用节点配置缓冲区 19 for (cur = nstart; cur <= nfinish; ++cur) 20 *cur = allocate_node(); //pointer allocate_node() { return data_allocator::allocate(buffer_size()); } 21 } 22 # ifdef __STL_USE_EXCEPTIONS 23 catch (...) { 24 for (map_pointer n = nstart; n < cur; ++n) 25 deallocate_node(*n); 26 map_allocator::deallocate(map, map_size); 27 throw; 28 } 29 # endif /* __STL_USE_EXCEPTIONS */ 30 //为deque的两个迭代器start和finish设置到正确的位置上 31 start.set_node(nstart); 32 finish.set_node(nfinish); 33 start.cur = start.first; 34 //如果元素个数是缓冲区可容纳个数的整数倍，会分配多一个缓冲区，此时就应吧finish的cur指向这多配的一个节点的起始处 35 finish.cur = finish.first + num_elements % buffer_size(); 36 }
- 末端插入push_back()
1 void push_back(const value_type& t) { 2 //如果当前插入的位置不是缓冲区的最后一位时，正常插入 3 if (finish.cur != finish.last - 1) { 4 construct(finish.cur, t); 5 ++finish.cur; 6 } 7 //如果当前插入位置是缓冲区的最后一位，那么就要配置另外一块缓冲区 8 else 9 push_back_aux(t); 10 }
如果尾端只剩一个元素的备用空间，那么push_back就会请求push_back_aux来帮忙负责配置一块新的缓冲区，然后再改变finish迭代器的指向：
1 template <class T, class Alloc, size_t BufSize> 2 void deque<T, Alloc, BufSize>::push_back_aux(const value_type& t) { 3 value_type t_copy = t; 4 //如果map尾端备用节点不足，则需要重新换一个map 5 reserve_map_at_back(); 6 //为finish的下一节点分配缓冲区 7 *(finish.node + 1) = allocate_node(); 8 __STL_TRY{ 9 construct(finish.cur, t_copy); //先把finish当前指向的缓冲区的最后一个元素填充完毕 10 finish.set_node(finish.node + 1); //再把finish指向下一刚开辟的缓冲区 11 finish.cur = finish.first; 12 }
- 首端插入push_front()
为尾端插入同样的处理方式，不再赘述：
1 void push_front(const value_type& t) { 2 if (start.cur != start.first) { 3 construct(start.cur - 1, t); 4 --start.cur; 5 } 6 else 7 push_front_aux(t); 8 } 9 10 template <class T, class Alloc, size_t BufSize> 11 void deque<T, Alloc, BufSize>::push_front_aux(const value_type& t) { 12 value_type t_copy = t; 13 reserve_map_at_front(); 14 *(start.node - 1) = allocate_node(); 15 __STL_TRY{ 16 start.set_node(start.node - 1); 17 start.cur = start.last - 1; 18 construct(start.cur, t_copy); 19 }
我们在这push_back_aux函数中看到其内部调用了reserve_map_at_back()，而在push_front_aux函数中看到其内部调用了reserve_map_at_front()。这两个函数又是什么来头呢？我在注释中标明了它的用处，当map的首端或尾端节点不足时，这个函数就负责重新换一个map，那么如何更换和迁移map呢？我们来看看这两个函数的实现：
1 void reserve_map_at_back(size_type nodes_to_add = 1) { 2 //如果map尾端的节点备用空间不足 3 if (nodes_to_add + 1 > map_size - (finish.node - map)) 4 reallocate_map(nodes_to_add, false); //必须重新换一个map，配置更大的，拷贝原来的，释放原来的 5 } 6 7 void reserve_map_at_front(size_type nodes_to_add = 1) { 8 //如果map首端的节点备用空间不足 9 if (nodes_to_add > start.node - map) 10 reallocate_map(nodes_to_add, true); //必须重新换一个map，配置更大的，拷贝原来的，释放原来的 11 }
1 //nodes_to_add：应该增加多少个节点 2 //add_at_front：是首端需要扩充还是尾端需要扩充 3 template <class T, class Alloc, size_t BufSize> 4 void deque<T, Alloc, BufSize>::reallocate_map(size_type nodes_to_add, 5 bool add_at_front) { 6 size_type old_num_nodes = finish.node - start.node + 1; //现用节点个数 7 size_type new_num_nodes = old_num_nodes + nodes_to_add; //扩充后的节点个数 8 9 map_pointer new_nstart; 10 if (map_size > 2 * new_num_nodes) { //如果map的总节点数比扩充后的节点数两倍多还有余，说明某端满了，而另一端还有很多备用节点 11 new_nstart = map + (map_size - new_num_nodes) / 2 //试图把现用节点区间重新放置回map的中央，使两端的备用节点数约等 12 + (add_at_front ? nodes_to_add : 0); 13 if (new_nstart < start.node) //新起点比原起点小，说明把现用节点区间往前移，一般是尾端满了的情况 14 copy(start.node, finish.node + 1, new_nstart); 15 else //新起点比原起点大，说明把现用节点区间往后移，一般是首端满了的情况 16 copy_backward(start.node, finish.node + 1, new_nstart + old_num_nodes); 17 } 18 else { //如果不是，说明map的可用节点数已经不多，需要配置一块空间，准备给新map使用 19 size_type new_map_size = map_size + max(map_size, nodes_to_add) + 2; //如果所需扩充的节点数比原map的节点个数还要大，那就按前者来扩充，否则就两倍map节点个数 20 21 //分配空间部分与构造部分类似 22 map_pointer new_map = map_allocator::allocate(new_map_size); 23 new_nstart = new_map + (new_map_size - new_num_nodes) / 2 //居中 24 + (add_at_front ? nodes_to_add : 0); 25 //把原map内容拷贝过来 26 copy(start.node, finish.node + 1, new_nstart); 27 //释放原map 28 map_allocator::deallocate(map, map_size); 29 30 //设定新map的起始地址与大小 31 map = new_map; 32 map_size = new_map_size; 33 } 34 //重新设定迭代器start和finish 35 start.set_node(new_nstart); 36 finish.set_node(new_nstart + old_num_nodes - 1); 37 }
Deque的元素操作
- pop_back —— 弹出最尾端的元素
与push类似，在执行弹出操作时，如果最后一个缓冲区的cur指针已经指向first指针时，说明缓冲区已空，需要另外的函数来负责缓冲区的释放。因为cur指向的是最后一个元素的下一位置。
1 void pop_back() { 2 //最后缓冲区有一个或多个元素 3 if (finish.cur != finish.first) { 4 --finish.cur; 5 destroy(finish.cur); 6 } 7 else //最后缓冲区没有元素（cur == first代表缓冲区为空） 8 pop_back_aux(); 9 }
1 template <class T, class Alloc, size_t BufSize> 2 void deque<T, Alloc, BufSize>::pop_back_aux() { 3 /* void deallocate_node(pointer n) { 4 data_allocator::deallocate(n, buffer_size()); 5 }*/ 6 deallocate_node(finish.first); //释放最后一个缓冲区 7 finish.set_node(finish.node - 1); //调整finish的位置，使其指向上一个缓冲区 8 finish.cur = finish.last - 1; //调整该迭代器的cur指针，指向上一个缓冲区的最后一个元素 9 destroy(finish.cur); //将该元素析构 10 }
- pop_front —— 弹出最前端元素
最前端缓冲区的cur与最尾端缓冲区的cur不同，其指向的是该缓冲区第一个元素：
所以它的顺序是先析构再调整cur指针：
1 void pop_front() { 2 //第一缓冲区有两个或以上的元素 3 if (start.cur != start.last - 1) { 4 destroy(start.cur); 5 ++start.cur; 6 } 7 else //第一缓冲区仅有一个元素 8 pop_front_aux(); 9 }
1 template <class T, class Alloc, size_t BufSize> 2 void deque<T, Alloc, BufSize>::pop_front_aux() { 3 //先把第一元素析构 4 destroy(start.cur); 5 deallocate_node(start.first); //释放第一缓冲区 6 start.set_node(start.node + 1); //调整start的位置，使其指向第二缓冲区 7 start.cur = start.first; //下一个缓冲区的第一个元素 8 }
- clear —— 清除整个deque。要注意的是，deque会保留一个缓冲区，即使其没有任何元素时。
1 template <class T, class Alloc, size_t BufSize> 2 void deque<T, Alloc, BufSize>::clear() { 3 //从第二缓冲区开始直到倒二缓冲区，把其中的元素析构，空间释放 4 for (map_pointer node = start.node + 1; node < finish.node; ++node) { 5 destroy(*node, *node + buffer_size()); 6 data_allocator::deallocate(*node, buffer_size()); 7 } 8 //如果有头尾两个缓冲区 9 if (start.node != finish.node) { 10 destroy(start.cur, start.last); //将第一缓冲区的所有元素析构 11 destroy(finish.first, finish.cur); //将尾缓冲区所有元素析构 12 data_allocator::deallocate(finish.first, buffer_size()); //将尾缓冲区的空间释放，保留第一缓冲区 13 } 14 else //如果只有一个缓冲区 15 destroy(start.cur, finish.cur); //将此唯一缓冲区的所有元素析构，但并不释放空间 16 17 finish = start; 18 }
- erase(iterator pos) —— 清除某个元素
1 iterator erase(iterator pos) { 2 iterator next = pos; 3 ++next; 4 //计算当前位置与第一缓冲区第一元素的距离 5 difference_type index = pos - start; 6 //距离小于元素总和的一半，意味着清除点之前的元素较少 7 if (index < (size() >> 1)) { 8 copy_backward(start, pos, next); //就把清除点之前的元素[start, pos)全部往后移动一格 9 pop_front(); //移动完毕，第一元素冗余，弹出 10 } 11 else { //意味着清除点之后的元素较少 12 copy(next, finish, pos); //就把清除点之后的元素[next, finish)全部往前移动一格 13 pop_back(); //移动完毕，最后一个元素冗余，弹出 14 } 15 return start + index; //指向移除前的前一元素 16 }
- erase(iterator firsst, iterator last) —— 清除一段区间的所有元素
1 template <class T, class Alloc, size_t BufSize> 2 deque<T, Alloc, BufSize>::iterator 3 deque<T, Alloc, BufSize>::erase(iterator first, iterator last) { 4 //区间为整个deque，可以直接clear 5 if (first == start && last == finish) { 6 clear(); 7 return finish; 8 } 9 else { 10 difference_type n = last - first; //计算两迭代器之间的距离 11 difference_type elems_before = first - start; //清除区间前面的元素个数 12 if (elems_before < (size() - n) / 2) { //清除区间前方元素较少 13 copy_backward(start, first, last); //将前方元素往后移，全都移动last-first格 14 iterator new_start = start + n; //标记deque新起点 15 destroy(start, new_start); //新旧起点间为冗余元素，析构之 16 for (map_pointer cur = start.node; cur < new_start.node; ++cur) 17 data_allocator::deallocate(*cur, buffer_size()); //释放冗余元素空间，只释放到新起点的所在节点的前一节点 18 start = new_start; 19 } 20 else {//清除区间后方元素较少 21 copy(last, finish, first); //将后方元素往前移，全都移动last-first格 22 iterator new_finish = finish - n; //标记deque新尾点，后面同理 23 destroy(new_finish, finish); 24 for (map_pointer cur = new_finish.node + 1; cur <= finish.node; ++cur) 25 data_allocator::deallocate(*cur, buffer_size()); 26 finish = new_finish; 27 } 28 return start + elems_before; 29 } 30 }
- insert(iterator position, const value_type& x) —— 在position处插入一个元素，其值为x
1 iterator insert(iterator position, const value_type& x) { 2 //如果要插入的位置就是在第一元素的前面 3 if (position.cur == start.cur) { 4 push_front(x); 5 return start; 6 }//如果要插入的位置就是在最后一个元素的下一位置的前面 7 else if (position.cur == finish.cur) { 8 push_back(x); 9 iterator tmp = finish; 10 --tmp; 11 return tmp; //返回插入元素的位置 12 } 13 else { 14 //如果都不是，交给insert_aux完成 15 return insert_aux(position, x); 16 } 17 }
1 template <class T, class Alloc, size_t BufSize> 2 typename deque<T, Alloc, BufSize>::iterator 3 deque<T, Alloc, BufSize>::insert_aux(iterator pos, const value_type& x) { 4 //获取插入点之前的元素个数 5 difference_type index = pos - start; 6 value_type x_copy = x; 7 if (index < size() / 2) { //插入点之前的元素较少 8 push_front(front()); //在最前端加入与第一元素值一样的元素 9 iterator front1 = start; 10 ++front1; //该迭代器指向第一元素的下一元素，用于表示复制的输出区间的起始 11 iterator front2 = front1; 12 ++front2; //该迭代器指向第一元素的下下元素，用于表示复制的输入区间的起始 13 pos = start + index; //原本pos表示的是在pos之前插入x，现在pos指向正要插入的位置（注意start因为push_front(front())而已经往前移动了） 14 iterator pos1 = pos; 15 ++pos1; //该迭代器指向插入位置的下一位置，即原本pos指向的元素，用于表示复制的输入区间的末尾 即[front2, pos1) 16 copy(front2, pos1, front1); 17 } 18 else { //插入点之后的元素较少，处理与上类似 19 push_back(back()); 20 iterator back1 = finish; 21 --back1; 22 iterator back2 = back1; 23 --back2; 24 pos = start + index; 25 copy_backward(pos, back2, back1); 26 } 27 *pos = x_copy; //因为pos已经指向正要插入的位置，所以直接设其值就好了 28 return pos; 29 }
