对vector内部结构的解析（二）

最新推荐文章于 2024-01-20 16:54:06 发布

wonghifong0223

最新推荐文章于 2024-01-20 16:54:06 发布

阅读量796

点赞数

分类专栏： C++ STL模板数据结构文章标签： C++ 数据结构 STL

本文链接：https://blog.csdn.net/wonghifong0223/article/details/48574731

版权

C++ 同时被 3 个专栏收录

12 篇文章 0 订阅

订阅专栏

数据结构

3 篇文章 0 订阅

订阅专栏

STL模板

2 篇文章 0 订阅

订阅专栏

在上一篇中我们对vector的原理有了一个概念上的认识，在这一篇中我们将揭示vector内部的运作原理。（对vector内部结构的解析（一））

首先我们必须明白vector是一个线性顺序表的结构，与数组非常相似，就是数据都是连续且按顺序储存在内存连续区域中的结构，与数组不同的是，当vector超出容量时会自动调节长度，这在上一篇文章中已经演示过了，这里要说的是它是如何增长的。在这里先介绍一个名为allocator的模板类，这个类可以为对象分配足够大小的空间却不构造对象，分配完空间后该类会返回一个指向分配的开始地址的指针（指针类型与实例化的allocator的类型是一样的），要使用这个类必须导入memory这个头文件。下面看一个简单的例子：

	allocator<string> sa;   //将该模板类实例化为string类型
	string * p = sa.allocate(5);    //分配足以储存5个string类型的空间却不构造string ， 返回指针
	string * q = p;         //另一个指针
	for( ; q != p + 5 ; q++){
		sa.construct(q , "It's a test.");    //构造5个string
	}
	for(string * ps = p ; ps != q ; ps++){
		cout << *ps << endl;    //打印
	}
	for( ; q != p ; q--){
		sa.destroy(q);    //对每个string调用析构函数
	}
	sa.deallocate(p , 5);    //回收5个string的空间

打印出5行 “It ' s a test."

这个例子就能够告诉我们allocator这个类的基本原理，它能够分配足够的内存用于储存程序员指定数量的对象，却不会调用构造函数，即在构造这个对象之前该位置的内容是未定义的，调用construct构造对象后再调用destroy就能销毁对象，最后的deallocate是用来回收空间的。

为什么要在这里说这个呢，其实vector内部就是这样分配的， vector内部有三个指针（类型为用来实例化的指定类型），其实就是我们所说的迭代器，第一个指针名为start ，保存了顺序表的第一个元素的起始地址。第二个指针名为finish ，保存的是已经构造的最后一个元素的下一个地址。第三个指针名为end_of_storage ，保存的是已分配的空间的末尾的下一个地址，用一张图来看（数字表示已经构造的对象）

配合在上一篇中讲的内容，很容易就理解了这种数据结构， size()函数时间上就是 finish - start ， capacity() 实际上就是 end_of_storage - start 。每push_back一个对象，就调用一次 construct并把finish向后移一个单位，调用一次pop_back就调用一次destroy并把finish指针向前移一个单位。

现在讲一下vector是如何动态增长的，当我们在push_back新对象时，如果size() 等于capacity() ，说明分配的对象空间已经用完，这是vector会要求内存分配一块比原来大两倍的空间给它（使用allocate分配，再把原来的数据拷贝或移动进去，再把旧空间用deallocate回收），注意新分配的空间绝不一定是end_of_storage接下来的空间，这点一定要注意。