多维数组本质是线性内存，越界不报错但会破坏数据；声明时行列须为编译期常量，初始化需严格匹配维度，访问时必须校验下标。
关键在理解“多维数组本质是线性内存”，而不是想象成表格。越界不报错，是因为C/C++不检查下标——它只按地址算偏移，越了就踩进别的变量或栈空间，数据乱、程序崩，但未必立刻暴露。
明确维度边界，声明时就锁死大小
二维数组 int a[3][4] 在内存中占 3×4=12 个连续 int 单元。行数（3）和列数（4）必须是编译期常量（C99后支持变长数组VLA，但不推荐用于初始化场景）。一旦写成 int a[m][n] 且 m/n 是变量，就不能用大括号初始化，否则编译失败。所以： - 初始化前务必确认行列值为常量表达式 - 避免用宏或枚举以外的动态值定义维度 - 若真需运行时尺寸，改用 malloc + 指针数组 或 std::vector<std::vector<T>>
初始化必须匹配维度，别依赖“自动推导”陷阱
以下写法看似省事，实则埋雷：
❌ int a[][3] = { {1,2}, {3,4,5,6} }; —— 第二行给了4个数，超出列宽3，编译器不会报错，但会静默截断或引发未定义行为。
❌ int a[2][2] = {1,2,3,4,5}; —— 超出总元素数4，第5个值被丢弃，但你可能误以为全赋上了。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
安全做法： - 总用嵌套大括号按行写，显式体现结构：{ {1,2}, {3,4} } - 行维度可省略（编译器数大括号个数），但列维度绝不能省 - 初始化元素总数 ≤ 声明总容量；超了编译警告，少了则剩余补0（数值型）或 '\0'（字符型）
访问时始终校验下标，别信“我在范围内”
声明 int grid[5][5]，不代表 grid[4][4] 就一定安全——如果代码里写了 grid[i+1][j]，而 i=4，那就越到第6行去了。常见越界模式： - 循环条件写成 i （应为 i ） - 把列索引当行索引用，比如 grid[col][row] 错位 - 用指针算地址时，误把 *(base + i*cols + j) 写成 *(base + i + j*cols)
建议： - 所有循环用 for (int i = 0; i ，不用 -fsanitize=address）
用现代替代方案降低出错概率
原生二维数组灵活度低、易越界，工程中更推荐：
- C++：用 std::array<std::array<int, 4>, 3>（编译期定长，带 at() 安全访问）
- 或 std::vector<std::vector<int>>（运行时可调，at() 抛异常）
- C语言：封装结构体 + malloc，例如：struct Matrix { int *data; int rows, cols; };
配合 matrix_get(m, i, j) 函数内部做范围检查
这些方式把“越界检查”从靠人脑记，变成由工具或接口强制兜底。
