C++数组初始化方式讲解_C++新手易错点解析

局部内置数组不初始化则含垃圾值;全局/静态数组默认零初始化;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::array arr = {1,2,3};
  • 例外:全局/命名空间作用域下 int arr[] = {1,2,3}; 是允许的,编译器会推导为 size=3

聚合初始化 vs 列表初始化:大括号里的“=”很关键

C++11 引入统一初始化({}),但加不加等号语义不同,尤其对数组:

  • 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.52.7 会被隐式截断为 12(窄化转换,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::arraystd::vector 就别碰裸数组。不复杂但容易忽略。