Question

为指针变量动态分配一个空间，释放后为什么还可以给指针所指向的空间的那个变量赋值？

int * p = (int *)malloc(4);
*p = 4;
printf("*p = %d\n", *p);
free(p);
*p = 5;
printf("*p = %d\n", *p);

不是说释放后，*p应该没有权限读和写了吗，怎么还可以赋值成功，不赋值也可以读出一个垃圾值？

Answer 1

动态指针是在堆上维护的，程序的析构函数静止对堆内存的操作

malloc或者new一个空间之后，这个指针会指向堆上一个内存地址，并保证你申请的空间不会被其它操作莫名其妙地占用或者改写，指针对这块内存拥有完全控制权

free或者delete之后这个指针就会放弃对这个空间的占用，这个时候指针指向的内存已经被释放了，这块内存被重新改写成了随机值。

但是注意，被放弃的是指针对指向的内存的占用，指针仍然存在！！指针仍然指向之前分配的地址（即被free或者delete放弃的并被改写成随机值的那块内存）。这个时候它和静态内存看似是一致的，所以仍然能读到随机值，也能赋值，但是这块内存是在堆上，指针没有独占，随时都会被其它动态申请的指针占用，程序退出的时候销毁指针和内存的时候会当做静态指针销毁，然后就销毁到了堆内存上，造成堆损坏问题（内存不安全）

所以最安全的做法是在free或者delete之后，把这个指针指向空指针，如下

int* p = new int(2);

delete p;

p = nullptr; 或者 p = NULL;

其实无论动态指针或者静态指针，实际上程序退出时指针本身都会销毁，静态指针指向的空间是也是能销毁的，但是程序无法销毁动态内存申请的内存空间（这块内存不在程序控制范围内，它是属于申请用户的，必须用户手动销毁）

Answer 2

内存已经释放了，但是如果没有被重新分配并赋值，让然可以用，但是切记，尽量别这样用