c++ vector关于push_back()调用构造函数、析构函数的分析

vector的push_back()、emplace_back等改变空间大小的操作，调用构造函数、析构函数的次数分析！！！

先看这个初始代码：

#include <iostream>
#include <vector>

using std::cout; using std::endl;

struct X{
    X() {cout << "调用构造函数：X()" << endl;}
    X(const X&) {cout << "调用拷贝构造函数：X(const X&)" << endl;}
    ~X(){cout << "调用析构函数：~X()" << endl;}
};

int main(int argc, char **argv)
{
    cout << "定义局部变量：" << endl;
    X x;
    cout << endl;

    std::vector<X> vec;
    cout << "存放在容器：" << endl;
    vec.push_back(x);
    cout << endl;

    cout << "程序结束！！！" << endl;
    return 0;
}

输出如上，vector上进行一次push_back()操作时，调用了一次拷贝构造函数（如果使用emplace_back()，则会调用构造函数而不是拷贝构造函数），程序结束时调用两次析构函数，分别对应变量$x$和vector中的一个元素。

如果修改代码如下(其他地方不变，连续插入2次$x$)：

	std::vector<X> vec;
    cout << "存放在容器：" << endl;
    vec.push_back(x);
    vec.push_back(x);
    cout << endl;

输出则是这样：

可以发现vector上进行两次push_back()操作，但是调用了三次拷贝构造函数和一次析构函数，其他地方都好理解，但是这里一开始让我比较头疼！

再次修改代码如下(连续push_back3次)：

	std::vector<X> vec;
    cout << "存放在容器：" << endl;
    vec.push_back(x);
    vec.push_back(x);
    vec.push_back(x);
    cout << endl;

这个输出看起来更头疼。。
但把代码修改为连续push_back4次的话，是这样：

这时就可以看出端倪了，操作3次和4次的差别仅仅在于，4次的最后刚好多出了一次调用拷贝构造函数，而前面的调用都和三次的是一样的。如果再实验下去的话，就会发现6、7、8的差别也是最后多出的调用拷贝构造函数。原因就在于：
  vector可用空间不足时空间增长原理，当vector的元素数量达到$2^n$次方的时候，就会引起空间重新分配，比如1、2、4、8··· ，而空间重新分配会拷贝旧空间的元素到新空间，然后集中析构旧空间。

分析2次push_back的情况：

• 第一次push，第一次调用拷贝构造函数，vector元素数量此时为1，大小为1；
• 第二次push，发现vector空间不足，则空间自动分配为2（把这个重新分配的空间成为新空间），则需要把旧空间里的元素先拷贝到新空间里，所以第二次调用拷贝构造函数将旧空间的元素拷贝过来，接下来才会真正的第三次调用拷贝构造函数来进行第二次的push，第二次push结束之后由于旧空间已经不再有存在的必要，所以会调用一次析构函数来释放旧空间里的一个元素，至此，操作结束。

分析3次push_back的情况（前两次和2次push_back时一致）：

• 第一次push，第一次调用拷贝构造函数，vector元素数量此时为1，大小为1；
• 第二次push，发现vector空间不足，则空间自动分配为2（把这个重新分配的空间成为新空间），则需要把旧空间里的元素先拷贝到新空间里，所以第二次调用拷贝构造函数将旧空间的元素拷贝过来，接下来才会真正的第三次调用拷贝构造函数来进行第二次的push，第二次push结束之后由于旧空间已经不再有存在的必要，所以会第一次调用析构函数来释放旧空间里的1个元素；
• 第三次push，发现vector空间（为2）不足，则空间自动分配为4，则需要把旧空间里的2个元素先拷贝到新空间里，所以第四次、第五次调用拷贝构造函数将旧空间的2个元素拷贝过来，接下来才会真正的第六次调用拷贝构造函数来进行第三次的push，第三次push结束之后由于旧空间已经不再有存在的必要，所以会第二次、第三次调用析构函数来释放旧空间里的2个元素，至此，操作结束。

分析4次push_back的情况 ：

• 由于3次push_back时分配空间大小为4，所以再多push一个并不会导致空间的重新分配，那么就只需要多调用一次拷贝构造函数即可。