
直接说结论:二维数组传参不是“把数组塞进去”那么简单,关键在编译器怎么理解内存布局。你传的是 int[3][4],但函数如果写成 void f(int**),编译器立刻报错——类型不匹配,不是语法问题,是语义冲突。
为什么 void f(int**) 不能接收 int arr[3][4]
因为两者内存结构完全不同:int arr[3][4] 是一块连续的 12 个 int 内存;而 int** 指向的是一组指针(每个指针再指向一行),行与行之间内存不一定连续。强行用 (int**)arr 强转,f(i, j) 访问时会按“指针数组”方式解引用,实际地址计算变成 *(*pp + i) + j,而不是正确的 *(base + i*4 + j),结果必然越界或乱码。
- 错误现象:
error: cannot convert 'int [3][4]' to 'int**'或运行时输出全为 0 / 随机值 - 常见误操作:在调用处写
f((int**)matrix),以为“强转就万事大吉” - 本质原因:C++ 不允许隐式将“连续二维数组”转为“指针的指针”,这是类型系统在保护你
void f(int arr[][4]) 和 void f(int (*arr)[4]) 是等价的
这两种写法都明确告诉编译器:“我收的是一个每行 4 个 int 的连续块”,形参类型都是 int (*)[4](指向含 4 个 int 的数组的指针)。arr[i][j] 在函数内能正常工作,编译器自动按 base + i*4 + j 算偏移。
- 第一维大小(如
[3])在形参中可省略,写int arr[][4]或int arr[5][4]效果一样 - 第二维大小(
4)绝不可省,否则编译器无法算出每行跨度 - 推荐用
int (*arr)[N]形式,更清晰体现“指针”本质,避免和一维数组语法混淆
静态数组用引用传参:void f(int (&arr)[3][4])
这是最安全、最自文档化的方案:类型完全匹配,不退化,还能在函数内用 sizeof(arr) 算出行列(sizeof(arr)/sizeof(arr[0]) 得行数,sizeof(arr[0])/sizeof(int) 得列数)。编译器会拒绝传入尺寸不符的数组,比如 int x[2][4] 调用就会报错。
立即学习“C++免费学习笔记(深入)”;
- 优点:零开销、类型严格、无误用可能
- 缺点:函数只能处理固定尺寸数组,灵活性差
- 适用场景:配置表、硬件寄存器映射、小尺寸常量矩阵等尺寸确定且不变的情况
动态二维数组必须用 int**,但别直接传静态数组
如果你用 new int*[rows] 再循环 new int[cols] 分配,那才是真正的 int** 结构,此时 void f(int**, int rows, int cols) 才合法。但注意:这种分配方式每行内存不连续,缓存不友好,且 delete[] 必须逐行释放。
- 别试图把
int a[3][4]强转成int**后传给这类函数——即使编译通过,运行时行为未定义 - 若需连续内存 + 动态尺寸,改用一维向量模拟二维:
std::vector<int> data(rows * cols)</int>,访问用data[i * cols + j] - 更现代的做法是
std::vector<:vector>></:vector>,但要注意它内部是不连续的,且有额外指针开销
最容易被忽略的一点:无论选哪种方式,只要涉及原生数组,你都得自己管好尺寸参数。编译器不会帮你记住 rows 和 cols,漏传、传反、传错单位(比如把字节数当元素数),都会导致静默错误——程序跑得飞快,结果全错。


















