局部内置数组不初始化则含垃圾值;全局/静态数组默认零初始化;C++中默认、零、值、聚合、列表初始化易混淆致未定义行为或编译失败。

数组初始化看似简单,但C++里有多种写法,稍不注意就会触发未定义行为、编译失败或隐式截断——尤其对新手,默认初始化、零初始化、值初始化、聚合初始化、列表初始化之间的区别,是高频出错根源。
局部数组不初始化 = 垃圾值
在函数内部定义的内置类型数组(如 int arr[5]),若不显式初始化,元素值是随机的,不是0。这和全局/静态数组完全不同。
-
错误写法:
void foo() { int a[3]; cout → 输出不可预测 -
正确写法(全部清零):
int a[3] = {};或int a[3] = {0}; - 注意:
int a[3] = {1};实际效果是{1, 0, 0},只初始化首元素,其余零初始化
用花括号初始化时,大小不能省(除非有推导上下文)
直接用 {...} 初始化数组,必须明确指定大小,否则编译报错(C++11起仍不支持推导原生数组大小)。
-
错误写法:
int arr[] = {1,2,3};→ 在函数参数中非法;在局部变量中虽合法,但易引发歧义 -
推荐写法(明确、安全):
int arr[3] = {1,2,3};或 C++11 起更推荐std::arrayarr = {1,2,3}; - 例外:全局/命名空间作用域下
int arr[] = {1,2,3};是允许的,编译器会推导为 size=3
聚合初始化 vs 列表初始化:大括号里的“=”很关键
C++11 引入统一初始化({}),但加不加等号语义不同,尤其对数组:
立即学习“C++免费学习笔记(深入)”;
-
int a[3]{1,2};→ 聚合初始化,等价于{1,2,0}(剩余元素零初始化) -
int a[3] = {1,2};→ 也是聚合初始化,行为同上,=在这里是语法糖,非赋值 -
int a[3] = {1,2,3,4};→ 编译错误!初始化器过多,不允许截断 -
int a[3] = {1.5, 2.7, 3};→ 允许,但1.5和2.7会被隐式截断为1和2(窄化转换,C++11 起部分编译器会警告)
动态数组 new[] 不支持花括号列表初始化(C++11 之前)
用 new int[5] 分配的数组,无法用 {1,2,3,4,5} 直接初始化(直到 C++11 才支持,且需编译器兼容)。
-
老式写法(不安全):
int* p = new int[5]; // 全是垃圾值 -
C++11+ 推荐替代方案:
- 用
std::vector(最安全、自动管理)v{1,2,3,4,5}; - 或
auto ptr = std::make_unique再逐个赋值(5); - 若真要用 raw array:
int* p = new int[5]{1,2,3,4,5};(C++11 支持,但不推荐)
- 用
基本上就这些。核心记住三点:局部数组不初始化就是垃圾;花括号初始化要配大小;能用 std::array 或 std::vector 就别碰裸数组。不复杂但容易忽略。










