为什么不删除任何东西？

Question

为什么不删除任何东西？

Kam*_*ave 21 c++ memory new-operator delete-operator

我正在玩内存动态分配,但我不明白.当用new语句分配一些内存时,我应该能够破坏指针指向使用的内存delete.

但是当我尝试时,这个delete命令似乎不起作用,因为指针指向的空间似乎没有被清空.

让我们以这个真正基本的代码为例:

#include <iostream>  

using namespace std;

int main()  
{  
    //I create a pointer-to-integer pTest, make it point to some new space,  
    // and fulfill this free space with a number;  
    int* pTest;  
    pTest = new int;  
    *(pTest) = 3;  
    cout << *(pTest) << endl; 

    // things are working well so far. Let's destroy this
    // dynamically allocated space!
    delete pTest;

    //OK, now I guess the data pTest pointed to has been destroyed 
    cout << *(pTest) << endl; // Oh... Well, I was mistaking.  

    return 0;  
}

Run Code Online (Sandbox Code Playgroud)

任何线索？

Answer 1

GMa*_*ckG 55

是时候了解未定义的行为是什么.:)

在C++中,当你做一些非法/荒谬/坏/等的事情.标准经常说"它会导致不明确的行为".这意味着从那时起,程序的状态完全无法保证,任何事情都可能发生.

在你做最后一次的时候*(pTest),你会得到未定义的行为.这是因为pTest没有指向有效对象,并且取消引用这样的指针是未定义的.所以你所看到的是完全允许的:未定义的输出.

你所做的就是说"我完成了这个分配." 一旦你说过,你就不应该(实际上,不能)再检查或关心那个记忆.从某种程度上说,释放某些东西然后尝试使用它甚至没有概念意义; 你说你做完了!

你的输出在某种程度上是可预测的:可能,你的操作系统只是说"好吧,谢谢你的记忆"就是这样.它没有理由实际"重置"内存,或做任何特别的事情.当没有人(包括你自己的程序)没有使用它时,这确实是浪费时间.

但请记住,此输出完全未定义.不要尝试使用不存在的对象.也许更好的测试是:

#include <iostream>

struct foo
{
    ~foo()
    {
        std::cout << "foo is gone :(" << std::endl;
    }
};

int main(void)
{
    foo* f = new foo();
    delete f; // you'll see that the object is destroyed.
}

Run Code Online (Sandbox Code Playgroud)

虽然看起来你正在寻找内存本身会发生什么.请记住,摆脱内存然后尝试使用它是没有意义的,所以答案是:谁知道.这取决于您的特定平台,C++并不关心.