为什么我的析构函数被多次调用？

Question

我创建了一个类并创建了这个类的向量。我在析构函数中放了一条cerr 消息，以查看它何时被调用。我认为同一个析构函数被多次调用。这让我很困惑。

#include <iostream>
#include <vector>

using namespace std;

class temp {
private:
    int _size = 1000;
    int _myBall [1000];
    int _id;
public:
    temp(int id) : _id(id) {}
    ~temp() {
        cerr << "destructor called. ID: " << _id << endl;
    }
};

int main() 
{
    vector<temp> myvec;
    int total_count = 5;
    int count = total_count;
    for(int count = 0;count < total_count; count++) {
        cerr << "count: " << count << endl;
        myvec.push_back(temp(count));
    }

    myvec.clear();
    cerr << "Hello World" << endl;
    system("pause");
    return 0;
}

控制台输出：

count: 0
destructor called. ID: 0
count: 1
destructor called. ID: 0
destructor called. ID: 1
count: 2
destructor called. ID: 0
destructor called. ID: 1
destructor called. ID: 2
count: 3
destructor called. ID: 0
destructor called. ID: 1
destructor called. ID: 2
destructor called. ID: 3
count: 4
destructor called. ID: 0
destructor called. ID: 1
destructor called. ID: 2
destructor called. ID: 3
destructor called. ID: 4
destructor called. ID: 0
destructor called. ID: 1
destructor called. ID: 2
destructor called. ID: 3
destructor called. ID: 4

Answer 1

由于每次std::vector 调整大小时都完成了复制，所以调用了析构函数。

std::vector 在构造完成后重新分配预定数量的内存（足以容纳一定数量的temp 实例）——这就是capacity。每次调用push_back 时，它都会评估它是否仍有足够的内存分配来容纳新实例。一旦它被填满，它实际上会重新分配另一块内存（足以分配更多的temp 实例），然后复制（或移动，如果可能的话）所有现有实例。这些是您看到记录的析构函数调用。

如果您事先知道该向量需要保存多少个实例，您可以reserve 它达到这个数量。

Answer 2

让我们看看

myvec.push_back(temp(count));

在这里，您使用temp(count) 创建一个临时的temp 对象。然后将其作为 copy 存储在向量中。然后临时对象就被销毁了。

临时对象的销毁是调用析构函数的一种情况。

然后当向量动态调整自身大小时，它会将内容复制到新的更大数据内存中。然后将破坏较小数据存储器中的对象。这当然会导致调用析构函数。这种调整大小和复制可能会发生多次。

至于向量的大小调整算法是如何工作的，它是非常特定于实现的，但一种常见的方法是在大小较小时为每个push_back 调整大小，然后随着大小的增加保留越来越大的块。

如果您不希望这种调整大小和复制，那么只要您知道要存储在向量中的元素数量，您就可以设置特定的大小开始并使用正常的数组索引语法分配给元素，或者您可以在前面reserve 空格。