Valgrind 不报告“删除数组”的内存泄漏

Question

在实现下面的 C++ 代码后，我运行了valgrind --leak-check=full 以检查是否有任何内存泄漏。结果是退出时使用了 0 个字节，并且不可能有泄漏。

但是，后来我发现我忘记在析构函数中使用delete[] x 而不是只使用delete x。

我搜索了一些解释（例如：delete vs delete[] operators in C++），我读到的所有内容都说使用delete 而不使用[] 会导致内存泄漏，因为它只调用数组中第一个对象的析构函数。

我将代码更改为 delete[] 并且 valgrind 输出是相同的（如预期的那样）。但是现在我很困惑：“valgrind 有问题吗，或者delete 即使没有运算符[] 也确实适用于数组？”

#include <iostream>
#include <string.h>
using namespace std;
class Foo {
  private: char *x;
  public:
    Foo(const char* px) {
       this->x = new char[strlen(px)+1];
       strcpy(this->x, px);
    }
    ~Foo() {
       delete x;
    }
    void printInfo() {  cout << "x: " << x << endl;  }
};
int main() {
   Foo *objfoo = new Foo("ABC123");
   objfoo->printInfo();
   delete objfoo;
   return 0;
}

Answer 1

使用不带 [] 的 delete 会导致内存泄漏。

不，它会导致未定义行为。

您使用new [] 分配和使用delete 取消分配的程序具有未定义的行为。其实你很幸运（相当不幸）它没有表现出一些奇怪的行为。

附带说明，您还需要为您的班级关注 Rule of Three。目前，您不这样做，并且在不久的将来会找麻烦。

Answer 2

delete 和delete[] 之间的主要区别不在于内存释放，而在于析构函数调用。

虽然形式上是未定义的行为，但实际上它或多或少会起作用...除了delete 只会调用第一项的析构函数。

附带说明，您可能会遇到问题：

#include <iostream>

struct A{
  ~A() { std::cout << "destructor\n"; }
};

int main() {
  A* a = new A[10];
  delete a;
}

有点像：

*** glibc detected *** ./prog: munmap_chunk(): invalid pointer: 0x093fe00c ***
======= Backtrace: =========
/lib/libc.so.6[0xb759dfd4]
/lib/libc.so.6[0xb759ef89]
/usr/lib/gcc/i686-pc-linux-gnu/4.3.4/libstdc++.so.6(_ZdlPv+0x21)[0xb77602d1]
./prog(__gxx_personality_v0+0x18f)[0x8048763]
./prog(__gxx_personality_v0+0x4d)[0x8048621]
======= Memory map: ========

查看ideone。