系统是如何区分已分配内存，和未分配内存的？

Question

系统是如何区分已分配内存，和未分配内存的？ 
比如用new分配出内存，用指针 p 指向它，然后再次delete这块内存， 
我发现， 
用 
*p取值的话，前后的值是不同的。 
我不理解，因为delete是释放那块内存，但是并没有改写这块内存呀，为何取值会不同呢？ 当然，你会说，释放的空间是不能用的，这个我也知道，我就是想明白一下，释放了的空间，在内存块不被改写的情况下，为何用同一个物理指针取它的值的话，值却真的变了，这是为什么呢？ #include <iostream>
using namespace std;int main()
{
    int *a=new int;
    *a=90;
    cout << "值为：" << *a << endl;
    cout << "地址为：" << a << endl;
    delete a;
    cout << "值为：" << (int)*a << endl;  //此时值已经变了(release版本照样变)
    cout << "地址为："  << a << endl;
    
    cin.get();
    return 0;
}

Answer 1

delete a 后 *a为一个随机值,这个值是没有意义的 跟release版本没有关系

Answer 2

delete a 后，这块内存可能被使用了；只要值变了，肯定是使用了，毫无疑问。当然，怎么被使用了，操作系统自然很清楚，但我们不知道。

Answer 3

删除指针后，该指针为“悬挂指针”，指向曾经存放对象的指针，但该对象已经不存在了一旦删除指针所指向的对象，立即将指针为0，标明指针不再指向任何对象  《c++ primer》

Answer 4

在delete后，你再观察原指针指向的内存区域，看看是不是附近的字节都被相同的值覆盖了……
我想会是这样的：一大片都是0xCC，或者其他什么的，代表了就是“空白”
也可能分为：给用户的空白区域，和系统留用的空白区域，两种状态吧