1、底层实现
Vector在堆中分配了一段连续的内存空间来存放元素。
包括三个迭代器,first 指向的是vector中对象的起始字节位置;last指向当前最后一个元素的末尾字节;end指向整个vector容器所占用内存空间的末尾字节。
last - first表示 vector 容器中目前已被使用的内存空间;
end - last 表示 vector 容器目前空闲的内存空间;
end - first表示 vector 容器的容量。
2、扩容过程:
如果集合已满,在新增数据的时候,就要分配一块更大的内存,将原来的数据复制过来,释放之前的内存,在插入新增的元素。所以对vector的任何操作,一旦引起空间重新配置,指向原vector的所有迭代器就都失效了 ;
2.1size() 和capacity()
堆中分配内存,元素连续存放,内存空间只会增长不会减少。vector有两个函数,一个是capacity(),在不分配新内存下最多可以保存的元素个数,另一个size(),返回当前已经存储数据的个数。对于vector来说,capacity是永远大于等于size的,capacity和size相等时,vector就会扩容,capacity变大(翻倍)。
2.2resize()和reserve()
①resize():改变当前容器内含有元素的数量(size()),而不是容器的容量。
- 当resize(len)中len > capacity(),则数组中的size和capacity均设置为len;
- 当resize(len)中len <= capacity(),则数组中的size设置为len,而capacity不变;
②reserve():改变当前容器的最大容量(capacity)
- 如果reserve(len)中len >当前的capacity(),那么会重新分配一块能存len个对象的空间,然后把之前的对象通过copy construtor复制过来,销毁之前的内存;
- 当reserve(len)中len<=当前的capacity(),则数组中的capacity不变,size不变,即不对容器做任何改变。
3细节:
3.1、为什么要成倍的扩容而不是一次增加一个固定大小的容量呢?
采用成倍方式扩容,可以保证常数的时间复杂度,而增加指定大小的容量只能达到O(n)的时间复杂度。
3.2、为什么是以两倍的方式扩容而不是三倍四倍,或者其他方式呢?
考虑可能产生的堆空间浪费,所以增长倍数不能太大,一般是1.5或2;GCC是2;VS是1.5
k =2 每次扩展的新尺寸必然刚好大于之前分配的总和,之前分配的内存空间不可能被使用,这样对于缓存并不友好,采用1.5倍的增长方式可以更好的实现对内存的重复利用。
C++并没有规定扩容因子K,这是由标准库的实现者决定的。