为何C++半初始化数组未赋值成员为0，完全未初始化数组为随机值？

现象复现 #

示例1：带初始化列表的数组 #

代码如下：

int ar[5] = {0,1};
for (int i = 0; i < 5; i++){
   cout << ar[i] << " ";
}
// 输出：0 1 0 0 0 

仅显式初始化前2个元素时，剩余元素自动被赋值为0。

示例2：无初始化的自动存储期数组 #

代码如下：

int ar[5];
for (int i = 0; i < 5; i++){
   cout << ar[i] << " ";
}
// 输出示例：1875998720 0 1875947552 0 1876031856 

未做任何初始化时，数组元素为无规律的随机值。 #

底层逻辑差异 #

两种写法的行为差异完全来自C++的初始化规则设计，核心是遵循零成本抽象原则：用户没有明确要求的操作，不会额外增加性能开销。

示例1的处理逻辑 #

当数组声明时带有初始化列表（哪怕列表元素数量少于数组长度），属于聚合初始化范畴，C++标准强制要求：未被初始化列表覆盖的剩余元素，执行零初始化。
编译器会在数组内存分配完成后，自动将剩余位置的内存填充为对应类型的零值（int类型对应0），所以输出结果是确定的。

示例2的处理逻辑 #

示例2的数组是定义在函数内部的自动存储期变量（即栈上变量），没有带任何初始化表达式，这种情况执行默认初始化：对于int这类基础标量类型，默认初始化不会做任何内存修改操作。
栈内存是程序运行过程中反复复用的，数组分配到的内存区域残留着之前其他代码执行写入的旧数据，所以输出的是无规律的残留值，也就是你看到的“随机数”。 #

为什么不给未初始化的数组默认赋0？ #

完全是性能层面的设计取舍：

• 栈内存的分配本身仅需要移动栈指针，耗时极短。如果强制给所有未初始化的栈数组加清0操作，会给不需要初始值的场景带来不必要的性能开销，尤其是高频调用函数中的大数组，累计开销会非常可观。
• C++遵循“不为未使用的功能付费”的原则，如果你需要数组全零初始化，只需要显式写int ar[5] = {}即可，编译器会自动插入清0逻辑，兼顾灵活性和性能。

补充：如果数组是全局变量、静态变量，哪怕你不显式初始化，也会被零初始化，因为这类变量存储在全局静态区，程序加载时操作系统会统一将该区域内存清0。

内容的提问来源于stack exchange，提问作者Muhammad Shafaat Khan