一、前言
首先说明,vector可以理解为动态数组,既然是数组,那么它在内存中就应该是一块连续的内存,但vector是如何支持动态增长的呢?关于这个问题,网上有很对说法,但其中有些说法是错误的,最近看到有一篇博友的解释就非常正确,这里就针对的他的解释进行进一步的阐述,并进行实际验证。
二、vector内存增长方式
C++primer中多次明确指出对vector使用的建议是:先创建一个空的vector对象,然后再运行时再利用vector的成员函数push_back向其中添加元素。先以此来验证vector的内存的自动增长,程序说明为:创建一个空的vector a,然后采用push_back向其中添加元素,共迭代10次,运行环境为VS2010IDE
- #include <iostream>
- #include <vector>
- using namespace std;
- int main()
- {
- vector<int> a;
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- for (int i = 0; i < 10; i++)
- {
- a.push_back(i);
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- }
- return 0;
- }
运行结果为:
在分析结果之前,首先介绍与vector的内存布局,然后再介绍与内存增长相关的四个函数,分别为size()、capacity()、reserve()、resize()函数。
(1)vector内存布局
start迭代器指向已用空间的首元素,finish指向已用空间的尾元素的下一个位置,end_of_storage指向可用空间的末尾。
(2)size()、capacity()、reserve()、resize()函数
size()函数返回的是已用空间大小,capacity()返回的是总空间大小,capacity()-size()则是剩余的可用空间大小。当size()和capacity()相等,说明vector目前的空间已被用完,如果再添加新元素,则会引起vector空间的动态增长。reserve(n)预先分配一块较大的指定大小的内存空间,其中n为分配空间大小;resize()成员函数只改变元素的数目,不改变vector的容量。
再看刚刚的运行结果,首先可以确定,在VS2010的编译器里面每次并不是增长固定的内存,可以看出是增长当前内存的一半。而且由于我们的程序没有调用reserve(n)函数预先分配一块内存,所以内存增长是编译器自动完成的。这个自动增长包括重新分配内存空间、拷贝原空间、释放原空间三个过程,具体策略为当添加元素时,如果vector空间大小不足,则会以原大小的1.5倍另外配置一块较大的新空间,然后将原空间内容拷贝过来,在新空间的内容末尾添加元素,并释放原空间。也就是说vector的空间动态增加大小,并不是在原空间之后的相邻地址增加新空间,因为vector的空间是线性连续分配的,不能保证原空间之后有可供配置的空间。这就解释了上述程序的运行结果。
但是,针对以上自动完成的内存增长过程,由于包括重新分配内存空间、拷贝原空间、释放原空间等步骤,这些过程会降低程序效率,因此可以使用reserve(n)预先分配一块较大的指定大小的内存空间,这样当指定大小的内存空间未使用完时,是不会重新分配内存空间的,这样便提升了效率。下面对上一个程序进行扩展如下,即再定义一个vector b,预先分配10个内存,进行11次push_back操作
- #include <iostream>
- #include <vector>
- using namespace std;
- int main()
- {
- vector<int> a;
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- for (int i = 0; i < 10; i++)
- {
- a.push_back(i);
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- }
- cout << endl;
- vector<int> b;
- b.reserve(10);
- for (int i = 0; i < 10; i++)
- {
- b.push_back(i);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- }
- b.push_back(11);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- cout << endl;
- return 0;
- }
运行结果如下:
- #include <iostream>
- #include <vector>
- using namespace std;
- int main()
- {
- vector<int> a;
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- for (int i = 0; i < 10; i++)
- {
- a.push_back(i);
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- }
- cout << endl;
- vector<int> b;
- b.reserve(10);
- for (int i = 0; i < 10; i++)
- {
- b.push_back(i);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- }
- b.push_back(11);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- cout << endl;
- b.reserve(13);
- cout << "after b.reserve(13):" << endl;
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- <span style="white-space:pre;"> </span>b.reserve(20);
- cout << "after b.reserve(20):" << endl;
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- return 0;
- }
运行结果为:
可以看到,在加上b.reserve(13),容器b的capacity并没有由15变为13,但加上 b.reserve(20)时却变化了;这也验证了上述结论。
对于resize()成员函数只改变元素的数目,不改变vector的容量的说法可以从下面的程序进行验证:
- #include <iostream>
- #include <vector>
- using namespace std;
- int main()
- {
- vector<int> a;
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- for (int i = 0; i < 10; i++)
- {
- a.push_back(i);
- cout << "a.size(): " << a.size() << " a.capacity(): " << a.capacity() << endl;
- }
- cout << endl;
- vector<int> b;
- b.reserve(10);
- for (int i = 0; i < 10; i++)
- {
- b.push_back(i);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- }
- b.push_back(11);
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- cout << endl;
- b.reserve(13);
- cout << "after b.reserve(13):" << endl;
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- b.resize(5);
- cout << "after b.resize(5):" << endl;
- cout << "b.size(): " << b.size() << " b.capacity(): " << b.capacity() << endl;
- for (int i = 0; i < b.size(); i++)
- {
- cout << b[i] << endl;
- }
- return 0;
- }
运行结果为:
可以看到,在加上resize(5)之后,容器的capacity()并没有增长,只是size()变为了5,而且通过打印vector元素可知,只截取了前五个元素。