[STL]源码解析：std::vector

最新推荐文章于 2021-03-24 14:51:15 发布

sophistcxf

最新推荐文章于 2021-03-24 14:51:15 发布

阅读量2.8k

点赞数

本文链接：https://blog.csdn.net/sophistcxf/article/details/9138417

版权

本文探讨了std::vector的内存管理策略，当空间用完时，vector会重新分配更大的内存并复制原有元素。介绍了_Vector_base类的作用以及vector类的模板参数和成员。还讲解了vector的容量、大小、空状态、元素删除等操作的实现细节，并警告了内存重新分配可能导致迭代器失效的问题。

摘要由CSDN通过智能技术生成

一、首先，vector没有那么牛逼，需要一个元素就”只“分配一个元素的空间。从c/c++语言的角度，我想不到有什么办法可以在不改变原有内存array的基础上，动态的增加内存（除非使用链表，这代价过高，无必要）。vector的策略是当已分配的内存n用完时，就重新分配块更大的内存n+m（并非是n+1，而m的具体值不同的STL实现不定），然后将原来的元素复制过来，并释放掉之前的内存。

知道了vector的大致原理，再来看其如何实现。

二、_Vector_base

1. 官方说：此类提供了一个目的，其构造函数和析构函数分配内存（但并不初始化）。使异常安全更容易。这个类是个模板类

template <class _Tp, class _Alloc>

_Tp是其元素类型，_Alloc是其内存分配器（allocator）。

2. 别名

  typedef _Alloc allocator_type;
  typedef _Tp* pointer;
  typedef _STLP_alloc_proxy<pointer, _Tp, allocator_type> _AllocProxy;

3. 成员变量

  pointer _M_start;
  pointer _M_finish;
  _AllocProxy _M_end_of_storage;

_M_start和_M_finish指向连续空间中已使用的范围。

《STL源码解析》中讲，_M_end_of_storage也是个pointer，指向已分配的连续空间的末尾。但是，STLport将其处理为_AllocProxy，使用了一个代理来管理。_AllocProxy有个成员_M_data，实际上指向了已分配的连续空间的末尾。至于AllocProxy的其他功能，不要在意这些细节--！。

三、vector类的定义

实际上vector是有两个模板参数的模板类，但一般情况下只指定第一个，而第二个为默认的allocator