c++ - 析构函数调用的次数比我预期的多

Question

这是我的最小示例:

#include <iostream>
#include <vector>

class A {
public:
    A() { std::cout << "Constructor\n"; }
    ~A() { std::cout << "Destructor\n"; }
};

class B {
public:
    B() { v.push_back(A()); v.push_back(A()); }
private:
    std::vector<A> v;
};

int main() {
    B b;
    return 0;
}

所以，我得到了这个输出:

Constructor   // first push back
Destructor    // copy destroyed
Constructor   // second push back
Destructor    // copy destroyed
Destructor    // ???????????????
// B object goes out of scope and its vector too...
Destructor    // v[0] destructor called 
Destructor    // v[1] destructor called 

有人可以解释一下吗？

---

在关注 Dave 的评论之后:

Constructor
Copy constructor
Destructor
Constructor
Copy constructor
Copy constructor
Destructor
Destructor
Destructor
Destructor

Answer 1

添加一个重载的复制构造函数和一些指示正在对哪个对象进行操作的指示器可以阐明这种情况:

#include <iostream>
#include <vector>

class A {
public:
    A(unsigned i): i(i) { std::cout << "Constructor " << i << std::endl; }
    A(const A& a) : i(a.i) { std::cout << "Copy constructor " << i << std::endl; }
    ~A() { std::cout << "Destructor " << i << std::endl; }
    unsigned i;
};

class B {
public:
    B() { v.push_back(A(0)); v.push_back(A(1)); }
private:
    std::vector<A> v;
};

int main() {
    B b;
    return 0;
}

在第一次推送时，我们复制并销毁临时文件。在第二次推送时，我们制作一个拷贝，然后复制第一个对象，然后销毁第一个对象和临时对象。最后，我们销毁这两个对象。

我猜想 std::vector 最初分配的容量为 1，所以第二次推送强制重新分配？如果我强制使用更大的初始容量(通过在第一次推送之前调用 v.reserve(5))，那么额外的拷贝就会消失。