一个有趣的删除和析构函数案例（C++）

Question

我有一段代码，我可以在其中多次调用析构函数并访问成员函数，即使在调用析构函数时保留了成员变量的值。在我调用delete 之后，我仍然能够访问成员函数，但是成员变量被无效（全部为 0）。我不能加倍delete。请解释一下。

#include <iostream>
using namespace std;

template <typename T>
void destroy(T* ptr)
{
    ptr->~T();
}

class Testing
{
public:
    Testing() : test(20)
    {

    }

    ~Testing()
    {
        printf("Testing is being killed!\n");
    }

    int getTest() const
    {
        return test;
    }

private:
    int test;
};

int main()
{
    Testing *t = new Testing();
    cout << "t->getTest() = " << t->getTest() << endl;

    destroy(t);
    cout << "t->getTest() = " << t->getTest() << endl;

    t->~Testing();
    cout << "t->getTest() = " << t->getTest() << endl;

    delete t;
    cout << "t->getTest() = " << t->getTest() << endl;

    destroy(t);
    cout << "t->getTest() = " << t->getTest() << endl;

    t->~Testing();
    cout << "t->getTest() = " << t->getTest() << endl;

    //delete t; // <======== Don't do it! Double free/delete!
    cout << "t->getTest() = " << t->getTest() << endl;

    return 0;
}

Answer 1

"一旦一个析构函数被调用 对象，对象不再存在； 行为是未定义的，如果 为对象调用析构函数 谁的生命已经结束”

C++ draft standard §12.4.12

正如其他人所指出的，这并不意味着实现总是会做一些明显不需要的事情（比如分段错误）。这意味着它可以做任何最方便的事情。

Answer 2

像在destroy() 中所做的那样，直接在main() 中直接调用析构函数实际上不会导致对象在C++ 中被销毁。只有此代码中的 delete 语句可以做到这一点。由于 T 的析构函数是良性的（它只是打印），这几乎没有任何效果。

由于没有一个成员函数是虚函数，因此在销毁后调用它们仍然会得到正确的代码来执行。一旦到达那里，this 指针可能无效（在您调用 delete 之后），但这不会阻止代码取消引用指针并返回 int 成员值的值。

Answer 3

你真的不应该调用一个类的析构函数（除非你使用placement new）但是为了回答你的问题，一旦内存被删除，访问指向该内存的指针会导致未定义的行为。在您的情况下，您正在使用的内存似乎已被释放以供将来使用，但尚未被覆盖。所以你仍然可以访问它，但不能保证该内存何时会被其他东西使用。

Answer 4

你已经调用了未定义的行为，所有的赌注都被取消了。

Answer 5

仅仅因为你正在访问一个不再有效的对象并不意味着你的程序必须爆炸，它只是意味着你的程序可以爆炸。

这是未定义的行为，这意味着任何事情都可能发生，它甚至可能看起来做正确的事情。

Answer 6

这是未定义行为的表现。通过已删除的指针调用成员函数，一切正常 - 编译器和运行时不需要检查此错误，但您当然不能指望它工作。

这与使用已释放的内存属于类似的类别 - 您可能会在那里找到旧数据（或者您可能找不到）。您可能会导致程序崩溃（或不崩溃）。您甚至可以毫无怨言地更改数据。

但无论如何，这是一个编程错误。