STL源码剖析（四）：容器（3）deque

最新推荐文章于 2022-10-19 16:26:12 发布

曾格0

最新推荐文章于 2022-10-19 16:26:12 发布

阅读量882

点赞数

分类专栏： C++ 文章标签： c++ 容器

本文链接：https://blog.csdn.net/youaremyalllove/article/details/124029501

版权

C++ 专栏收录该内容

25 篇文章 1 订阅

订阅专栏

数据结构

deque从直观上看上去是这样的，一段可两端进出的连续空间：

但其实它是分段的：

其主要结构包括中控器（map）+多个分段，其迭代器中的4个字段的作用分别为：node：指向哪个分段，first、last、cur分别指向这个分段的第一个、最后一个以及当前这个的元素。

上面map长度为8，说明map最多能维护8个分段，如果想申请更多分段，则需要扩充map。一个分段的长度默认为512bytes。

deque定义

template <class _Tp, class _Alloc = __STL_DEFAULT_ALLOCATOR(_Tp) >
class deque : protected _Deque_base<_Tp, _Alloc> {
  // requirements:
  __STL_CLASS_REQUIRES(_Tp, _Assignable);

  typedef _Deque_base<_Tp, _Alloc> _Base;
public:                         // 1.基础类型
  typedef _Tp value_type;
  typedef value_type* pointer;
  typedef const value_type* const_pointer;
  typedef value_type& reference;
  typedef const value_type& const_reference;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;

  typedef typename _Base::allocator_type allocator_type;  // 2.空间配置器
  allocator_type get_allocator() const { return _Base::get_allocator(); }

public:                         // 3.迭代器
  typedef typename _Base::iterator       iterator;
  typedef typename _Base::const_iterator const_iterator;

#ifdef __STL_CLASS_PARTIAL_SPECIALIZATION    // 定义reverse_iterator
  typedef reverse_iterator<const_iterator> const_reverse_iterator;
  typedef reverse_iterator<iterator> reverse_iterator;
#else /* __STL_CLASS_PARTIAL_SPECIALIZATION */
  typedef reverse_iterator<const_iterator, value_type, const_reference, 
                           difference_type>  
          const_reverse_iterator;
  typedef reverse_iterator<iterator, value_type, reference, difference_type>
          reverse_iterator; 
#endif /* __STL_CLASS_PARTIAL_SPECIALIZATION */

protected:                      // 4.map和buffer参数
  typedef pointer* _Map_pointer;   // 可以看出，map是一个二级指针
  static size_t _S_buffer_size() { return __deque_buf_size(sizeof(_Tp)); }
......
};

deque迭代器

deque之所以看起来是连续，主要是operator++和operator--两个运算子造成的现象，因此，而这两个操作依赖迭代器的设计。

首先，deque操作的是两端的数据，因此需要至少需要两个迭代器start和finish，在遍历deque时，还需要一个用于遍历的迭代器dealing。这三个deque_迭代器的实现如下：

template <class _Tp, class _Ref, class _Ptr>
struct _Deque_iterator {
  typedef _Deque_iterator<_Tp, _Tp&, _Tp*>             iterator;
  typedef _Deque_iterator<_Tp, const _Tp&, const _Tp*> const_iterator;
  // 设置缓冲区分段大小，默认为512
  static size_t _S_buffer_size() { return __deque_buf_size(sizeof(_Tp)); }

  typedef random_access_iterator_tag iterator_category;
  typedef _Tp value_type;
  typedef _Ptr pointer;
  typedef _Ref reference;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;

  typedef _Tp** _Map_pointer;
  typedef _Deque_iterator _Self;

  _Tp* _M_cur;    // 指向的分段
  _Tp* _M_first;   // 指向分段第一个元素
  _Tp* _M_last;   // 指向分段最后一个元素
  _Map_pointer _M_node;   // 指向map
......
};

deque的成员函数在进行操作时需要注意的地方：