c语言，函数执行完释放内存的相关问题。

Question

对比两个图片，为什么增加一个printf("%p",p);后*p的内容会不同呢？
既然函数执行完释放变量内存，应该就不能给p指向的空间进行赋值了吧我觉得

Answer 1

只要访问过p指针，都会变化（连续printf两次，结果不一样）

f函数结束，p指向地址已经释放，但是该内存单元依然存有原来的数据，我个人认为，访问p之后，由于一些系统内部操作，导致p指向内存单元被回收，内部机制不清楚，纯属个人猜测

追问

我也那么猜的，但是写好几个p地址的输出就不会变化。又尝试写了Sleep(5000)，试图让程序在这个时间 把s的空间占用，没想到，不管Sleep的参数改成多少，*p就输出多少，真是奇葩。

看了white的回答后，又想了想，这个内部机制确实太复杂了，超出我的认知。决定暂时放弃。。

Answer 2

f执行完后，s的空间就被释放了，但是此时p的指向就是曾经s的空间。虽然s被释放了，但是通过p依然是可以向该处写入数据。这也正体现了悬垂指针的危险性。之所以增加一个Printf后值就不同了，我认为s的空间已经被释放，在执行printf时显然对原s的空间进行了写操作，导致数据发生变化。追问

我尝试写了Sleep(5000)试图让程序在这个时间 把s的空间占用，没想到，不管Sleep的参数改成多少，*p就输出多少，真是奇葩。

追答

“不管Sleep的参数改成多少，*p就输出多少“

我认为原因是，s作为一个局部变量，在使用时内存分配是在栈中分配的，而p因为指向了s，所以p也就指向了程序栈。sleep函数的参数也是存放在栈内供sleep来使用的，而刚好sleep的参数写入了p所指向的栈内存空间，导致输出*p的结果是sleep的参数。
”为什么增加一个printf("%p",p);后*p的内容会不同呢？“

其实也是这个原因，因为printf的参数也是先入栈，然后再供printf使用的，因为s原来的空间已经释放，所以printf的参数的写入必然会导致s的内存空间被写入数据，所以使用printf后*p输出的内容会不同。但是你可以发现，使用printf后每次*p的输出内容又是一样的，说明每次系统在写入s的这块内存时的内容也是一样的，这也间接证明了，s是被printf的参数改写。

追问

这才是我要的答案，似懂非懂，还需学习，谢谢回答

本回答被提问者采纳

Answer 3

两个都是错误代码，所以有什么不同或相同都是不可预测的，不好分析！错在哪？——f函数中把s的地址赋给*q，实际上就是赋给了主函数中的p；f没有返回时*p的值是5。但f返回后s就消失了，对p而言就是p指向的目标消失了，p成了悬浮指针，再给这个悬浮指针的“目标”用*p=6;赋值不仅是不可靠的，而且常常是危险的——因为原来为s分配的空间已经不受代码控制了，后果往往不可预测。也可能正确表现，那是运气好，那个单元还没有被系统安排他用……追问

说的也是，这问题再深究就太深了，知识有限，暂告一段落