为什么C语言部分返回局部变量指针的代码没有编译报错

核心认知误区 #

你最大的认知偏差是：悬垂指针的非法操作属于C/C++标准定义的未定义行为（Undefined Behavior, UB），不代表一定会触发编译错误或者运行时崩溃，运行正常也不代表代码符合规范。
C标准没有规定对悬垂指针的访问必须抛出错误，具体表现完全由编译器实现、内存布局、运行时环境决定，没有任何可预测性。

为什么两段返回局部变量地址的代码编译表现不同 #

你使用MinGW默认编译参数时：

• 第一段代码直接return &a，属于特征非常明显的返回栈内存地址操作，编译器的基础静态检查就能识别，所以直接抛出编译错误。
• 第二段代码你先把局部变量地址赋值给中间指针变量var，再返回var，编译器默认的静态检查不会做深度数据流追踪，所以没有识别到风险，不会报编译错误。
  如果给编译命令加上-Wall -Wextra参数开启全量警告，第二段代码同样会触发「返回局部变量地址」的警告。

为什么返回悬垂指针的代码看起来可以正常运行 #

函数内部的局部变量存储在栈空间，函数执行结束后，栈空间的释放逻辑只是移动栈帧指针，标记对应内存区域可以被后续的栈帧复用，不会主动擦除内存里的原有数据：

• 你调用fun返回后，没有立即调用其他函数覆盖原来a所在的栈内存区域，所以内存里的100值还暂时保留，你访问*a的时候刚好读到了残留的旧值，看起来运行正常。
• 这个表现完全不可靠，只要你在printf之前新增任意一个带局部变量的函数调用，旧的栈内存被覆盖，就会读到随机值，甚至直接触发崩溃。

为什么标准悬垂指针演示代码无法正常运行 #

你对悬垂指针做了写入操作*x = 56，比读操作的风险高得多，大概率触发异常的原因包括：

• MinGW默认开启了栈保护机制（-fstack-protector相关参数），检测到栈内存被非法改写后直接终止程序
• 块级作用域结束后，对应栈区域刚好被后续的运行时逻辑占用，写入操作破坏了正常的程序运行数据，触发崩溃
  同样这也是未定义行为的表现，换编译参数或者运行环境也有可能出现看起来运行正常的情况，但代码本身一定是错误的。

内容的提问来源于stack exchange，提问作者camel.neeraj