vector容器存储的元素是类的对象和指针的差异

参考资料： 

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的内存增长

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的内存释放

由于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++编译没有通过)

 

其他情况释放内存

如果vector中存放的是指针，那么当vector销毁时，这些指针指向的对象不会被销毁，那么内存就不会被释放。如下面这种情况，vector中的元素时由new操作动态申请出来的对象指针：

#include <vector> 
using namespace std; 

vector<void *> v;

每次new之后调用v.push_back()该指针，在程序退出或者根据需要，用以下代码进行内存的释放：

for (vector<void *>::iterator it = v.begin(); it != v.end(); it ++) 
    if (NULL != *it) 
    {
        delete *it; 
        *it = NULL;
    }
v.clear();