调用析构函数后访问对象

Question

在下面的代码中，我明确地调用了~destructor()。但是，该对象仍然是可访问的。我怎样才能删除它（让它消失）？

class Queue {
    public:
    node* top = NULL;//points to the top of the queue 
    //methods:
    void enqueue(int data);//adds a node to the queue
    void dequeue();
    //printing 
    void print();
    //destructor 
    ~Queue();
};

还有析构函数：

Queue::~Queue() {
    //The destructor deletes all items from HEAP
    //Then sets the top to 0
    while (top != NULL)
        this->dequeue();//dequeue until there are NO more items
    top = 0;
}

在 Source.cpp 中：

Queue q;

q.enqueue(1);
q.enqueue(2);
q.enqueue(3);
q.enqueue(4);

q.dequeue();
q.dequeue();
q.print();

q.~Queue();
q.print();//Here I need to have an ERROR!

q.enqueue(7);//Here I need to have an ERROR!
q.print();//Here I need to have an ERROR!

输出是：

4 3 7

我预计会出错：

标识符“q”未定义

Answer 1

从字面上看//Here I need to have an ERROR!，你会这样做：

{
    Queue q;

    q.enqueue(1);
    q.enqueue(2);

    q.dequeue();
    q.print();
}
q.print();        // THIS WILL PRODUCE AN ERROR

您似乎对堆栈分配对象的生命周期有误解。堆栈对象超出范围时会自动销毁。在示例中，q 的范围以} 结尾。

自己调用析构函数几乎总是错误的（我遇到过一种可以显式调用析构函数的情况）。为什么？考虑一下：

{
    Queue q;
    q.~Queue();   // DONT DO THIS !
}

您调用了析构函数，但是当它超出范围时，它会再次被销毁，并且您会遇到严重的运行时错误。

你在代码中做了什么：

Queue q;
q.~Queue();
q.print();

是undefined behaviour！

还要注意，调用析构函数并不是删除对象时发生的全部事情。当堆栈分配的对象被删除时，首先调用它的析构函数，然后释放分配的内存。通常你不想干扰这个过程，幸运的是你很少需要这样做。

我怎样才能删除它（让它消失）？

你不能让它“消失”。当一个对象被销毁时，内存中的位和字节不会被擦除。那将是非常低效的。实际上，我认为 C 的 free 有一个更好且更容易混淆的名称。内存被释放以供以后使用，它不会被清除，以至于无法读取之前的内容。

为了进一步阅读，我建议您参考这个对一个略有不同但相关的问题的详尽答案：Can a local variable's memory be accessed outside its scope?

另外，我建议您阅读RAII，它依赖于自动调用析构函数。

TL;DR:如果你想清除Queue然后写：

q.clear();
q.print(); // prints an empty queue!

永远不要调用堆栈分配对象的析构函数！它会被自动调用。