C++函数与变量作用域：为何代码输出为12而非垃圾值？

首先得明确：你遇到的情况属于C++未定义行为的一种“巧合表现”——标准里根本不保证这个结果，但在你的特定运行环境下，刚好出现了12这个值。咱们拆解一下背后的原因：

• 栈内存的复用逻辑
  局部变量（比如函数里的int x = 12）是存在栈帧里的。当函数执行完毕返回时，程序只会标记这块栈空间为“可复用”，不会主动去擦除里面的数据。如果在main函数里立刻解引用返回的指针，此时还没有其他操作覆盖这块栈内存，原来的12就还留在原地，所以你能读到它。

• 未定义行为的不可靠性
  这绝对不是合法的代码写法！如果在获取指针后，你再调用其他函数（比如std::cout << "something"），新的函数调用会复用那块栈空间，覆盖原来的12，这时候再解引用指针就会得到垃圾值。甚至换个编译器、调整优化级别（比如开O2优化），结果都可能完全不同——编译器可能直接把这段代码优化成输出随机值，因为标准允许它对未定义行为做任何处理。

举个反例，修改代码后你就能看到垃圾值：

#include <iostream>
int* getNum() {
    int x = 12;
    return &x;
}

void dummyFunc() {
    int y = 99; // 这块内存会覆盖之前x的位置
}

int main() {
    int* p = getNum();
    dummyFunc(); // 调用函数，复用栈空间
    std::cout << *p << std::endl; // 这里大概率输出99或者其他垃圾值
    return 0;
}

• 正确的替代方案
  如果需要返回一个值的地址，正确的做法有几种：
  1. 返回变量的值而非指针：int getNum() { return 12; }
  2. 使用动态分配内存（记得后续释放）：int* getNum() { return new int(12); }
  3. 使用static局部变量（但要注意静态变量的生命周期是全局的，多线程场景要谨慎）：int* getNum() { static int x =12; return &x; }

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