C语言局部数组未初始化元素为何输出随机值而非0？

你观察到的不同环境输出不一致的现象，本质是C语言自动存储期变量的初始化规则、不同编译运行环境的内存处理逻辑共同导致的，两种运行结果都在C标准允许的范围内。

核心规则说明 #

你代码中定义的int array[10];是main函数内的局部变量，属于自动存储期变量，分配在进程的栈内存空间上，C语言对这类变量的初始化规则非常明确：

• 未被显式初始化的自动存储期变量，初始值为不确定值，语言标准不要求编译器对这部分内存做清零操作。直接读取这类未初始化的值属于未定义行为：程序输出任何值、甚至触发运行崩溃都符合标准规定，不存在固定的"正确结果"。
• 只有全局变量、被static修饰的静态局部变量才会被默认初始化为0：这类变量分配在进程的数据段，程序启动时操作系统会统一将这部分内存清零，和局部数组的存储位置、初始化逻辑完全不同。

不同环境输出差异的直接原因 #

两种输出结果的区别，本质是对应环境下数组所在栈内存位置的残留值不同：

• 教程环境输出0的常见原因：
  • 教程使用Debug模式编译，编译器为了方便调试排查问题，会主动将栈内存填充为0
  • 教学环境为了降低初学者理解门槛，给编译器添加了强制栈内存清零的编译参数
  • 程序运行时对应栈位置刚好没有残留其他逻辑写入的非零数据，读到的残留值恰好为0
• 你在WSL2 Ubuntu环境下输出32764这类随机值的原因：
  • 你使用的是默认编译配置，编译器不会添加栈清零的冗余逻辑，性能优先
  • 程序启动、C运行库初始化的过程中，栈内存会被写入各类临时数据，这些数据在使用完后不会被主动擦除，你读到的32764就是对应内存位置残留的历史数据，对当前数组来说没有实际意义。

编码建议 #

所有局部自动变量在使用前必须显式赋值，不要依赖任何环境下的偶然"默认值"。如果需要定义初始全为0的局部数组，直接在定义时写int array[10] = {0};即可，这种写法C标准会保证所有未显式指定初值的元素都被初始化为0，在任何符合标准的编译环境下行为都一致。

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