C++返回局部变量地址的代码无编译报错且可正常运行的原因是什么

你贴的代码首先有个小笔误：int* p = fun()末尾漏了分号，这属于语法错误，实际编译会直接报错，应该是你粘贴的时候的疏漏，修正后的代码如下：

int* fun()
{
  int t=10;
  int *pointer=&t;
  return pointer;
}

int main()
{
  int* p = fun();
  cout<<*p;
}

为什么不会触发编译错误 #

• C++的语法规则中，返回局部变量的指针不属于语法错误，而是属于*未定义行为（Undefined Behavior, UB）*的范畴。编译器默认的检查逻辑只会判定语法是否合法，不会主动拦截所有未定义行为的场景。
• 如果你主动开启编译器的高警告等级（比如GCC/Clang添加-Wall -Wextra编译参数，Visual Studio开启/W4警告等级），编译器会明确输出「返回局部变量地址」的警告；如果再添加-Werror参数将警告转为错误，才会直接阻断编译流程。

为什么看似能正常运行 #

这完全是巧合，属于未定义行为刚好符合你预期的极端情况，不具备任何可靠性：

• 函数调用结束后，操作系统和编译器并不会主动擦除栈帧对应的内存区域的原有数据，只是会将栈指针寄存器回退到上一层栈帧的位置，标记这块内存可以被后续的栈操作复用。
• 你的示例中fun调用结束后，没有其他操作用到这块栈内存，所以t原来的数值10还留在对应的内存地址里，此时读取*p刚好能读到遗留的10，看起来就像正常运行一样。
• 只要你在fun()调用后、读取*p之前插入任意一个用到栈空间的操作（比如调用另一个带局部变量的函数），再读取*p就会得到乱码，极端场景下甚至会触发内存访问错误导致程序崩溃。

注意：所有依赖未定义行为的代码都是不可靠的，哪怕某次运行结果符合预期，也不代表代码逻辑正确，绝对不要在生产环境中使用这类实现。

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