根本原因在于编译器寻址需第二维长度计算行偏移：arri地址为base + icolssizeof(T) + j*sizeof(T)，cols是每行元素个数，不可或缺；第一维不参与寻址，仅影响总大小和越界检查，故可省略。
为什么只能省略第一维，不能省略第二维
根本原因在于编译器寻址：二维数组在内存中是按行连续存储的，arr[i][j] 的地址计算公式为 base + i * cols * sizeof(T) + j * sizeof(T)。其中 cols（即第二维长度）是计算每行偏移量的关键——没有它，编译器无法知道第 i 行从哪开始。
第一维长度不参与地址计算，只影响数组总大小和越界检查（如果有的话），所以可以省略；而第二维长度是“每行有多少个元素”的元信息，必须显式提供。
- 错误写法：
void func(int arr[][])—— 编译失败，缺少列数，编译器无法解析arr[1][2] - 合法写法：
void func(int arr[][5])或void func(int arr[3][5]) - 即使你传入的是
int a[10][5]，形参仍可写成int arr[][5]，因为列数匹配即可
省略第一维时，形参和实参的类型是否兼容
是兼容的，但仅限于“第二维完全一致”。C++ 中二维数组名退化为指向其首行的指针，即 int[3][5] 的数组名类型是 int (*)[5]（指向含 5 个 int 的数组的指针）。只要实参的第二维是 5，无论第一维是 3、10 还是 100，都能匹配 int arr[][5] 或等价的 int (*arr)[5]。
- 正确示例：
int data[7][5] = {}; func(data);配合void func(int arr[][5]) - 错误示例：
int data[7][6]传给int arr[][5]—— 类型不匹配，编译报错 - 注意：
int**和int[][5]完全不同，前者是“指针的指针”，后者是“指向定长一维数组的指针”，不可混用
用指针形式重写二维数组形参更灵活吗
更底层、更可控，但不更“灵活”——它绕过了数组维度约束，也放弃了编译器对列数的静态检查。常见写法是 int (*arr)[5]，这和 int arr[][5] 在语义和行为上完全等价，都是接受指向 int[5] 的指针。
立即学习“C++免费学习笔记（深入）”；
- 推荐用
int arr[][5]：语义清晰，易读，且能直接用arr[i][j]访问 - 慎用
int** arr：它要求实参是动态分配的指针数组（如int** a = new int*[m]; for(...) a[i] = new int[n];），和栈上二维数组int a[3][5]内存布局完全不同，强行转换会导致运行时错误 - 若需真正泛型（行、列都运行时决定），应改用
std::vector<:vector>></:vector>或带尺寸参数的扁平数组int* data+int rows, int cols
初始化时省略第一维和传参时省略第一维是一回事吗
不是一回事，但容易混淆。初始化时省略第一维（如 int a[][3] = {{1,2,3}, {4,5,6}};）是编译器根据初始值自动推导行数（这里是 2）；而函数形参中省略第一维（int a[][3]）只是语法允许，不涉及推导——它不改变形参类型，也不影响调用规则。
- 初始化省略第一维 → 编译器填一个确定的常量（如 2），结果是
int[2][3] - 形参省略第一维 → 类型仍是“未知行数、列数为 3 的二维数组”，本质是
int(*)[3] - 两者共用同一语法，但发生时机、作用对象、约束强度都不同：一个是定义，一个是声明
实际写函数时，最易被忽略的是：第二维必须是编译期常量表达式。哪怕你用 const int N = 5;，再写 void f(int arr[][N])，在标准 C++ 中仍是非法的（除非 N 是 constexpr）。很多新手卡在这里，以为“const 就等于编译时常量”，其实不然。
