一、二维数组传递的困惑与挑战
在C语言中，如何正确将二维数组作为参数传递给函数？这是一个困扰许多开发者的经典问题。很多开发者在尝试传递二维数组时遇到编译错误或运行时错误，例如数组越界或数据访问异常。其根本原因在于C语言数组传递机制的限制。
例如，下面的代码会引发编译错误：
void func(int arr[][]) { // 编译错误：缺少第二维长度
// ...
}
这是因为C语言要求二维数组的第二个维度（列数）必须在编译时确定。编译器需要知道每一行的大小，才能正确计算数组元素的地址。
二、固定大小二维数组的传递方式
一种常见的做法是将函数参数声明为具有固定大小的二维数组，例如：
void printMatrix(int arr[3][3], int rows, int cols) {
for(int i = 0; i < rows; i++) {
for(int j = 0; j < cols; j++) {
printf("%d ", arr[i][j]);
}
printf("\n");
}
}
调用方式如下：
int matrix[3][3] = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}};
printMatrix(matrix, 3, 3);
这种方式虽然可以工作，但存在明显缺点：函数只能处理固定列数的二维数组，缺乏通用性。
三、使用指针传递二维数组的通用方法
为了提高通用性，可以使用指针来传递二维数组。C语言中，二维数组本质上是按行存储的一维数组。因此，我们可以将函数参数声明为指向数组行的指针：
void printMatrix(int (*arr)[3], int rows, int cols) {
for(int i = 0; i < rows; i++) {
for(int j = 0; j < cols; j++) {
printf("%d ", arr[i][j]);
}
printf("\n");
}
}
调用方式不变：
int matrix[3][3] = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}};
printMatrix(matrix, 3, 3);
这里 int (*arr)[3] 表示一个指向包含3个整数的数组的指针。这种方式虽然提高了灵活性，但仍然受限于列数固定。
四、动态大小二维数组的传递方法
如果希望函数能够处理任意行列的二维数组，则需要使用动态内存分配或指针数组。例如：
void printMatrix(int **arr, int rows, int cols) {
for(int i = 0; i < rows; i++) {
for(int j = 0; j < cols; j++) {
printf("%d ", arr[i][j]);
}
printf("\n");
}
}
调用前需要手动分配内存：
int rows = 3, cols = 3;
int **matrix = malloc(rows * sizeof(int *));
for(int i = 0; i < rows; i++) {
matrix[i] = malloc(cols * sizeof(int));
}
// 填充数据
printMatrix(matrix, rows, cols);
这种方法更灵活，但也更复杂，需要注意内存释放和越界访问问题。
五、原理剖析：为什么二维数组不能直接传递？
从内存布局的角度看，二维数组在内存中是连续存储的。例如 int arr[3][3] 实际上是连续存储的9个整数。当函数接收到这个数组时，它需要知道每一行的长度，才能正确地进行索引计算。
例如访问 arr[i][j]，其等价于：
*( (int *)arr + i * COLS + j )
因此，如果不提供列数（COLS），编译器无法正确计算地址。
六、总结与延伸：选择合适的方法
以下是不同场景下推荐的二维数组传递方式：
场景推荐方式优点缺点固定大小数组直接传递固定大小数组语法简洁，易于理解通用性差部分通用需求使用指针传递固定列数比固定数组更灵活列数仍需固定完全通用需求使用指针数组或动态内存分配完全灵活，适应任意大小复杂度高，需手动管理内存
开发者应根据具体需求选择合适的方式，并理解其背后的内存布局和访问机制。