C++进阶——STL源码之顺序容器vector

最新推荐文章于 2024-05-25 11:56:10 发布
最新推荐文章于 2024-05-25 11:56:10 发布
阅读量1k 收藏
点赞数 1
分类专栏： C/C++ STL
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_25065595/article/details/107745798
版权
C/C++ 同时被 2 个专栏收录
44 篇文章 7 订阅
订阅专栏
STL
14 篇文章 4 订阅
订阅专栏

顺序容器vector

vector的数据安排以及操作和array相似，二者的唯一的差别在于空间的运用灵活性：array 是静态空间，一旦配置之后就不能改变；vector是动态空间，随着元素的加入，它的内部机制会自行的扩充空间以容纳新的元素。

vector的实现技术，关键在于对其大小的控制以及重新配置时的数据移动效率，一旦vector旧空间满载，vector将会以一种空间配置策略来扩充空间，从而降低配置新空间、数据移动、释放旧空间带来的性能消耗。

vector类的结构图

通过上面的类结构图，可以知道类的成员变量定义在_Vector_impl（这个pointer 就是 value_type* ）  中，以下为其源码：

 struct _Vector_impl 
      : public _Tp_alloc_type
      {
	pointer _M_start;
	pointer _M_finish;
	pointer _M_end_of_storage;

	_Vector_impl()
	: _Tp_alloc_type(), _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }

	_Vector_impl(_Tp_alloc_type const& __a) _GLIBCXX_NOEXCEPT
	: _Tp_alloc_type(__a), _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }

#if __cplusplus >= 201103L
	_Vector_impl(_Tp_alloc_type&& __a) noexcept
	: _Tp_alloc_type(std::move(__a)),
	  _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }
#endif

	void _M_swap_data(_Vector_impl& __x) _GLIBCXX_NOEXCEPT
	{
	  std::swap(_M_start, __x._M_start);
	  std::swap(_M_finish, __x._M_finish);
	  std::swap(_M_end_of_storage, __x._M_end_of_storage);
	}
      };

其中定义的成员含义如下：

通过以下源码来理解上述成员：

      iterator
      begin() _GLIBCXX_NOEXCEPT
      { return iterator(this->_M_impl._M_start); }

      iterator
      end() _GLIBCXX_NOEXCEPT
      { return iterator(this->_M_impl._M_finish); }

      size_type
      size() const _GLIBCXX_NOEXCEPT
      { return size_type(this->_M_impl._M_finish - this->_M_impl._M_start); }

      size_type
      capacity() const _GLIBCXX_NOEXCEPT
      {
            return size_type(this->_M_impl._M_end_of_storage
             - this->_M_impl._M_start);
       }

vector的内存管理

_Vector_base专门负责vector的内存管理，内部类_M_impl通过继承_Tp_alloc_type(也就是allocator)得到内存分配释放的功能，_M_allocate和_M_deallocate分别分配和释放vector所用内存，vector只需要负责元素构造和析构。

_Vector_base的源码如下：

template<typename _Tp, typename _Alloc>
    struct _Vector_base
    {
      typedef typename __gnu_cxx::__alloc_traits<_Alloc>::template
        rebind<_Tp>::other _Tp_alloc_type;
      typedef typename __gnu_cxx::__alloc_traits<_Tp_alloc_type>::pointer
       	pointer;

      struct _Vector_impl 
      : public _Tp_alloc_type
      {
	pointer _M_start;
	pointer _M_finish;
	pointer _M_end_of_storage;

	_Vector_impl()
	: _Tp_alloc_type(), _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }

	_Vector_impl(_Tp_alloc_type const& __a) _GLIBCXX_NOEXCEPT
	: _Tp_alloc_type(__a), _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }

#if __cplusplus >= 201103L
	_Vector_impl(_Tp_alloc_type&& __a) noexcept
	: _Tp_alloc_type(std::move(__a)),
	  _M_start(0), _M_finish(0), _M_end_of_storage(0)
	{ }
#endif

	void _M_swap_data(_Vector_impl& __x) _GLIBCXX_NOEXCEPT
	{
	  std::swap(_M_start, __x._M_start);
	  std::swap(_M_finish, __x._M_finish);
	  std::swap(_M_end_of_storage, __x._M_end_of_storage);
	}
      };
      
    public:
      typedef _Alloc allocator_type;

      _Tp_alloc_type&
      _M_get_Tp_allocator() _GLIBCXX_NOEXCEPT
      { return *static_cast<_Tp_alloc_type*>(&this->_M_impl); }

      const _Tp_alloc_type&
      _M_get_Tp_allocator() const _GLIBCXX_NOEXCEPT
      { return *static_cast<const _Tp_alloc_type*>(&this->_M_impl); }

      allocator_type
      get_allocator() const _GLIBCXX_NOEXCEPT
      { return allocator_type(_M_get_Tp_allocator()); }

      _Vector_base()
      : _M_impl() { }

      _Vector_base(const allocator_type& __a) _GLIBCXX_NOEXCEPT
      : _M_impl(__a) { }

      _Vector_base(size_t __n)
      : _M_impl()
      { _M_create_storage(__n); }

      _Vector_base(size_t __n, const allocator_type& __a)
      : _M_impl(__a)
      { _M_create_storage(__n); }

#if __cplusplus >= 201103L
      _Vector_base(_Tp_alloc_type&& __a) noexcept
      : _M_impl(std::move(__a)) { }

      _Vector_base(_Vector_base&& __x) noexcept
      : _M_impl(std::move(__x._M_get_Tp_allocator()))
      { this->_M_impl._M_swap_data(__x._M_impl); }

      _Vector_base(_Vector_base&& __x, const allocator_type& __a)
      : _M_impl(__a)
      {
	if (__x.get_allocator() == __a)
	  this->_M_impl._M_swap_data(__x._M_impl);
	else
	  {
	    size_t __n = __x._M_impl._M_finish - __x._M_impl._M_start;
	    _M_create_storage(__n);
	  }
      }
#endif

      ~_Vector_base() _GLIBCXX_NOEXCEPT
      { _M_deallocate(this->_M_impl._M_start, this->_M_impl._M_end_of_storage
		      - this->_M_impl._M_start); }

    public:
      _Vector_impl _M_impl;

      pointer
      _M_allocate(size_t __n)
      {
	typedef __gnu_cxx::__alloc_traits<_Tp_alloc_type> _Tr;
	return __n != 0 ? _Tr::allocate(_M_impl, __n) : 0;
      }

      void
      _M_deallocate(pointer __p, size_t __n)
      {
	typedef __gnu_cxx::__alloc_traits<_Tp_alloc_type> _Tr;
	if (__p)
	  _Tr::deallocate(_M_impl, __p, __n);
      }

    private:
      void
      _M_create_storage(size_t __n)
      {
	this->_M_impl._M_start = this->_M_allocate(__n);
	this->_M_impl._M_finish = this->_M_impl._M_start;
	this->_M_impl._M_end_of_storage = this->_M_impl._M_start + __n;
      }
    };

下面将通过push_back的源码来了解vector的内存管理：

      void
      push_back(const value_type& __x)
      {
            //如果还有备用空间，则构造元素，并调整finish
            if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage)
           {
                _Alloc_traits::construct(this->_M_impl, this->_M_impl._M_finish,__x);
               ++this->_M_impl._M_finish;
          }
          else
                _M_insert_aux(end(), __x);//如果当前备用空间不足，调用_M_insert_aux
      }

_M_insert_aux的源码如下：

template<typename _Tp, typename _Alloc>
void
vector<_Tp, _Alloc>::_M_insert_aux(iterator __position, const _Tp& __x)
{
    if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage)
    {
        //在有备用空间的情况下执行，在备用空间的起始位置构建一个新元素，以最后的元素为初值
        _Alloc_traits::construct(this->_M_impl, this->_M_impl._M_finish,
            _GLIBCXX_MOVE(*(this->_M_impl._M_finish
                - 1)));
        ++this->_M_impl._M_finish;//调整finish的位置
        _Tp __x_copy = __x;

       //这里用于insert时，插入点后元素的移动处理，在push_back并无元素被操作
        _GLIBCXX_MOVE_BACKWARD3(__position.base(),
            this->_M_impl._M_finish - 2,
            this->_M_impl._M_finish - 1);
        * __position = __x_copy;
    }
    else
    {
        //获取当前实际配置大小，为当前size的2倍，源码见下方
        const size_type __len =
            _M_check_len(size_type(1), "vector::_M_insert_aux");

       //插入点之前的元素数目
        const size_type __elems_before = __position - begin();
        pointer __new_start(this->_M_allocate(__len));
        pointer __new_finish(__new_start);
        __try
        {
            //在插入点构造元素，并赋予初值__x
            _Alloc_traits::construct(this->_M_impl,
                __new_start + __elems_before,
                __x);

            __new_finish = 0;

           //将之前的所有元素move到新的vector当中 
           __new_finish
                = std::__uninitialized_move_if_noexcept_a
                (this->_M_impl._M_start, __position.base(),
                    __new_start, _M_get_Tp_allocator());

            ++__new_finish;//更新finsh的位置

            //将插入点的原来的元素也copy到插入点的下一个位置
            __new_finish
                = std::__uninitialized_move_if_noexcept_a
                (__position.base(), this->_M_impl._M_finish,
                    __new_finish, _M_get_Tp_allocator());
        }
        __catch(...)
        {
            if (!__new_finish)
                _Alloc_traits::destroy(this->_M_impl,
                    __new_start + __elems_before);
            else
                std::_Destroy(__new_start, __new_finish, _M_get_Tp_allocator());
            _M_deallocate(__new_start, __len);
            __throw_exception_again;
        }

        //析构 并释放原vector
        std::_Destroy(this->_M_impl._M_start, this->_M_impl._M_finish,
            _M_get_Tp_allocator());
        _M_deallocate(this->_M_impl._M_start,
            this->_M_impl._M_end_of_storage
            - this->_M_impl._M_start);

        //调整迭代器，到新的vector
        this->_M_impl._M_start = __new_start;
        this->_M_impl._M_finish = __new_finish;
        this->_M_impl._M_end_of_storage = __new_start + __len;
    }
}

_M_check_len的源码：

      size_type
      _M_check_len(size_type __n, const char* __s) const
      {
               //内存的分配是有限制的
               if (max_size() - size() < __n)
                   __throw_length_error(__N(__s));

              //__len为原size的2倍 
              const size_type __len = size() + std::max(size(), __n);
              return (__len < size() || __len > max_size()) ? max_size() : __len;
      }

_M_allocate的源码，调用_Vector_base中的内存分配函数：

      pointer
      _M_allocate(size_t __n)
      {
                typedef __gnu_cxx::__alloc_traits<_Tp_alloc_type> _Tr;
                return __n != 0 ? _Tr::allocate(_M_impl, __n) : 0;
      }

通过上面源码的分析，可以表示为如下的内存分配策略：

vector的元素操作

1. pop_back

      void
      pop_back() _GLIBCXX_NOEXCEPT
      {
             //前移finish，并析构finish指向的元素（前闭后开区间）
              --this->_M_impl._M_finish;
             _Alloc_traits::destroy(this->_M_impl, this->_M_impl._M_finish);
      }

2.  erase(iterator __position)调用了_M_erase，_M_erase的源码如下：

  template<typename _Alloc>
    typename vector<bool, _Alloc>::iterator
    vector<bool, _Alloc>::
    _M_erase(iterator __position)
    {
      //只是将删除位置之后的元素前移，然后更新finish位置，但是不知道为什么没有析构元素？？？
      if (__position + 1 != end())
        std::copy(__position + 1, end(), __position);
      --this->_M_impl._M_finish;
      return __position;
    }

 

 

&动感超人
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C++ vector STL实现详解
cyber的博客
11-19 3045
前言 stl库位置 vector代码分析 vector变量gdb输出总结0.前言  早前使用gdb调试特别不习惯，1）没有具备图形界面IDE（比如Visual Studio）的强大功能：边打断点边代码跟进，退出断点保存，可以随时查看当前变量数据，对stl变量显示友好。2）gdb打印输出的内容有时难以理解，比如gdb只会打印出stl相关容器、复杂的类对象，智能指针的成员数据，而不会做格式化内容输出。比
C++进阶STL源码笔记
11-15
这份“C++进阶STL源码笔记”显然是一个深入研究STL的资源，适合那些已经有一定C++编程基础的开发者，通过源码分析来提升对STL的理解和应用能力。以下将详细讲解STL中的关键组件和概念。 1. 容器： STL的核心组成...
std::vector 的使用陷阱
tianyexing2008的博客
08-16 1682
std::vector 在工作当中的使用频率比较高，因为它简单易用，类似数组，但又比数组智能得多，它能动态调整内存以容纳足够多的数据。这里就有一个不易察觉的陷阱，假如是数组我们是可以通过 array[n] = xx (这里n是有效范围的) 进行赋值，但在 std::vector 里，这个是获取元素用的，它返回的是元素的引用。定义 vector 后直接用 [] 进行赋值是非法的，因为此时 vector 内部的指针是空的，访问空指针是会引起 segmentation fault。.........
C++_vector简单源码剖析：vector模拟实现
最新发布
Lvision2的博客
05-25 751
没错，在C++中，内置类型可以像类一样传参初始化，当然就如原本的内置类型一样，不传参就是随机值，传了的那个形参就是参数的值。本文会模拟一个基本的vector类，帮助我们更好的理解vector的内置函数的实现与规则。，cosnt又为这个临时对象赋予常性，就可以起别名，所以这样的语法就可以通过了。这样做有什么好处呢？，我们知道，编译器在我们写了其他的构造函数时是不会生成默认构造的，
c++ std::vector 使用push_back 和emplace_back的区别
Mr.Sugarcane
02-23 810
首先贴函数的申明和定义部分源码： template<typename _Tp, typename _Alloc = std::allocator<_Tp> > class vector : protected _Vector_base<_Tp, _Alloc> { typedef _Tp value_type; void push_back(const value_type& __x) { if (this-&
vector
lswdcyy的博客
01-04 428
对于容器vector，他的存储原理就是一个数组，对于数组空间申请的话，那么就是基于https://welsey.blog.csdn.net/article/details/112189216中的空间分配器去进行空间申请； vector核心成员数据： pointer _M_start; // 开始存储元素的空间地址 pointer _M_finish; // 最后一个存储元素的之后的一个位置的空间地址 pointer _M_end_of_stor
STL源码分析之vector
小鱼学编程
07-12 2192
本篇文章我们来学习vector的源码
仿写C++ STL标准库 vector 容器
08-26
仿写C++ STL标准库 vector 源码，可直接在cpp文件中调用实现
STL源码剖析_C++STL_stl源码c++_
09-29
总的来说，《STL源码剖析》是一本深度解析C++标准模板库的书籍，对于想要提升C++编程技巧，特别是对STL有深入需求的开发者来说，是不可多得的参考资料。通过阅读这本书，读者不仅可以掌握STL的基本使用，还能了解其...
C++ - SGI 版本 STL源码
10-25
**C++ SGI版STL源码详解** STL（Standard Template Library，标准模板库）是C++编程语言中的一个重要组成部分，它提供了高效且灵活的数据结构和算法。SGI（Silicon Graphics, Inc.）公司在90年代为C++社区贡献了一...
c++ 自己动手实现STL容器之array
03-10
在C++编程中，STL（Standard Template Library，标准模板库）是一组高效、泛型的编程工具，...在学习和实践中，你可以参考侯捷的《STL源码剖析》这本书，它对STL的实现有着深入的解析，能帮助你掌握更多关于STL的知识。
vector1_STL_C++_vector_
10-02
`vector`是一个顺序容器，其内部元素以线性方式存储。与静态数组不同，`vector`的大小可以在运行时动态改变。这使得`vector`能够适应数据量不确定或需要频繁添加/删除元素的情况。`vector`的底层实现通常是一个动态...
C++进阶笔记源码
02-03
2. **STL（Standard Template Library）**：STL是C++标准库的一部分，提供了容器（如vector、list、map）、算法和迭代器等工具，大大提高了代码的可读性和效率。笔记中可能会详细解析各种容器的使用场景和性能差异，...
C++STL源码分析 SGI版
10-30
**C++ STL源码分析 SGI版** C++标准模板库（Standard Template Library，STL）是C++编程中不可或缺的一部分，它提供了高效且灵活的数据结构和算法。STL的实现有多种，其中SGI（Stanford Graphics Interface）版本以...
c++ SGI STL源代码学习
06-04
SGI STL，全称为Stanford Graphics Group Standard Template ...总之，学习SGI STL源代码是C++进阶道路上必不可少的一步，能够让我们深入理解C++的标准库，提高编程效率，使我们能编写出更加优雅、高效的C++代码。
C++ 中的 STL 容器
We choose to go to the moon in this decade and do the other things, not because they are easy, but beacase they are hard.
04-22 542
序列式容器、关联式容器、迭代器失效
vector底层代码剖析及其调试
嘴大且吃雯的博客
12-31 140
vector底层代码剖析及其调试。
STL中vector的基类实现
jianxiong1985的博客
12-04 697
头文件 c++/5/bits/stl_vector.h 源代码解析 /// See bits/stl_deque.h's _Deque_base for an explanation. // 数据类型，构造器类型 template&lt;typename _Tp, typename _Alloc&gt; struct _Vector_base { //...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值