删除以 void 指针作为成员的嵌套结构？

Question

我有以下类：

class Stack {
  struct Link {
    void* data;
    Link* next;
    void initialize(void* dat, Link* nxt);
  }* head;
public:
  void initialize();
  void push(void* dat);
  void* peek();
  void* pop();
  void cleanup();
};

pop 方法是：

void* Stack::pop() {
  if(head == 0) return 0;
  void* result = head->data;
  Link* oldHead = head;
  head = head->next;
  delete oldHead;
  return result;
}

oldHead 是指向 struct Link 的指针，该结构有一个 void 指针作为成员。因此，通过删除 oldHead 我就隐式删除了该 void 指针，对吗？

我正在阅读 Bruce Eckel 的《Thinking in C++》，它说删除 void 指针并不能正确清理问题，因为 delete 需要知道指针的类型。

此代码隐式删除 void 指针 data，因此：有人可以解释一下为什么这种删除 void 指针的（隐式）方式与使用 delete 删除不同>？

Answer 1

您的术语引起了歧义，但让我解释一下。假设您有：

struct foo
{
    void* bar;
};

每当 foo 结束其生命周期时，bar 也会停止存在。因此，如果您有：

{
    foo f = { new int; }
}

您已经泄漏了，因为 new int 永远不会被删除。同样，当你这样做时：

{
    foo* f = new foo;
    f->bar = new int;
    delete f;
}

你仍然泄漏了，因为当运行 delete f 时，你只是结束了 f 所指向的生命周期（就像自动发生的那样）上面），因此 bar 不再存在，并且 new int 不会被删除。

总而言之，当对象的生命周期结束时，不会对指针成员调用delete。

因此，当您在 Link 上调用 delete 时，与上面 foo 中的 bar 的情况相同：您正在删除 Link 的内存>Link 导致 data 停止存在，但实际上并没有删除它所指向的内容。

Answer 2

通过删除 Link，该 void* 内存空间不会被删除。您需要定义一个析构函数来删除已分配的内存。每个新的都需要一个删除。链接结构的一个示例是添加一个删除数据的析构函数。如果您的假设是正确的，那么 next 也会被删除，导致整个链接列表被删除，这将是一个可怕的行为。

对指针调用delete将调用所指向类型的析构函数。如果该类型没有析构函数，则不会调用此类析构函数。这是没有析构函数的 void 指针的情况。在继承的情况下，析构函数应该始终是虚拟的，以便层次结构中最深的类将调用其析构函数。即使您将指针转换为错误的类型，内存也会被正确释放 - 只是析构函数将被错误地调用。

Answer 3

“我正在隐式删除该 void 指针，对吗？”

好吧，当您删除 oldHead 时，您正在删除指针本身。您没有删除或释放其目标，这似乎是您想要的，并且是在指针上调用delete时发生的情况。

（要了解为什么会出现这种情况，请考虑您可能会定义一个带有指向该结构之外的内容的 void* 指针的结构。您不希望仅仅因为该结构就释放目标已被删除。）

Answer 4

当您使用析构函数指向某个对象时，删除 void 指针会出现一个问题：

#include <iostream>

struct foo
{
    ~foo() { std::cout << "important work" << std::endl; }
};

int main()
{
    foo *f = new foo;

    void *v = f;

    delete v;
}

如果运行上面的代码示例，您将看到析构函数从未被调用。