向量破坏对象但不构造它们的替换？

Question

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

class cMember
{
    public: 
    int id;

    cMember();
    ~cMember();
};

cMember::cMember()
{
    cout<<"member constructor\n";
}

cMember::~cMember() 
{
    cout<<"member destructor\n";
};

class cDirectory
{
    std::vector<cMember> memberList;

public:
    cDirectory();
    ~cDirectory();

    void Populate();
};


cDirectory::cDirectory()
{
    cout<<"directory constructor\n";
}

cDirectory::~cDirectory()
{
    cout<<"directory desctructor\n";
}

void cDirectory::Populate()
{
    for(int i = 0; i < 2; i++)
    {
        cout<<"A\n";
        cMember t;
        memberList.push_back(t);
        cout<<"B\n";
    }
    cout<<"C\n";
}

int main( int argc, const char ** argv )
{
    cDirectory dir;
    dir.Populate();
    exit(0);
}

看看这个程序的输出，第二次迭代调用了 A 和 B 之间的成员析构函数。我假设这个调用是向量重新分配和重新填充，并在重新分配之前销毁它在其中的成员。

vector 怎么会破坏对象，而不是构造它们的替代品？

Answer 1

矢量如何破坏对象，但不构造它们 替代品？

它通过调用对象的复制构造函数而不是用户定义的默认构造函数来构造它们。

也就是说，如果您没有为对象定义一个复制构造函数，编译器将为您隐式定义一个。这也是这里的情况。当向量的缓冲区被重新分配时，每个对象的复制构造函数都会被调用，以便将对象复制到它们的新位置。如果您将复制构造函数定义如下，您可以看到这一点：

class cMember {
public: 
  int id;
  cMember();
  CMember(cMember const&);
  ^^^^^^^^^^^^^^^^^^^^^^^^
  ~cMember();
};

cMember::cMember(cMember const &) {
    cout<<"member copy constructor\n";
}

LIVE DEMO

Answer 2

因为cMember 是静态分配的，所以当函数超出范围时，内存会丢失。如果向量在内存中仍然有对该点的引用，这对于向量来说将是有问题的。因此，std::vector 将复制构造该对象。这为向量提供了自己的动态分配副本，即使在函数超出范围后，该向量也会存在。

我也修改了您的代码以打印this，这是输出：

directory constructor
A
member constructor 0x7fff572e86f8
B
member destructor 0x7fff572e86f8
A
member constructor 0x7fff572e86f8
member destructor 0x7fc1dbc04c80
B
member destructor 0x7fff572e86f8
C

如您所见，在 A 和 B 之间被销毁的对象不是由您的函数构造的。相反，它是std::vector 使用的复制构造对象。