1 前言
上一篇
STL深入探究(一、空间配置器)我详细总结了SGI STL采用的空间配置机制,这一篇来总结一下stl容器的底层实现机制。
2 序列式容器
2.1 Vector
Vector实现方式类似于“数组”,与array的数据安排和操作方式非常类似,两者唯一的差别就在于空间运用的灵活性。
array是静态空间,一旦配置了就不能改变,要想换一个大点的空间,就必须由客户自己实现:(1)配置一块新空间;(2)将元素从旧址一一搬到新址;(3)释放原空间。
而vector是动态空间,随着元素的加入,它的内部机制会自行扩充空间以容纳新元素。
2.1.1 vector的数据结构
vector的数据结构非常简单:线性连续空间,以两个迭代器start、finish分别指向配置得来的连续空间中目前已被使用的范围,并以迭代器end_of_storage指向整块连续空间的尾部。
为了降低空间配置的速度成本,vector的实际配置大小可能会比客户端需求量更大,已备将来可能扩充。
2.1.2 vector 构造与内存管理
vector缺省使用std::alloc作为空间配置器,并另外定义了一个data_allocator为了更方便以元素大小为配置单位。
当以push_back()函数将新元素插入vector尾端,该函数首先检查是否还有备用空间,如果有就直接在备用空间上构造元素,并调整迭代器finish,使得vector变大