C语言中数组部分初始化时剩余元素为何被零填充？

为什么C标准规定数组部分初始化时剩余元素要零初始化？ #

C标准做出这个规定，核心是为了提供一致、安全且实用的默认行为：

• 避免垃圾值带来的不可预测性：如果剩余元素保留随机垃圾值，程序行为会变得难以调试和预测，尤其是在依赖初始值的场景下（比如计数、累加操作），零初始化能避免这类潜在bug。
• 符合常见编程需求：很多时候开发者只需要初始化数组的前几个元素，剩下的希望默认是0（比如创建统计数组、状态数组），零初始化省去了手动逐个赋值的麻烦，提升开发效率。
• 统一初始化规则：让部分初始化的数组行为和全局/静态数组的默认初始化行为对齐，减少开发者需要记忆的特殊规则。

局部数组与全局/静态数组的行为差异 #

这里要区分「完全未初始化」和「部分初始化」两种场景：

• 完全未初始化的数组：
  • 局部自动数组（函数内定义、无static修饰）：元素值是未定义的垃圾值，取决于内存当前的随机内容。
  • 全局数组或静态数组（static修饰的局部数组）：不管有没有显式初始化，所有元素都会被默认零初始化。
• 部分初始化的数组：
  • 不管是局部自动数组，还是全局/静态数组，未被显式初始化的剩余元素都会被强制零初始化，这一点在所有上下文环境中都是一致的。

比如你给出的代码里，int arr[5] = {1,2,3};属于部分初始化，不管arr是局部还是全局，最后两个元素都会是0，和你实际运行的结果一致。

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