参考资料:
1. https://blog.csdn.net/luomoshusheng/article/details/48226517
2. https://blog.csdn.net/wangshubo1989/article/details/49913239 (妙得很)
3. https://www.cnblogs.com/biyeymyhjob/archive/2012/09/12/2674004.html
贴两段代码防忘记:
当存储类对象的指针时,析构和结构的过程分析:
#include <iostream> #include <vector> using namespace std; class Test { public: Test(void); ~Test(void); }; Test::Test(void) { cout << "object created\n"; } Test::~Test(void) { cout << "-->object deleted\n"; } int main() { vector<Test*> vec; Test* t1 = new Test(); Test* t2 = new Test(); Test* t3 = new Test(); Test* t4 = new Test(); Test* t5 = new Test(); Test* t6 = new Test(); Test* t7 = new Test(); Test* t8 = new Test(); vec.push_back(t1); cout << vec.size() << endl; vec.push_back(t2); cout << vec.size() << endl; vec.push_back(t3); cout << vec.size() << endl; vec.push_back(t4); cout << vec.size() << endl; vec.push_back(t5); cout << vec.size() << endl; vec.push_back(t6); cout << vec.size() << endl; vec.push_back(t7); cout << vec.size() << endl; vec.push_back(t8); cout << vec.size() << endl; cout << "before deleting ... " << endl; for (int i = 0; i < vec.size(); ++i) { delete vec[i]; } cout << "after deleting, before clear ... " << endl; vec.clear(); return 0; } 所得结果为: object created object created object created object created object created object created object created object created 1 2 3 4 5 6 7 8 before deleting ... -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted after deleting, before clear ... 在这个过程中,首先8个类对象及指向该对象的指针都被初始化好,在初始化类对象的过程中,构造函数被调用,8个“object created” 被打印出来;然后分别放入vector中,此时vector存放的只是指针,并不存在类对象的copy和析构过程,所以析构函数打印在显示vector size的时候没有出现;由资料1和3可知,当vector中存储的元素为类对象的指针时,因为指针无法被vector用来调用析构函数,所以调用clear只是清空vector size为0,并没有空间的释放,需要在调用clear函数之前,遍历并释放。从得到的结果也可以看出,类对象的空间是在调用delete的时候被释放的。
当存储类对象时,析构和结构的过程分析:
#include <iostream> #include <vector> using namespace std; class Test { public: Test(void); Test(const Test& t); ~Test(void); }; Test::Test(void) { cout << "object created\n"; } Test::Test(const Test& t) { cout << "copy\n"; } Test::~Test(void) { cout << "-->object deleted\n"; } int main() { vector<Test> vec; Test t1; Test t2; Test t3; Test t4; Test t5; Test t6; Test t7; Test t8; vec.push_back(t1); cout << vec.size() << endl; vec.push_back(t2); cout << vec.size() << endl; vec.push_back(t3); cout << vec.size() << endl; vec.push_back(t4); cout << vec.size() << endl; vec.push_back(t5); cout << vec.size() << endl; vec.push_back(t6); cout << vec.size() << endl; vec.push_back(t7); cout << vec.size() << endl; vec.push_back(t8); cout << vec.size() << endl; cout << "after deleting, before clear ... " << endl; vec.clear(); cout << "after clear ... " << endl; cout << vec.capacity() << endl; vector<Test>(vec).swap(vec); cout << vec.capacity() << endl; return 0; }所得结果为:
object created object created object created object created object created object created object created object created push 1 copy 1 push 2 copy copy -->object deleted 2 push 3 copy copy copy -->object deleted -->object deleted 3 push 4 copy 4 push 5 copy copy copy copy copy -->object deleted -->object deleted -->object deleted -->object deleted 5 push 6 copy 6 push 7 copy 7 push 8 copy 8 after deleting, before clear ... -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted after clear ... 8 0 -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted -->object deleted由资料1和资料3可知,在vector分配内存的时候,所得到的存储空间总是大于等于所需存储空间:
即 const size_type len=old_size !=0?2*old_size :1;
由结果可看出,在写入第一个对象的时候,vector其实分配了1个类对象的存储空间。在写入第二个对象的时候,由于存储空间不够,vector申请了二倍于原来size的存储空间,也就是两个类对象的大小,copy1 copy2, 然后清空旧的1。在写入第三个对象的时候,由于存储空间不够,vector申请了二倍于原来size的存储空间,也就是四个类对象的大小,copy1,copy2,copy3,然后清空旧的1和2。在写入第四个对象的时候,存储空间足够,没有再新申请空间,而是直接copy4。之后的情况依次类推。之后,由于存储的是类对象而没有用到指针,自然不需要delete。但从结果可以看出,clear也并没有释放掉vector占用的内存,这个时候使用资料2和资料3中提到的方法,使用swap与局部变量交换的方法释放掉vector占用的全部内存。可见vector的capacity由8变为0。最后,在main函数结束,vector的析构被调用,类的析构被调用8次。
vector其中一个特点:内存空间只会增长,不会减小,援引C++ Primer:为了支持快速的随机访问,vector容器的元素以连续方式存放,每一个元素都紧挨着前一个元素存储。设想一下,当vector添加一个元素时,为了满足连续存放这个特性,都需要重新分配空间、拷贝元素、撤销旧空间,这样性能难以接受。因此STL实现者在对vector进行内存分配时,其实际分配的容量要比当前所需的空间多一些。就是说,vector容器预留了一些额外的存储区,用于存放新添加的元素,这样就不必为每个新元素重新分配整个容器的内存空间。
在调用push_back时,每次执行push_back操作,相当于底层的数组实现要重新分配大小;这种实现体现到vector实现就是每当push_back一个元素,都要重新分配一个大一个元素的存储,然后将原来的元素拷贝到新的存储,之后在拷贝push_back的元素,最后要析构原有的vector并释放原有的内存。例如下面程序:
#include <iostream> #include <cstdlib> #include <vector> using namespace std; class Point { public: Point() { cout << "construction" << endl; } Point(const Point& p) { cout << "copy construction" << endl; } ~Point() { cout << "destruction" << endl; } }; int main() { vector<Point> pointVec; Point a; Point b; pointVec.push_back(a); pointVec.push_back(b); cout<<pointVec.size()<<std::endl; return 0; }输出结果:
其中执行
pointVec.push_back(a);此时vector会申请一个内存空间,并调用拷贝构造函数将a放到vector中
再调用
pointVec.push_back(b); 此时内存不够 需要扩大内存,重新分配内存 这时再调用拷贝构造函数将a拷贝到新的内存,再将b拷入新的内存,同时有人调用Point拷贝构造函数,最后释放原来的内存 此时调用Point的析构函数。
由于vector的内存占用空间只增不减,比如你首先分配了10,000个字节,然后erase掉后面9,999个,留下一个有效元素,但是内存占用仍为10,000个。所有内存空间是在vector析构时候才能被系统回收。empty()用来检测容器是否为空的,clear()可以清空所有元素。但是即使clear(),vector所占用的内存空间依然如故,无法保证内存的回收。
如果需要空间动态缩小,可以考虑使用deque。如果vector,可以用swap()来帮助你释放内存。具体方法如下:
vector<Point>().swap(pointVec); //或者pointVec.swap(vector<Point> ())标准模板:
template < class T > void ClearVector( vector< T >& vt ) { vector< T > vtTemp; veTemp.swap( vt ); } swap()是交换函数,使vector离开其自身的作用域,从而强制释放vector所占的内存空间,总而言之,释放vector内存最简单的方法是vector<Point>().swap(pointVec)。当时如果pointVec是一个类的成员,不能把vector<Point>().swap(pointVec)写进类的析构函数中,否则会导致double free or corruption (fasttop)的错误,原因可能是重复释放内存。(前面的pointVec.swap(vector<Point> ())用G++编译没有通过)
每次new之后调用v.push_back()该指针,在程序退出或者根据需要,用以下代码进行内存的释放:
for (vector<void *>::iterator it = v.begin(); it != v.end(); it ++) if (NULL != *it) { delete *it; *it = NULL; } v.clear();
