C语言操作未初始化int与double变量时出现异常输出问题

你遇到的现象核心是C语言自动存储期变量未初始化的未定义行为，具体逻辑如下：

• C标准规定，函数内部定义的没有显式初始化、也没有static修饰的局部变量（也就是存储在栈上的自动变量），初始值是不确定的，直接读取这类变量的值属于未定义行为（UB），程序输出任何结果都符合C标准的规定，不存在逻辑矛盾。

为什么输出稳定在32770~32773区间 #

你测试的几个环境中，C runtime启动代码执行完成后，main函数栈帧对应total变量的偏移位置，残留的旧值刚好稳定在32764~32767区间，执行total +=6之后，结果自然落在32770~32773之间。这个残留值是C库启动代码执行后遗留在栈上的固定内容，相同运行环境下这个值会保持稳定。

为什么删除avg = 1.0相关代码后输出6 #

删除double类型变量的定义和赋值后，gcc对栈帧的布局策略会发生变化：

• double类型要求8字节地址对齐，存在该变量时，gcc会调整栈空间的分配逻辑来满足对齐要求，total变量的存储位置会对应到残留值非0的栈偏移处
• 移除该变量后，栈对齐要求降低，total的存储位置刚好偏移到残留值为0的栈地址，执行total +=6后自然得到6，这种“正常运行”本质还是未定义行为的巧合表现，不具备可移植性和可靠性。

为什么同版本gcc设备上运行结果有差异 #

编译参数（比如优化等级、栈保护开关、栈随机化开关）、系统runtime实现的差异都会改变栈的初始内容和布局，自然会出现不同的运行结果。

只要存在未初始化变量的读取操作，不管运行结果看起来是否符合预期，都是错误的代码写法，必须通过显式初始化变量来规避这类问题。

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