STL----vector

1. vector是表示可变大小数组的序列容器。

2. 就像数组一样，vector也采用的连续存储空间来存储元素。也就是意味着可以采用下标对vector的元素

进行访问，和数组一样高效。但是又不像数组，它的大小是可以动态改变的，而且它的大小会被容器自

动处理。

3. 本质讲，vector使用动态分配数组来存储它的元素。当新元素插入时候，这个数组需要被重新分配大小

为了增加存储空间。其做法是，分配一个新的数组，然后将全部元素移到这个数组。就时间而言，这是

一个相对代价高的任务，因为每当一个新的元素加入到容器的时候，vector并不会每次都重新分配大

小。

4. vector分配空间策略：vector会分配一些额外的空间以适应可能的增长，因为存储空间比实际需要的存

储空间更大。不同的库采用不同的策略权衡空间的使用和重新分配。但是无论如何，重新分配都应该是

对数增长的间隔大小，以至于在末尾插入一个元素的时候是在常数时间的复杂度完成的。

5. 因此，vector占用了更多的存储空间，为了获得管理存储空间的能力，并且以一种有效的方式动态增

长。

6. 与其它动态序列容器相比（deques, lists and forward_lists）， vector在访问元素的时候更加高效，在

末尾添加和删除元素相对高效。对于其它不在末尾的删除和插入操作，效率更低。比起lists和

forward_lists统一的迭代器和引用更好。

 

vector的扩容问题

在vs下，vector是以1.5倍进行扩容的，而在g++下，vector是以二倍增长的，此处需特别注意。

vs是PJ版本STL，g++是SGI版本STL。

vector迭代器失效问题

如果我们用earse/insert操作元素后，并对其进行解引用操作，此实迭代器已经失效，会引起程序崩溃

// 常见的迭代器失效的场景
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
int main()
{
int a[] = { 1, 2, 3, 4 };
vector<int> v(a, a + sizeof(a) / sizeof(int));
// 实现删除v中的所有偶数
// 下面的程序会崩溃掉，如果是偶数，erase导致it失效
// 对失效的迭代器进行++it，会导致程序崩溃
vector<int>::iterator it = v.begin();
while (it != v.end())
 {
if (*it % 2 == 0) v.erase(it);
++it;
 }
// 以上程序要改成下面这样，erase会返回删除位置的下一个位置
vector<int>::iterator it = v.begin();
while (it != v.end())
 {
if (*it % 2 == 0)
it = v.erase(it);
else
++it;
 }
return 0; }

vector中插入元素

我们可以使用下标的方式去访问元素，也可以使用类成员函数push_back(‘你要插入的元素’),

但要切记一件事，在使用下标访问的时候，一定要对vector进行初始化，如果没有元素，可以使用成员函数reverse()。

vector的实现原理

关于vector简单的说就是一个动态增长的数组，里面有一个指针指向一片连续的内存空间，当空间装不下要容纳的数据的时候会自动申请一片更大的空间（空间配置器）将原来的数据拷贝到新的空间，然后就会释放旧的空间。当删除的时候空间并不会释放只是清空了里面的数据。

vector的数据安排以及操作方式与数组非常相似，两者唯一区别在于空间运用的灵活性，数组是静态空间一旦配置了就不能再改变大小，如果要增容的话，就要把数据搬到新的数组里面，然后再把原来的空间释放掉还给操作系统。vector是动态的随着元素的增加，它的内部机制会自动的扩充空间来容纳新的元素。因此，vector的运用对于内存的合理利用与运用的灵活性有很大的帮助，我们不必害怕空间不足而一开始就开辟一块很大的内存。

vector的实现技术，关键在于其对大小的控制以及重新配置时的数据移动效率。一旦vector的旧空间满载了，如果客户端每新增加一个元素，vector的内部只是扩充了一个元素空间，其实这样是比较不明智的。因为所谓的扩充空间（无论多大），过程都是配置新空间——数据移动——释放旧空间，成本还是比较高的。vector维护的是一个连续的线性空间，所以vector支持随机访问。

在vector的动态增加大小的时候，并不是在原有的空间上持续增加成新的空间（无法保证原空间的后面还有可供配置的空间），而是以原大小的两倍另外配置一块较大的空间，然后将原来的内容拷贝过来，并释放原来的空间。因此，对vector的任何操作一旦引起了空间的重新配置，指向原vector的所有迭代器会都失效了，这是比较容易犯的一个错误。