删除后指针本身会发生什么？

Question

void doSomething()
{  
    TheObject *ptr = new TheObject;
    delete ptr;
    ptr = NULL;
    return 0;
}

让我借用cplusplus.com中operator delete的字样：

  

释放由ptr指向的内存块（如果不为null）   先前通过调用operator new分配给它的存储空间   并使该指针位置无效。

请帮助清除我的困惑：删除后指针本身会发生什么？指针本身确实有一个地址，对吗？所以在删除指向的块后，指针本身呢？

我可以说在返回初始化指针的方法后指针本身会自由吗？指针本身是放在堆栈还是堆上？

Answer 1

指针本身确实有一个地址和值。对其执行delete后，指针的地址不会改变。分配给指针变量本身的空间保持不变，直到程序释放它（它可能永远不会发生，例如当指针位于静态存储区域时）。标准没有说明指针的值会发生什么变化;它说的是，在为指针指定有效值之前，不再允许使用该值。指针的这种状态称为悬空。

在您的程序中，指针ptr在delete完成后，但在执行ptr = NULL分配之前悬空。之后它变成NULL指针。

  

它自己的指针放在堆栈还是堆上？

指针变量是一个常规变量。它的位置遵循与其他变量的放置相同的规则，即您可以将指针放在静态区域，自动区域（通常称为“堆栈”）或动态内存（也称为“堆”）中）。在这种情况下，您将指定一个指针指针：

TheObject **ptrPtr = new TheObject*; // The pointer to a pointer is on the stack
*ptrPtr = new TheObject;             // The pointer to TheObject is in the heap
delete *ptrPtr; // The space for TheObject is released; the space for the pointer to TheObject is not
delete ptrPtr;  // Now the space for the pointer to TheObject is released as well
// The space for the pointer to pointer gets released when ptrPtr goes out of scope

Answer 2

在C和C ++中，指针可以在很多方面被认为只是一个伪装的整数。所以当你说：

TheObject *ptr = new TheObject;

然后ptr就像一个堆栈分配（“自动”）整数变量，一个恰好大到足以保存堆分配TheObject的内存地址。它类似于说

size_t i = /* some value given to you by the runtime */.

稍后，当你写

ptr = NULL;

它的含义相同：

i = 0;

那么离开函数时指针会发生什么？就像任何其他自动变量一样，它在块的末尾被释放。就这么简单。 （当然，指向的东西会继续存在，直到你在C中调用delete或free()。

Answer 3

执行delete使指针无效（请参阅[new.delete.single]#10）。可以说值已更改：之前它有一个值，但现在它没有值。

尝试读取指针的值（注意：这与解除引用它不同）会导致实现定义的行为，因为C ++ 14可能包括生成运行时错误。 （在C ++ 11和更早的标准中，它是未定义的行为）。参考：[basic.stc.dynamic.deallocation]#4。

编译器也可以将指针设置为null，或将其设置为某些可识别的垃圾以进行调试（尽管我不知道有任何编译器执行此操作）。