类对象的 std::vector 的 C++ 析构函数问题

Question

当我有一个类的 std::vector 时，我对如何使用析构函数感到困惑。

所以如果我创建一个简单的类如下：

class Test
{
private:
 int *big;

public:
 Test ()
 {
  big = new int[10000];
 }

    ~Test ()
 {
  delete [] big;
 }
};

然后在我的主要功能中执行以下操作：

Test tObj = Test();
vector<Test> tVec;
tVec.push_back(tObj);

当我超出范围时，我在 Test 的析构函数中遇到运行时崩溃。为什么会这样？如何安全地释放我的内存？

Answer 1

问题是您没有为Test 定义复制构造函数。所以编译器会为你生成一个默认的复制构造函数，它只是复制对象的内容——在本例中是 int 指针。

现在，当您将对象推回向量中时，它会被复制构造函数隐式复制。这导致两个对象指向同一个整数数组！所以最后，两个析构函数尝试删除同一个数组 - BANG。

每当你定义一个通过指针*拥有成员的类时，除了析构函数之外，你必须还为它定义一个复制构造函数。 更新： 和赋值运算符，出于同样的原因（感谢@James :-)

更新2：解决所有这些限制的简单方法是定义一个静态数组而不是动态分配的数组：

class Test
{
private:
  int big[10000];
  // no need for constructors, destructor or assignment operator
};

但是，最佳做法是使用 std::vector<int> 而不是数组。

* 即包含指向具有所有权语义的成员的指针（感谢@Steve Jessop 的澄清）

Answer 2

你的问题在这里：

Test tObj = Test();

Test() 创建一个临时的Test 对象，然后将其复制到tObj。此时，tObj 和临时对象都将big 设置为指向数组。然后临时对象被销毁，它调用析构函数并销毁数组。所以当tObj被销毁时，它会再次尝试销毁已经销毁的数组。

另外，当tVec被销毁时，它会销毁它的元素，所以已经销毁的数组会再次被销毁。

您应该定义一个复制构造函数和一个赋值运算符，以便在复制 Test 对象时，复制 big 数组，或者具有某种引用计数，以便在所有所有者之前它不会被销毁被销毁了。

一个简单的解决方法是像这样定义你的类：

class Test
{
private:
 std::vector<int> big;

public:
 Test (): big(10000) {}
};

在这种情况下，您不需要定义任何析构函数、复制构造函数或赋值运算符，因为std::vector<> 成员会处理所有事情。 （但请注意，这意味着每当您复制 Test 的实例时，都会分配和复制 10,000 个字节。）

Answer 3

如果没有复制构造函数，向量将创建对象的平面副本。这导致两个Test 类型的对象引用相同的数组big。第一个实例在数组被销毁时将其删除，然后第二个实例尝试取消引用已删除的指针，这是未定义的行为。

Answer 4

Test tObj = Test();

这是错误的，应该是因为它不会创建副本：

Test tObj;

这也会创建很多副本：

 vector<Test> tVec;
 tVec.push_back(tObj);

因此，如果您释放一个 int 数组，您将释放所有数组。并且下面的删除会失败。

你需要的是：

• 使用复制构造函数为每个类拥有一个单独的数组

• 为什么要使用指针？

class Test    
{   
private:  
  int big[10000];    
public:

};

这会很好用。