C语言中传递二维数组至函数的底层原理及编译机制探究

核心结论：传递二维数组本质就是传递指针 #

C语言里永远不会按值传递数组，不管一维还是二维，传递数组时都会自动退化为指向数组首元素的指针，二维数组的传递有更特殊的类型转换逻辑，下面拆解细节：

第一段代码的编译行为 #

先看第一段的函数声明：

void printArray(int array[N][N])

虽然写法是int array[N][N]，但编译器会自动将其调整为指向一维数组的指针，也就是int (*array)[N]。这里的N必须是编译期可确定的常量（你用#define N 5满足要求），因为指针需要知道指向的一维数组长度，才能正确计算array[i][j]的内存地址。

在main中调用printArray(array)时，二维数组名array会退化为指向其第一个元素（即array[0]，长度为N的一维数组）的指针，类型正好是int (*)[N]，和函数参数类型匹配。

函数内的array[i][j]，编译器会自动计算地址：先通过array + i定位到第i个一维数组的首地址，再加上j的偏移找到目标元素，最终完成取值。另外你代码里用printf("%d", &array[i][j])是错误的，打印地址应该用%p格式符，但这不影响对底层机制的分析。

第二段代码的编译行为 #

第二段的函数声明是：

void printArray(int* array, int rows, int cols)

这里参数是普通的int*（指向int的指针），调用时传递的&array[0][0]是二维数组第一个元素的地址，类型为int*，和参数类型匹配。

函数内的array[i * cols + j]是手动计算元素的内存偏移：因为二维数组在内存中是连续按行存储的，第i行第j列元素相对于首地址的偏移量是i * cols + j个int的大小，开发者手动实现了编译器在第一段代码中自动完成的偏移计算。

两者的底层机制是否相同？ #

内存访问的核心逻辑一致，但函数参数的类型和偏移计算方式不同：

• 第一段代码依赖编译器处理二维数组的维度信息（N），参数是指向一维数组的指针，array[i][j]的偏移由编译器自动完成，写法更贴合二维数组的直观逻辑。
• 第二段代码将二维数组当作一维数组处理，参数是普通int指针，偏移计算由开发者手动实现，灵活性更高（比如支持运行时动态指定行列数）。

从底层内存访问的角度看，两者最终都是通过指针偏移定位目标元素的内存地址，因为二维数组本身就是一块连续的内存空间，两种方式只是指针类型的描述不同，最终生成的机器码逻辑非常接近。

另外要注意：如果第一段代码中的N不是编译期常量（比如用变量定义），C标准中这种写法不合法（C99之后支持变长数组，但不同编译器处理有差异），而第二段代码没有这个限制。

内容的提问来源于stack exchange，提问作者adsf