局部变量自动初始化异常：与C标准不符的编译器输出问题

核心：C标准的真实规定 #

C标准里，局部自动变量（栈上的）在显式初始化前的值是不确定的（indeterminate），而非“一定是非0的垃圾值”。不确定值的定义包括：

• 可能是之前栈内存遗留的任意数值（包括0）
• 可能是陷阱表示（触发程序异常）

标准从未禁止未初始化变量的值为0，只是明确要求绝对不能依赖这个值——它的行为完全不受标准约束，属于未定义行为。

为什么会出现0？ #

• 栈内存的初始状态：操作系统在为程序分配栈内存时，可能会先将内存页清空为0（出于安全考虑，避免泄露其他程序的残留数据）。当你的局部变量落在这些未被使用过的栈区域时，就会读到0。
• 编译器的栈对齐优化：为了提升内存访问效率，编译器会对栈帧进行对齐处理。对齐过程中填充的内存区域，可能被编译器置为0。
• 多次运行结果一致的巧合：如果程序的栈布局固定（比如没有动态内存分配、函数调用栈深度不变），未初始化变量每次都会占用栈上的同一位置，所以值会重复出现。但这只是特定环境下的巧合，不具备通用性。

为什么1-2个变量时少见0？ #

当你只声明少量变量时，它们的位置可能刚好落在程序启动阶段（比如libc的初始化代码）已经用过的栈区域，这些区域遗留了非0的旧值；而变量数量增加时，后续变量会延伸到未被触碰过的栈空间，那里保留了操作系统初始化的0。

你的代码示例验证 #

你给出的代码中：
GCC输出：0 0 1623616696 32764
Clang输出：849564872 0 0 29759

既有0也有非0值，这完全符合“不确定值”的定义，并没有违反C标准。

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