vector中的size和capacity

原文地址——诸葛半里

==============================================

在vector中与size()和capacity() 相对应的有两个函数：resize(size_type)和reserve(size_type)。

Size

size指目前容器中实际有多少元素，对应的resize(size_type)会在容器尾添加或删除一些元素，来调整容器中实际的内容，使容器达到指定的大小。

Capacity

Capacity指最少要多少元素才会使其容量重新分配，对应reserve(size_type new_size)会这置这个capacity值，使它不小于所指定的new_size。

所以用reserve(size_type)只是扩大capacity值，这些内存空间可能还是“野”的，如果此时使用“[ ]”来访问，则可能会越界。而resize(size_type new_size)会真正使容器具有new_size个对象。

区别

在对vector进行访问时，如果使用“[ ]”，则会像变通数组那样，不进行越界的判断。

如果使用“at(size_type)”函数则会先进行越界的判断。例如下面两断程序：

程序一：

</pre><pre name="code" class="cpp">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：虽然输出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&)来填入对象。