为何未初始化bool变量在x86_64-linux-gnu-O0编译下始终为0？

你观察到的现象是x86_64-linux-gnu平台特有的栈初始化行为导致的，而非C语言标准规定的结果——虽然未初始化的自动变量属于未定义行为，但这个场景下的可复现性来自平台实现细节：

• Linux栈页的初始化规则：在x86_64 Linux系统中，进程的栈空间是按需分配的。当栈扩展到新的内存页时，内核会自动将这些新页填充为全0。你的代码里，main函数声明了一个80000元素的double数组（占用640000字节，约625KB），这个数组会让栈扩展到新的页区域；当调用test函数时，test的局部变量value位于栈的新扩展区域，因此它的初始值被内核设为0，自然不会触发if(value)的分支。
• 你忽略的点：你假设未初始化变量的值是“随机垃圾”，但实际上Linux内核对新栈页的初始化行为会让这部分栈空间的初始值固定为0。只有当栈空间被之前的函数调用、变量写入等操作覆盖过，未初始化变量才可能出现非0值——但你的代码里，test的栈帧所在的页是首次被使用，所以全为0。

C与C++的差异 #

从标准层面：

• 在C语言中，未初始化的自动变量拥有不确定值，可能包含陷阱表示（某些平台上的无效位模式），访问它属于未定义行为。
• 在C语言中，未初始化的自动变量同样属于未定义行为，但bool类型在绝大多数平台上没有陷阱表示，其不确定值只能是0或1；不过在这个特定的x86_64-linux-gnu场景下，C的表现和C完全一致，因为栈页初始化规则是平台层面的，和语言无关。

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