在vector中与size()和capacity() 相对应的有两个函数:
resize(size_type)和reserve(size_type)。 Size指目前容器中实际有多少元素,对应的resize(size_type)会在容器尾添加或删除一些元素,来调整容器中实际的内容,使容器达到指定的大小。
Capacity指最少要多少元素才会使其容量重新分配,对应reserve(size_type new_size)会这置这个capacity值,使它不小于所指定的new_size。
所以用reserve(size_type)只是扩大capacity值,这些内存空间可能还是“野”的,如果此时使用“[ ]”来访问,则可能会越界。而resize(size_type new_size)会真正使容器具有new_size个对象。
在对vector进行访问时,如果使用“[ ]”,则会像变通数组那样,不进行越界的判断。如果使用“at(size_type)”函数则会先进行越界的判断,例如下面两断程序:
程序一:
vector<int> v;
v.reserve(2);
v[0]=1;
cout << v[0] << endl;
程序二:
vector<int> v;
v.reserve(2);
v.at(0)=1;
cout << v.at(0) << endl;
两段程序编译都正常,执行时程序一会输出1。这是一个很危险的动作,因为v[0]这块内存还是“野”的。而程序二则会收到一条“std::out_of_range”异常,因为“at(size_type)”函数会进行进行下标越界的检查,来保证程序的安全。此时vector的size()为0,其中并没有对象,所以对第0个对象的访问是越界的。
结合下面的程序可以更入的理解程序一中的问题。
程序三:
vector<int> v;
v.reserve(2);
v[0]=1;
cout << v[0] << endl;
v.reserve(3);
cout << v[0] << endl;
输出结果是
1
-842151451
原因很简单,虽然reserve(2)使vector容量扩展成至少为2,但是这些空间都是空的,也就是v[0]还是一块“野”内存。所以在使用reserve(3)扩展capacity时,得到的新空间里什么都没有。
总结:
1. operator[]和at()只能支改动那些确实存在于容器中的元素,不能自动使容器产生新元素。
2. at()提供了越界检查的功能,使用起来更安全,同时比起operator[]来代价也更大。
3. reserve()只能扩展容器的capacity,不会在其中加入元素。对于reserve()扩展的空间,可以使用push_back(const T&)来填入对象。