编译器寻址依赖第二维大小，因ai按a+in+j计算地址，n为每行元素数；省略第二维将导致编译失败或越界访问；动态尺寸应改用int+行列参数等方案。
编译器寻址依赖第二维大小
因为 a[i][j] 在内存中不是靠“跳行+跳列”直觉算出来的，而是靠固定公式：a + i * n + j（单位是元素大小）。这里的 n 就是第二维长度，也就是每行多少个元素。如果形参不写 [n]，编译器连 i * ? + j 里的 ? 是什么都无法确定，自然没法算出 a[i][j] 的真实地址。
void f(int a[][n]) 和 void f(int (*a)[n]) 本质相同
这两种写法都要求显式写出 n，区别只在语法表层：
-
int a[][n]看起来像数组，其实是编译器自动把a当作int (*)[n]类型处理 -
int (*a)[n]是裸指针声明，更贴近底层——a指向的是一个含n个int的一维数组，即“行指针” - 两者传入
int arr[5][7]都合法；但传int **p就会类型不匹配，因为int **指向的是指针的指针，内存布局完全不同
省略第二维会导致编译失败或未定义行为
下面这些写法全部非法：
-
void f(int a[][])—— 编译器报错：“array bound is not an integer constant” -
void f(int a[3][])—— 同样报错，第二维缺失 -
void f(int a[][0])或void f(int a[][1])但实参是[3][7]—— 编译可能通过，但运行时a[0][2]会越界访问到下一行开头，结果不可预测
哪怕你用 reinterpret_cast 强转过去，也改变不了内存里没有“行边界信息”的事实。
真要传动态尺寸二维数组，别硬套二维数组语法
如果你的行列数都是运行时才知道的，就别用 int a[][n] 这套了。更实际的做法是：
- 用一级指针 + 行列参数：
void f(int* data, int rows, int cols)，内部用data[i * cols + j]访问 - 用
std::vector<:vector>></:vector>，但注意它不是连续内存，不适合高性能数值计算 - 用
std::vector<int></int>扁平存储 + 外部维度管理，兼顾连续性和灵活性
硬让栈上二维数组语法去适配动态尺寸，就像拿螺丝刀拧螺母——不是不能转，但每一次拧都会崩一丝牙。真正卡住你的，从来不是语法记不住，而是没意识到：C++ 里“二维数组”这个概念，从声明那一刻起，第二维就固化进了类型系统里。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
