C语言中未初始化变量的值究竟是如何确定的？

问题背景 #

我了解未初始化变量没有固定的特定值，但想明确这些未初始化的值究竟是由编译器还是运行时来确定的。运行以下C语言代码时，我发现输出结果存在差异：

#include <stdio.h>

int main() {
    int *ptr;
    printf("%p\n", ptr);

    return 0;
}

Clang编译运行输出 #

$ clang a.c -o a; ./a
0x7fffed5e33c0
$ clang a.c -o a; ./a
0x7ffe81aa8660
...

GCC编译运行输出 #

$ gcc a.c -o a; ./a
(nil)

解答 #

首先要明确：未初始化的自动变量（比如代码中的ptr）的取值属于C标准定义的「未定义行为」，标准没有规定它的具体值，实际取值由编译器实现和运行时环境共同决定。

具体拆解两种情况：

• GCC的输出逻辑：默认编译选项下，GCC会对栈上的未初始化自动变量做清零处理，所以指针ptr会被设为(nil)（即空指针，对应数值0）。但这只是GCC的一种实现选择，并非C标准要求——如果开启更高等级的优化（比如-O2），这种清零行为可能会消失，ptr会变成随机垃圾值。
• Clang的输出逻辑：Clang默认不会对未初始化栈变量做额外初始化，ptr直接取栈当前位置的残留数据。而每次运行程序时，由于操作系统的**地址空间随机化（ASLR）**机制，栈的起始位置会变化，加上之前栈操作留下的残留数据不同，所以每次输出的地址都不一样。

本质上，栈区域是程序运行时的临时存储区，之前的函数调用、系统调用都会在栈上留下数据，未初始化的自动变量就会直接复用这些残留值。编译器有权选择是否对未初始化变量做清零处理，这属于编译器实现的自由范畴，C标准对此没有任何约束。

核心结论：永远不要依赖未初始化变量的取值，它的行为完全不可预测，不同编译器、编译选项、运行环境下结果都可能天差地别。

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