C语言指针问题：返回局部栈变量地址的两段代码输出为何不同

两段代码的输出差异，本质上和printf的特殊设计没有关系——你的代码从逻辑上就触发了C语言标准定义的未定义行为（Undefined Behavior, UB），只要代码中存在这类行为，运行时的任何输出都不受语言规范约束，不存在“必然应该是什么结果”的标准答案。

首先厘清代码的核心问题 #

• func函数内部定义的int n = 100是栈上的自动局部变量，它的有效生命周期完全绑定在func的函数栈帧上：func被调用时栈帧开辟，变量n才存在；func执行完return语句弹出栈帧时，n的生命周期直接终结，对应的内存位置被标记为可复用的空闲栈空间。
• 代码直接把这块已经失效的地址返回给main中的指针p，本质是生成了一个悬空指针：这个指针存储的地址值本身是可访问的虚拟内存地址，但它指向的内存已经不属于任何有效的程序变量，随时可能被后续操作覆盖。
• 第一段代码能输出100完全是巧合：func返回后main中立刻就读取了这块内存，中间没有任何其他函数调用去覆盖残留的栈值，因此还能看到当初n存储的100。这不是代码逻辑正确，只是对应的内存块还没来得及被覆盖而已。

为什么插入printf会修改内存值 #

C语言的栈内存从高地址向低地址连续增长，每一次函数调用都会在栈的空闲位置开辟属于自己的独立栈帧，用来存放函数参数、返回地址、内部局部变量、临时计算值。
当main中调用printf("c is an interesting language!\n")时，会触发一整套栈帧开辟流程：

• 首先把字符串常量的地址作为函数参数压入栈中
• 写入本次函数调用的返回地址，方便printf执行完跳回main的执行流程
• 开辟printf自身的临时变量空间，比如遍历字符串长度的计数器、计算输出偏移的临时值、格式化处理时的中间寄存器暂存值

这些操作写入的栈内存位置，刚好落在之前func占用的栈区域上——因为func的栈帧弹出后，这块空间本来就是栈的空闲可复用区域。printf往自己的栈帧里写临时值的时候，刚好就把原来存着n=100的那块内存位置给覆盖了。你看到的输出值30，本质上就是printf内部某个临时变量刚好落在了那个地址上，存储的数值恰好是30而已。
不是printf特意寻找并修改了你指向的内存，而是所有函数调用都会复用已经释放的栈空间，你这个悬空指针指向的位置，刚好落在了printf写栈内存的路径上，被顺带覆盖了。

常见认知误区澄清 #

• 很多人会疑惑“既然能拿到地址，为什么读取的结果不对”：栈地址本身是合法的虚拟地址，读取操作不会触发段错误，但这块内存的内容没有任何可预测性。更换编译器版本、调整编译优化等级、甚至修改一行无关的代码顺序，读出来的值都可能完全变化。
• 这类“返回局部自动变量地址”的写法，不管当前运行结果是不是符合预期，都是必须修正的严重bug，不存在“能正常运行就是有效代码”的说法。
• 如果需要让返回的指针有合法的有效生命周期，有几种常规方案：
  • 在func中把局部变量定义为静态存储期，比如写static int n = 100;，此时n的生命周期和整个程序一致，不会随着func栈帧弹出被释放
  • 在堆上动态申请内存空间，把内容存进去之后返回堆地址
  • 把需要传递的值作为函数参数传回main，通过指针对外层变量做修改

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