C语言中未初始化指针取值为何总是输出0而非随机垃圾值？

核心结论 #

• 不管是未初始化的普通int变量，还是未初始化指针的解引用操作，都属于C标准明确规定的未定义行为，不存在任何标准层面的输出保证，你观察到的固定输出0只是特定运行环境下的偶然现象，不具备通用性。

现象原因解释 #

你碰到的固定输出0的情况，通常是以下环境特性共同作用的结果：

1. 局部变量的存储位置特性
   未初始化的局部指针b存储在进程的栈空间，栈空间的初始值完全取决于操作系统、编译器配置以及程序启动阶段的运行残留：

• 如果你使用了调试模式编译（比如gcc不加优化、带-g调试参数），部分编译器会主动将未初始化的指针变量置为NULL（即值为0），避免调试阶段出现随机野指针问题。
• 部分操作系统加载新进程时，会主动将栈页的初始内容清零，只要b对应的栈位置在main函数执行前没有被C运行库的启动代码覆写，b本身的值就会一直是0。

2. NULL指针解引用的特殊表现
   当b的值为0（即NULL）时，对*b的读操作没有崩溃反而返回0，是因为你当前的运行环境没有开启严格的NULL地址访问保护：

• 部分运行环境会将地址0的内存页映射为只读的全0页，读取该地址会固定返回0，不会触发段错误。
• 如果你换用开启了严格内存保护的系统（比如默认配置的Linux发行版），运行该代码大概率会直接触发Segmentation fault崩溃。

普通int变量和指针结果不同的原因 #

你测试的未初始化int a输出随机值，是因为a和b在栈上的存储位置不同：a对应的栈位置刚好在程序启动阶段被C运行库的初始化代码修改过，残留了随机的运行数据，而b对应的位置没有被修改，保留了初始的0值。

注意 #

这个现象只是特定环境的偶然结果，绝对不能依赖该特性编写代码，未初始化变量和野指针的行为完全不可预测，换编译参数、换运行环境都可能出现完全不同的结果。

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