C语言无显式修改时，函数形参p所在栈地址的存储值为何变更？

核心结论 #

该现象是完全符合C标准的正常栈内存管理行为，不属于编译器bug，也不是异常内存访问。

底层逻辑 #

• C语言对自动存储期变量的生命周期有明确规定：函数形参、函数内的局部自动变量，仅在函数执行的全过程中有效。当函数执行完成、控制权回到调用方时，该函数对应的栈帧内存空间即刻被回收，成为可被后续代码自由复用的通用内存块，标准不对这块空间的存储内容做任何不变性保证。
• 对应你观察到的具体过程：
  1. 地址0x009AF9E8是函数f的形参p的栈存储位置。当f执行return指令、栈指针向低地址方向回落时，这块空间就已经脱离了f的栈帧所有权，被纳入栈的可用内存池，不需要任何额外的检测流程就可以被后续代码使用。
  2. 回到scratch函数后，两次调用printf的过程中，printf作为可变参数的库函数，自身需要在栈上分配可变参数存储区、内部临时变量的存储空间。编译器为了减少不必要的栈指针调整，会优先复用之前已经被回收的空闲栈空间，而不是从栈空间的最顶端重新分配。
  3. 你观察到该地址上原本存储的0x009AFAC8被替换为0x009AFABC（也就是scratch中局部变量num_p的栈地址），本质就是后续的printf调用在复用这块空闲栈空间时，把自己的参数、临时变量值写入了该地址，覆盖了原来属于p的存储值。

认知误区澄清 #

• 不存在“编译器检测到f不再使用该地址，才在最后一次printf执行时做复用调整”的延迟逻辑。栈空间的回收是即时发生的，你之所以看到值被修改，只是因为没有在f刚返回的时刻立刻读取该地址的内容，刚好捕捉到了后续printf写入完成后的内存状态。
• 注意区分正常的栈复用和未定义行为：如果你在代码里主动保存&p这类指向已销毁栈帧的指针，并通过该指针读写内存，这个操作本身属于C标准定义的未定义行为；但“已回收的栈空间被后续函数调用复用、原有内容被覆盖”这个过程本身，是所有C编译器默认实现的标准栈管理逻辑，完全合规。

内容的提问来源于stack exchange，提问作者IntToThe