企业官网建设流程全解析

1.6 C++实战100例——未初始化内置类型读取：未定义行为

受众

初级工程师，能区分声明与定义，知道int x;不会自动赋值为0。默认具备基础 Linux 操作能力和 GDB 调试能力。

场景锚定

场景：你在代码中声明了一个局部int变量但未赋初值，在条件分支中读取它。Debug 模式下运行正常（恰好栈上残留值为0），Release 模式下程序输出随机值或表现异常。你怀疑是编译器做了某种激进的优化，但不知道为什么。这篇文章给你一条编译命令、一条 GDB 观察命令和一条 Valgrind 检测命令，直接看穿未初始化变量读取在优化后如何变成不确定行为和程序崩溃。

摘要

未初始化的内置类型变量（如int、float、bool等）没有确定的初值，读取它们的行为是 C++ 标准明确规定的未定义行为。编译器不会给局部栈变量自动赋零——它的初值就是栈帧上该位置在分配前的残留字节内容（取决于之前的函数调用在该栈位置留下的数据）。更严重的是，在-O2优化下，编译器可能基于"变量已被初始化"的假定做路径分析，如果发现存在未初始化读取路径，可能将整个分支优化为恒真、恒假，甚至删除后续代码，导致难以追踪的运行时异常。验证方法：用-O0和-O2分别编译运行同一段包