数组声明必须指定大小或提供初始化列表，否则编译报错；未显式初始化的元素仅在静态存储期或花括号初始化时零初始化；{0}可能触发memset，但栈上大数组有溢出风险，非pod类型不适用。
数组声明时漏写大小又没给初始化列表
编译器直接报错：array bound is not an integer constant before ‘]’ token 或类似提示。C++ 要求原生数组长度必须是编译期常量，不能是运行时变量（除非用 C++14 以后的 variable-length array 扩展，但不推荐且不可移植）。
常见误写：
-
int n = 5; int arr[n];—— 即使在支持 VLAs 的 GCC 下开启-std=gnu++17，也不该依赖 -
int arr[];—— 没初始化列表，也没大小，语法非法
正确做法：要么显式写大小，如 int arr[5];；要么靠初始化列表推导，如 int arr[] = {1, 2, 3};
初始化元素个数超过数组声明长度
错误现象明显：编译失败，报 too many initializers 或 excess elements in array initializer。
典型例子：
-
int buf[4] = {1, 2, 3, 4, 5};—— 5 个值塞进长度为 4 的数组 -
char name[3] = "abc";—— 字符串字面量隐含末尾'\0'，实际占 4 字节，越界
注意："abc" 等价于 {'a','b','c','<p>注意：<code>"abc" 等价于 {'a','b','c','\0'}，所以 char name[4] = "abc"; 才安全
char name[4] = "abc"; 才安全
部分初始化后误以为剩余元素是“未定义”
很多人看到 int arr[5] = {1, 2}; 就担心后面三个元素是垃圾值，其实不是：C++ 标准规定，未显式初始化的元素会被**零初始化**（int 变成 0，float 变成 0.0，指针变成 nullptr）。
但这个规则只对静态存储期（全局/静态局部）和带花括号初始化的自动数组生效。陷阱在于：
-
int arr[5];（无初始化）→ 元素值未定义，可能含 NaN（尤其float/double） -
int* p = new int[5];→ 同样未定义，不是 0 -
int* p = new int[5]{0};→ 正确：C++11 起支持带括号的动态数组值初始化，全部设为 0
所以别靠“没写初始化就默认清零”来赌运气，显式写 {0} 或用 std::vector 更可靠
{0} 初始化在大数组上可能意外调用 memset
你以为 char buf[1024*1024] = {0}; 是简单语法糖？实际 GCC/Clang 在优化后大概率生成 memset(buf, 0, 1048576) 调用——这本身没问题，但要注意两点：
- 如果数组是栈上分配（比如函数内定义），超大尺寸可能触发栈溢出，而不是编译错误
- 某些嵌入式或 freestanding 环境里，
memset可能未提供或行为受限，导致链接失败 -
{0}对非 POD 类型（比如含构造函数的类）不适用，会报错；此时必须用循环或容器
真正容易被忽略的是：这个初始化行为依赖编译器实现，标准只要求“效果等价于零初始化”，不保证是否调用 memset。换编译器或换优化级别，底层指令可能完全不同
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
