删除之前删除的内存

Question

我有一个小型 C++ 程序，在其中创建 Person 类的两个对象。该类具有用于数据的 char *m_szFirstName 和 char *m_szLastName。

然后，我将一个对象分配给另一个对象，导致两个对象的数据成员指向同一位置。
在析构函数中，我删除了为第一个对象分配的内存，并将 NULL 值分配给指针。像这样的东西。

if (m_szFirstName!= NULL)
{
    delete [] m_szFirstName;
    m_szFirstName = NULL;
}

然后，当我去删除第二个对象的内存时，对 NULL 的检查不起作用，当我删除内存时，我会崩溃。从调试器中，它显示我的指针不是NULL。它有 0xfeee。

我知道内存之前已经被删除了，不应该被删除。但是，我不知道如何检查是否应该删除内存。

Answer 1

崩溃原因：
您应该遵循三法则以避免这个悬空指针的问题。

如果您需要自己显式声明析构函数、复制构造函数或复制赋值运算符，则可能需要显式声明这三个函数。

在您的情况下，您没有定义复制赋值运算符，从而导致指针的浅复制。

建议的解决方案：

如果您可以使用 std::string 而不是 char *，只需使用 std::string ，它比任何愚蠢的指针东西都有首要的偏好。
您可以使用 std::string 来避免所有时髦的指针问题。

如果您无法继续阅读，并且以下建议通常适用于任何类指针成员。

请注意，这里的理想解决方案是根本不使用原始指针，每当您使用原始指针时，您都被迫手动管理它们获取的资源，手动管理资源总是很困难且容易出错。因此有责任避免它。

为此，您应该使用 智能指针它将隐式管理指针的动态内存。使用智能指针将确保动态内存在使用后隐式释放。您不必手动管理它。

您所遇到的情况正是在 C++ 中您应该依赖 RAII< /strong> 而不是手动资源管理&对于您的情况，可以使用智能指针。

警告：
请注意，我没有建议使用哪个智能指针，因为选择取决于所涉及元素的所有权和生命周期，即问题中提供的数据不清楚。所以我建议阅读

我使用哪种指针何时？

来选择要使用的智能指针。

Answer 2

您

if (m_szFirstName!= NULL)
{ 
  delete [] m_szFirstName;
  m_szFirstName = NULL;
}

只需将 m_szFirstName 设置为指向 NULL，而不是 m_szLastName。这意味着您必须有某种方法来跟踪它们指向同一位置的事实。他们指向同一个位置有原因吗？你能复制这个名字而不是把指针指向同一个地方吗？

如果您需要两个指针共享相同的数据，我会看看 std::tr1::shared_ptr，它将通过跟踪引用数并在引用数达到 0 时删除来解决这个问题。

Answer 3

如果 (m_szFirstName == m_szLastName)，请不要再次删除它。
但这会给你带来内存泄漏（当你将一个指针分配给另一个指针时）。

Answer 4

当您有两个指针指向同一位置时（在将第一个指针分配给第二个指针之后），您将有两个指针指向同一地址。删除一个会释放它们都指向的内存。但是将其中一个设置为 NULL 不会改变另一个指针。例如，如果您有两个整数，也会发生同样的情况。

int a = 3;
int b = a;

现在，如果您运行

a = 0;

b 的值不会改变。同样，当您更改第一个指针时，第二个指针不会更改（但是当您更改任一指针指向的内存时，您也可以通过另一个指针看到效果）。

Answer 5

您的问题是一个经典的 C/C++ 问题，称为“悬空指针”问题。取消引用悬空指针导致了崩溃。问题在于引用计数。一旦你将相同的内存分配给第二个指针，那么引用计数应该是2。因此，如果你删除一个指针，引用计数应该变成1，并且除非计数为0，否则你的内存不应该被释放或释放。在0时，它可以被垃圾收集。

现在上面有很好的答案可以解决您的问题。由于您使用的是 C++，因此您可以使用 auto_ptr（或共享指针）之类的东西。它们提供了我上面提到的，引用计数的东西，甚至你不需要担心删除或释放你的对象，这些类会照顾。他们致力于 RAII 模式，当堆栈上的对象超出范围时，会自动神奇地调用析构函数。

Answer 6

删除对象后，只需停止将指针设置为 NULL 即可。正如你所看到的，它只会导致痛苦。您不能假设因为指针不为 NULL，所以它尚未被删除。

您可以使用任何想要避免此问题的合理模式。例如，Boost 的 shared_ptr 就是一个不错的选择。