C语言悬垂指针可正常读写指向值的问题咨询

核心前提 #

你观察到的所有「悬垂指针能正常读写出正确值」的表现，都属于C标准明确定义的未定义行为（Undefined Behavior），没有任何普适性：换编译器、改编译参数、甚至加一行无关的打印代码，都可能导致结果完全变化，生产环境绝对不能依赖这种临时表现。

问题1：指针指向已销毁的局部变量，仍能读出正确值、修改值的原因 #

C语言的局部变量默认存储在进程的栈空间上：当变量超出作用域时，C标准只规定该变量的生命周期终止，不允许再通过原变量名访问，但操作系统和编译器不会主动擦除栈上对应地址的内容，也不会立刻回收这部分栈空间。
只要这块内存后续没有被其他操作覆盖（比如调用新函数、定义新的局部变量），原来存储的值就会一直残留在地址上。你通过悬垂指针读写的本质就是这块还没被覆写的栈内存，所以看起来就像“正常工作”。
至于修改操作不会报错：栈内存本身属于你的进程的合法可写地址空间，只要没有越界访问其他进程空间、没有访问只读段（比如代码段），操作系统不会拦截你的写入，你给*p赋值本质就是写进程栈上的一块空闲区域，当然不会立刻报错。

问题2：返回局部指针没有警告、去掉for循环就出错的原因 #

首先说警告问题 #

不是编译器不告警，是你没开编译器的警告参数。比如用gcc编译时加上-Wall -Wextra参数，所有返回局部变量地址的代码都会直接抛出warning: function returns address of local variable的明确警告。

然后说返回指针和返回temp的区别 #

你说的“直接返回temp会报段错误”应该是指返回&temp（temp的地址），这和返回ptr本质完全一致，都是返回栈空间的地址，不会直接导致段错误——段错误都是后续访问地址时触发的。如果你是直接返回temp的值（return temp;），那属于值拷贝，是完全合法的操作，根本不会有任何问题。

加不加for循环的表现差异 #

这完全是当前编译器栈分配逻辑的巧合：

• 加了for循环的场景下，func函数执行完返回后，原来temp对应的栈地址刚好没有被main函数后续的操作覆盖，所以值一直保留，你读出来就一直是对的；
• 去掉for循环的场景下，main函数调用printf时，printf内部的局部变量刚好复用了temp对应的栈地址，把原来的16覆盖成了垃圾值，所以你第二次读就拿到了错误结果。
  这种差异没有任何必然规律，完全取决于当前程序运行时的栈空间使用情况。

问题3：第一个程序里x已销毁，仍能访问*ptr的原因 #

和问题1的逻辑完全一致：x是内部代码块的局部变量，存储在栈上，代码块执行结束后x的生命周期终止，但栈上对应x的地址没有被后续代码覆盖，你通过ptr读写的就是这块还没被覆写的栈内存，所以看起来能正常工作。你可以尝试在x的代码块结束后、printf之前加几行代码，比如定义几个新的局部变量、调用一个简单的打印函数，再读*ptr大概率就会拿到垃圾值。

补充说明 #

你贴的第三个代码片段存在笔误：main函数里并没有定义ptr变量，printf("%d ", *ptr);里的ptr应该是*p的笔误，实际编译会直接报错。

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