C++ Primer----一个关于 vector 的有趣的问题

大家请看下面的代码，请问 输出结果是？？

/**
* @file vector-destroy.cc
* @brief an interesting problem regarding vector
* @author shoulinjun@126.com
* @version 0.1.00
* @date 2014-03-16
*/

#include <iostream>
#include <vector>
using namespace std;

class MyClass
{
public:
MyClass(int x=0)
: val(x) {}

~MyClass() {
cout << val << " ";
}
void set_val(int x){
val = x;
}
private:
int val;
};

int main(void)
{
vector<MyClass> vec(5);

for(vector<MyClass>::size_type i=0; i!=vec.size(); ++i)
vec[i].set_val(i);

return 0;
}

我定义了一个 MyClass 的类，这个类的析构函数中，会输出类的成员变量 val 的值。

在 main 函数中，我定义了一个5个元素的 vector，并把这些类的 val 依次设置为 0 1 2 3 4

然而结果是



从结果可以发现两点有意思的：

   1. vector 的析构函数调用时， 按照顺序依次调用 vector中的对象的析构函数

   2. 为什么会出现两个 0 呢？？？

        不是仅仅定义了 5 个 Myclass 的对象吗？？为什么析构函数调用了 6 次？？

通过对 STL 源码的分析，终于明白为什么了。。

vector 的构造函数如下：

explicit vector(size_type n) {
fill_initialize(n, T());
}T（） 建立了一个临时对象， fill_initialize() 调用 T 的复制构造函数初始化所有的数组元素。
这个临时对象就是导致我们的结果出现两个 0 的罪魁祸首。

再简要地提几点：

 1. C++ 一定会合成一个默认的类的复制构造函数， 无论你是否定义了一个复制构造函数

 2. vector 中的元素必须得拥有复制构造函数。