删除对象时双重释放或损坏

Question

我有一个名为“Packet”的类，具有以下解构：

class Packet
{
   ...
   RequestPtr req;
   ~Packet()
   {
     if (req && isRequest() && !needsResponse())
        delete req;      
     deleteData();
   }
};

RequestPtr 看起来像：

typedef Request* RequestPtr;
class Request
{
   ...
   ~Request() {} 
}

问题是当执行 delete req; 并因此执行 ~Request() {} 时，我得到这个错误：

*** glibc detected *** double free or corruption (fasttop): 0x0000000002a8a640 ***

一开始我以为可能req被其他地方删除了，当它要执行delete req;时，显然没有req 。然而，正如您所看到的，有一个 if 语句检查 req 是否已定义。所以当它想要删除req时，该对象肯定被定义了。

这个错误的真正含义是什么？

Answer 1

Packet 类中使用默认的复制构造函数和赋值运算符，并且您有一个指向动态分配的内存的指针。

如果制作了 Packet 的副本，并且原始对象被销毁，则当第二个对象被销毁时，将发生双重释放。要么实现复制构造函数和赋值运算符，要么通过将它们声明为 private 来防止复制 Packet。

如果 req 不为 NULL，则检查 if (req) 将为 true，而不是如果它已被释放（如 Mat 在问题评论中所述）。

如果您在类的某些其他方法中删除 req，则必须将 req 设置为 NULL：

delete req;
req = 0;

否则将发生双重释放。

只是要注意，对 NULL 指针调用 delete 没有任何效果，因此以下内容是安全的：

delete req;
req = 0;
delete req; // No need to check 'if (req)'

Answer 2

正确的删除方法是，

delete req;
req = 0;

否则删除后req将是一个悬空指针。

Answer 3

我在负责清理其他对象的类中使用这个宏：

// place in a commonly included .h file of yours

#define SAFE_DELETE(p) \
 {if (p != NULL) \
     delete p;\
 p = NULL;}

在cpp文件中的用法：

~Packet() {
    SAFE_DELETE(req)
}

它检查指针是否为非NULL，如果是则删除指针，并将其设置为NULL，这样就不会再发生同样的事情。