这篇文章不打算讲述vector的基本用法,而是总结一下近期我大量阅读C++经典书籍时遇到的一些关于vector的容易忽略的知识点,特意将它们记录下来,以便以后查阅。
1.v[0]和v.at(0)的区别
void f(vector<int>& v)
{
v[0]; //A
v.at(0); //B
}
观察该函数,我们使用A和B的形式来访问v的元素,他们有什么区别?他们唯一区别就是如果v空则B会抛出std::out_of_range的异常,至于A行为标准未加任何说明。所以B方式可以防止越界操作,但是B方式较A方式效率要低(因为加入了越界检查)。
2.resize()和reserve()是不同的操作
int main()
{
vector<int> v;
v.reserve(2);
cout << "capacity: " << v.capacity() << endl;
assert(v.capacity() == 2);
v[0] = 1; //A
v[1] = 2; //B
return 0;
}
上面的代码是有问题的,我在VS2015下进行编译运行时弹出“vector越界访问”的错误。那该段程序错在哪里?
- 首先这里的断言可能会失败。因为reserve操作将保证vector容量>=2。而且这里的断言也是多余的。
- 然后A和B的复制是有问题的,因为该程序忽视了resize/size和reserve/capacity的区别。size()告诉你容器中实际有多少个元素,resize()则会在容器末尾添加或者删除元素,使得容器达到指定大小;capacity()告诉你最少添加多少个元素才会导致容器的重新分配内存,而reserve()在必要时候总是容器内部缓冲区扩至一个更大的内容,reserve()并不改变容器中元素的数量,它仅影响vector预先分配多大的内存空间。
所以上面的代码修改可以这么做:
int main()
{
vector<int> v;
v.resize(2);
v[0] = 1;
v[1] = 2;
return 0;
}
或者使用pushback()来添加元素。
3.vector增长的方式
上面第二点说了vector中size()和capacity()是不同的意思,造成这一现象的原因就是vector的的增长方式有些不同。用一句话来总结vector的的增长方式就是“重新配置,移动数据,释放原空间”。
标准库实现者为了尽量减少容器空间重新分配次数,他们采取这样一种策略:当不得不获取新的内存空间时,vector通常会分配比新的空间需求更大的内存空间。容器预留这些空间作为备用,可以用来保存更多的元素。这样,就不需要每次添加新元素都重新分配容器空间了。上面说到“容器预留这些空间作为备用”,这里的预留空间时多少呢?根据《STL源码剖析》的说法,当增加新元素时,如果超过当时的容量,则容量会扩充至原理容量的2倍;如果两倍仍不足,就扩张到足够大的容量。
vector中有三个重要迭代器:
![2d4521b513a27928d4f0570e53965c05.png](https://i-blog.csdnimg.cn/blog_migrate/ea09dfb91748efddc72a0f75c9f7fbd4.png)
以下图像形象表示出vector的增长方式以及size与capacity的区别。
![ba18b0b3c8746b6242e48284a972d2db.png](https://i-blog.csdnimg.cn/blog_migrate/5fd3b308d8231756d6776ddaa89abed1.jpeg)
为了验证vector内存容量的增长策略,我特意做了以下实验。
以下代码在centos 7下编译运行,其显示结果与《STL源码剖析》说法一致。
#include <iostream>
#include <vector>
using namespace std;
//在g++ (GCC) 4.8.5 20150623 (Red Hat 4.8.5-11)下编译运行
int main()
{
vector<int> v(2,9); //9 9
cout << "size=" << v.size() << endl; //size=2
cout << "capacity=" << v.capacity() << endl; //capacity=2
v.push_back(1); //9 9 1
cout << "size=" << v.size() << endl; //size=3
cout << "capacity=" << v.capacity() << endl; //capacity=4
v.push_back(2); //9 9 1 2
cout << "size=" << v.size() << endl; //size=4
cout << "capacity=" << v.capacity() << endl; //capacity=4
v.push_back(3); //9 9 1 2 3
cout << "size=" << v.size() << endl; //size=5
cout << "capacity=" << v.capacity() << endl; //capacity=8
v.push_back(4); //9 9 1 2 3 4
cout << "size=" << v.size() << endl; //size=6
cout << "capacity=" << v.capacity() << endl; //capacity=8
v.push_back(5); // 9 9 1 2 3 4 5
cout << "size=" << v.size() << endl; //size=7
cout << "capacity=" << v.capacity() << endl; //capacity=8
v.pop_back();
v.pop_back();
cout << "size=" << v.size() << endl; //size=5
cout << "capacity=" << v.capacity() << endl; //capacity=8
v.pop_back();
v.pop_back();
cout << "size=" << v.size() << endl; //size=3
cout << "capacity=" << v.capacity() << endl; //capacity=8
v.clear();
cout << "size=" << v.size() << endl; //size=0
cout << "capacity=" << v.capacity() << endl; //capacity=8
return 0;
}
但是在VS2015下编译运行,效果就不一样了。
![05a421a21e0e1eea47421d91e47ca2ae.png](https://i-blog.csdnimg.cn/blog_migrate/9aa11714bdac53e843abde8d6918ab77.jpeg)
查阅资料知道,这里容量增长方式是:每次扩容50%
依次看来,在VS2015下采用的标准库版本与Linux下的版本应该是不一样的。
4.迭代器失效情况总结
对于vector而言,添加和删除操作可能使容器的部分或者全部迭代器失效。为什么迭代器会失效呢?vector元素在内存中是顺序存储,试想:如果当前容器中已经存在了10个元素,现在又要添加一个元素到容器中,但是内存中紧跟在这10个元素后面没有一个空闲空间,而vector的元素必须顺序存储一边索引访问,所以我们不能在内存中随便找个地方存储这个元素。于是vector必须重新分配存储空间,用来存放原来的元素以及新添加的元素:存放在旧存储空间的元素被复制到新的存储空间里,接着插入新的元素,最后撤销旧的存储空间。这种情况发生,一定会导致vector容器的所有迭代器都失效。
先看一个错误的例子:
vector<mission>::iterator itr = vm.begin();
while (itr != vm.end())
{
if ((*itr).getStartTime() <= nowTime)
{
vm.erase(itr);
}
itr++;
}
这段代码运行起来会crash,其原因当然是迭代器失效了,我们还用了它。
因为在erase操作后,原迭代器是相当于一个野指针的状态,对其++必定出错。
而erase的返回值就是指向被删除的元素的下一个元素的迭代器,我们没必要再次++了。
正确写法:
vector<mission>::iterator itr = vm.begin();
while (itr != vm.end())
{
if ((*itr).getStartTime() <= nowTime)
{
itr = vm.erase(itr);
}
else
{
itr++;
}
}
vector迭代器的几种失效的情况:
- 当插入一个元素后,插入位置之后的元素迭代器肯定失效。
- 当插入一个元素后,capacity返回值与没有插入元素之前相比有改变(即存储空间重新分配),则需要重新加载整个容器,此时指向容器的迭代器都会失效。
- 当进行删除操作(erase,pop_back)后,指向删除点的迭代器全部失效;指向删除点后面的元素的迭代器也将全部失效。