含未初始化变量的C++程序编译运行机制及异常输出咨询

首先看你提供的C++代码：

#include <iostream>
using namespace std;
int main()
{
    int d=4,r;
    d=r+5;
    cout<<d;
    return 0;
}

核心本质：未定义行为的表现 #

C++标准明确规定，未初始化的局部自动变量（比如这里的r，属于栈上的局部变量）的取值属于未定义行为。这意味着标准不对这类变量的取值做任何约束，程序运行结果完全依赖当前环境的内存状态，没有可预测性。

编译阶段的处理 #

编译器默认不会对未初始化的局部变量做强制检查（除非开启高等级编译警告，比如GCC的-Wuninitialized选项，此时会给出警告，但默认仍会生成可执行文件）。它会严格按照代码逻辑生成汇编指令：

• 为d和r在栈上分配内存空间；
• 先给d赋值4；
• 读取r所在内存地址的当前值，加上5后重新赋值给d；
• 调用cout输出d的值。

运行时的取值逻辑 #

程序运行时，栈区域的内存并非默认清零，而是保留了该内存位置之前被使用后的残留数据。你看到输出21，说明r所在的栈位置刚好残留了值16——16+5=21，因此d最终被赋值为21并输出。

这种结果完全是偶然的：换一台机器、换个编译器版本、甚至只是重新编译一次，r的残留值都可能不同，输出结果也会随之变化，极端情况下还可能导致程序崩溃，这些都是未定义行为的典型特征。

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