函数参数int* a与int (*a)[N]的区别及二维数组传参选型建议

一、两个函数参数的核心区别 #

• foo的int *a：这是普通的int型指针，仅指向单个int的内存地址，完全没有数组维度的信息。不管传入一维还是二维数组，都会被隐式转换为指向第一个int元素的指针。比如传二维数组int arr[M][N]时，a实际指向arr[0][0]，必须靠cols参数手动计算行列索引（如a[i*cols + j]）才能正确访问第i行j列的元素。
• bar的int (*a)[N]：这是指向包含N个int元素的一维数组的指针（俗称“行指针”）。它明确知道自己指向的是一行有N个int的数组，编译器能通过N值自动计算二维数组的内存偏移。访问时直接用a[i][j]即可，不需要手动计算索引，编译器会自动处理i*N + j的偏移逻辑。

二、为什么bar必须指定数组大小N？ #

int (*)[N]这个指针类型里，N是类型的关键组成部分——它定义了指针指向的“元素”（也就是二维数组的一行）的内存大小（N*sizeof(int)字节）。编译器需要这个大小来解析数组结构：比如写a[i]时，编译器要知道跳过i*N*sizeof(int)字节才能定位到第i行的起始地址。如果不指定N，指针类型不完整，编译器无法确定行长度，也就没法正确计算内存偏移，直接编译报错。

三、传递二维数组该选哪种方式？差异大吗？ #

差异非常明显，需根据场景选择：

• 固定列数的二维数组：优先用bar的方式。优势是类型安全——编译器会检查传入数组的列数是否和N匹配，避免传错；访问语法a[i][j]更直观，不容易出现索引计算错误的bug。
• 可变列数场景（如动态分配的二维数组、需要兼容不同列数的数组）：只能用foo的方式。因为bar的方式要求列数固定，无法适配不同列数的数组。但foo的方式缺点突出：无类型检查，传入一维数组编译器也不会报错；必须手动计算索引，很容易写出i*cols + j这类错误（比如把cols写成rows），引发越界访问问题。

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