调整容器大小时出现奇怪的行为

Question

调整向量大小时，它会调用构造函数，然后再析构它。

struct CAT
{
    CAT(){cout<<"CAT()"<<endl;}
    CAT(const CAT& c){cout<<"CAT(const CAT& c)"<<endl;};
    ~CAT(){cout<<"~CAT()"<<endl;};
};
int main()
{
    vector<CAT> vc(6);
    cout<<"-----------------"<<endl;
    vc.resize(3);
    cout<<"-----------------"<<endl;

}

输出：

$./m 
CAT()
CAT(const CAT& c)
CAT(const CAT& c)
CAT(const CAT& c)
CAT(const CAT& c)
CAT(const CAT& c)
CAT(const CAT& c)
~CAT()
-----------------
CAT()          //why resize will call constructor?
~CAT()
~CAT()
~CAT()
~CAT()
-----------------
~CAT()
~CAT()
~CAT()

我正在使用Ubuntu 13.10和gcc4.8。

- camino

---

你打开了优化功能吗？我在VS2013中得不到和你一样的结果。 - Caesar

@MohammedMajeed，没有优化，这是我的编译命令 g++ -Wall -o m main.cpp。在我的电脑上使用"g++ -Wall -O2 -o m main.cpp"会得到相同的结果。 - camino

请看这里。我认为它不是重复的，但很接近。 - wesley.mesquita

我在OS X 10.9上使用gcc-4.8.2也得到了相同的结果。然而，Clang产生了：6 x () | 3 x ~() | 3 x ~()。 - Brett Hale

@herohuyongtao，为什么要检查Mark的答案，有8个CAT()和8个~Cat()。 - Caesar

Answer 1

这是由于resize的可选参数。

以下是我在GCC 4.8中的实现：

  void
  resize(size_type __new_size, value_type __x = value_type())
  {
if (__new_size > size())
  insert(end(), __new_size - size(), __x);
else if (__new_size < size())
  _M_erase_at_end(this->_M_impl._M_start + __new_size);
  }

请仔细看 value_type __x = value_type()。

引用自http://www.cplusplus.com/reference/vector/vector/resize/:

void resize (size_type n, value_type val = value_type());

- ichramm

Answer 2

在 C++11 之前，resize 函数有一个默认的第二个参数，用于提供初始化新元素的值：

void resize(size_type sz, T c = T());

这就解释了为什么你会看到一个额外的对象被创建和销毁。

在现代库中，这个问题被替换成了两个重载函数。

void resize(size_type sz);
void resize(size_type sz, const T& c);

因此，除非您明确提供一个对象，否则不应看到任何额外的对象。在构建过程中，您还应该看到默认初始化而不是复制初始化。

- Mike Seymour

Answer 3

当使用vector::resize进行缩小操作时，你的实现可能会创建一个临时的默认初始化对象，因为它在扩大操作时使用该对象来初始化新元素。

- Mark Ransom

---

那很可能是这种情况 - 否则它可能会调用CAT() 6次而不是CAT(const CAT＆c)来执行创建过程。运行构造函数时，它可能会执行resize(int x)。 - Paweł Stawarz