C++指针数组内存泄漏

Question

在我的类中，我有一个动态分配的指针数组。我的声明：

 array = new Elem* [size];
 for (int i = 0; i < size; i++) {
    array[i] = NULL;
 }

所以有一个指针数组，其中每个指针都指向一个简单的 Elem 结构。

主要问题是，我应该如何正确地释放数组。如果我仅使用：

for (int i = 0; i < size; i++) {
   delete array[i];
}

Valgrind 报告 1 个未释放的块，该块可追溯到 'array = new Elem* [size];' 的行州。

另一方面，如果我添加到前面的代码：

delete array;

我认为是正确的，valgrind 报告 0 个未释放的块，这是完美的，但它

Mismatched free() / delete / delete []

准确地报告“删除数组；”所在的行。是。我也尝试过“删除[]数组”，但这也只是“1个未释放的块”！如果有人能以正确的方式向我解释，我将不胜感激。

编辑： 所以使用：

for (int i = 0; i < size; i++) {
   delete array[i];
}
delete[] array;

工作可能很好。它正在我的一个班级中工作（我有两个类似的班级），另一个班级仍然报告有一些小泄漏。我认为这只是某个地方的一个小错误，但 valgrind 仍然指向所在的行

array = new Elem* [size];

。

编辑2： 我也解决了这个问题，感谢您的辛勤贡献！

Answer 1

您需要：

delete [] array;

因为它是一个数组。

我刚刚注意到你的注释，你也尝试过这个 - 这是正确的做法，所以我不知道为什么你仍然会收到错误。

编辑：这需要更彻底的解释。

当您使用 new 创建指针时，该指针可能指向单个元素或元素数组，具体取决于您使用的语法。但两种情况下指针类型是相同的！编译器依赖于您了解指针指向的内容并相应地对待它。

Elem ** single = new Elem*;    // pointer to one pointer
single[0] = new Elem;          // OK
single[1] = new Elem;          // runtime error, but not compile time

Elem ** array = new Elem* [2]; // pointer to array of pointers
array[0] = new Elem;           // OK
array[1] = new Elem;           // OK

当删除指针时，会为其指向的对象或数组的每个元素调用析构函数。但由于指针类型在每种情况下都是相同的，因此编译器依赖于您为其提供正确的语法，以便它知道要做什么。

delete single;
delete [] array;

在您的情况下，数组的元素也是指针，并且指针没有析构函数。这意味着这些指针不会被删除，如果您不先删除它们，它们就会成为内存泄漏。在最终删除之前有一个循环来单独删除它们是正确的。

Answer 2

您应该释放数组中的所有内容（如果是动态分配的），然后释放数组本身。

for (int i = 0; i < size; i++) { // only free inside if dynamically allocated - not if just storing pointers
   delete array[i];
}
delete[] array; // necesarry

Answer 3

删除数组的语法如下：

delete[] array;

用于删除数组元素指向的对象的 for 循环就可以了。数组本身的删除是唯一的问题。您需要两者 for 循环，然后使用 delete[] 来处理数组本身。

for (int i = 0; i < size; i++) {
   delete array[i];
}
delete[] array;

我怀疑您尝试过使用 for 循环或 delete[]，但没有同时使用两者。如果这样做时仍然存在泄漏或错误，那么您需要向我们展示分配作为数组元素的指针的代码。

---

使用 std::vector<> 而不是数组意味着您可以不再担心这些具体细节并转向更高的抽象级别。

Answer 4

在这种情况下，您两者都需要。

for (int i = 0; i < size; i++) {
   delete array[i];
}
delete[] array;

每次调用 new 时，都只调用一次 delete 。

请注意，虽然您需要在此处调用 delete[] array （因为您使用 new[] 分配了它），但 delete[] 运算符确实不对数组元素所指向的对象调用析构函数。这是因为 delete[] 运算符对数组中的对象调用析构函数，而数组包含指针但不包含对象。指针本身没有析构函数。