C ++中的悬空指针和Delete命令

Question

我在C ++代码中发现了一些非常奇怪的东西。

class A
{
    public:
    void doIt(){cout<<"hello"<<endl;}
};
int main() {
    A* a=new A();
    A* b=a;
    delete a;
    b->doIt();
    return 0;
}

我以为delete会从堆中删除内存，而b->doIt()会失败。 但是在运行此代码时，它可以工作，甚至可以打印“ hello”。

为什么？

Answer 1

我以为删除会删除堆中的内存

可以“擦除”内存的唯一方法是用锤子。

内存被标记为“未使用”，并且对象在语义上被破坏。

和b->doIt()将失败

为什么？

有一个地方要为你做的没有机制，也不可能有一个在一般情况下。

您有责任不对不存在的对象调用函数。

实际上，它不会在这里崩溃，因为doIt实际上没有尝试访问对象的内存。 请记住，函数不是存储在对象中的-它是程序的一部分，并且程序仍然存在。

即使doIt访问和/或改变了对象的状态，只要该内存仍在活动页面中，您可能仍不会崩溃。 这就是为什么未定义行为被定义为不可预测的原因。

避免。

---

• 类似： 是否可以在其范围之外访问局部变量的内存？

Answer 2

这很可能是因为doIt方法不使用A类的任何内部状态。 因此，编译器可能会将其优化为静态方法，并在静态类上下文中调用该调用。 指针悬空的事实并不妨碍方法的运行。

但是，这是未定义的行为，更严格的编译器实际上可能会生成确实失败的代码。