C语言中仅指定二维数组第二维大小传递给函数的优势疑问

嘿，我来给你唠明白这个问题～

你平时传二维数组都是用单指针的方式，比如写这样的函数：

void process_array(int* arr, int rows, int cols)

然后自己通过计算偏移量来访问元素，对吧？但最近你发现有人传二维数组时，会写成只指定第二维大小的形式（比如void process_array(int arr[][5], int rows)，假设第二维固定是5），你搞不懂这么做的优势，尤其好奇这么写对编译器来说有啥好处，这疑问太正常了，我来给你拆解下：

• 编译器能帮你做越界检查：当你用int arr[][cols]（cols是已知常量或编译期能确定的值）这种形式时，编译器清楚每一行有多少个元素。如果你在函数里写arr[i][j]时，j的取值超过了cols的范围，开启了-Wall这类警告的编译器会直接给你提示，帮你提前发现bug。但如果用单指针的话，你得自己写*(arr + i*cols + j)这种偏移计算，编译器不知道cols和数组行宽的关联，根本没法帮你检查越界，很容易因为手滑算错偏移量出问题。

• 代码可读性拉满：用arr[i][j]直接访问元素，谁看了都知道是二维数组的第i行第j列元素，比写偏移量计算的代码直观太多了。尤其是团队协作的时候，新人接手代码不用费脑子去理偏移逻辑，一眼就能懂，维护起来也省心。

• 避免类型不匹配的警告：如果你定义了一个真正的二维数组，比如int my_arr[3][5];，把它传给int* arr的函数时，C语言会隐式把数组首地址转成int*，但有些编译器会弹出类型不兼容的警告，虽然不影响运行，但看着闹心。而如果函数参数是int arr[][5]，类型完全匹配，编译器不会瞎哔哔，代码更严谨。

• 编译器能做针对性优化：因为编译器知道每一行的元素个数，它可以利用CPU的缓存特性，提前预读取整行的数据，让内存访问更高效，提升程序运行速度。但用单指针的话，编译器不知道行的长度，没法做这种优化，只能按普通指针来处理。

哦对了，为啥只需要指定第二维大小？因为C语言的二维数组是按行优先存储的，编译器要计算某一行的起始地址，只需要知道每一行有多少个元素（也就是第二维的大小）就行，第一维的大小不影响地址计算，所以函数参数里第一维可以省略，只留第二维。

备注：内容来源于stack exchange，提问作者Engineer999