C语言中二维数组转一维数组传入函数的底层原理疑问

一维数组传参的本质 #

一维数组（比如char arr[10];）在传参时，数组名会被C语言隐式转换为指向首元素的指针，也就是char*类型。这是因为数组名在绝大多数语境下都会退化为首元素地址，函数接收这个指针后，就能通过指针偏移访问数组的所有元素。

二维数组的类型与传参特性 #

二维数组本质是数组的数组，比如char arr[3][5];，它的每个元素是一个长度为5的char数组。当你把二维数组名直接传给函数时，它会隐式转换为指向首个内层数组的指针，类型是char (*)[5]——这个指针确实携带了内层数组的长度信息（也就是5），但它和char*是完全不同的指针类型：

• char*指向单个char，指针偏移1步是1字节；
• char (*)[5]指向5个char组成的数组，指针偏移1步是5字节。

正因类型不匹配，直接把二维数组传给期望char*的函数会触发编译器报错，这就是你不能像一维数组那样直接传的原因。你的推测完全正确。

强制转换为char*能生效的原因 #

C标准规定二维数组在内存中是连续存储的：arr[0][0]、arr[0][1]……arr[0][4]、arr[1][0]、arr[1][1]……依次排列在连续的内存块里。当你用(char*)arr强制转换时，相当于把整个连续内存块当成一维char数组来处理，函数接收的char*指针可以逐个遍历每个char元素，因此能得到正确结果。但这种做法属于类型强转，需要确保你清楚内存布局，避免越界访问。

正确传递二维数组的方式 #

如果不想用强制转换，可以让函数接收匹配的指针类型：

• 固定内层数组长度：void func(char (*arr)[5], int rows)，调用时直接传arr即可；
• 变长数组（C99及以后支持）：void func(int rows, int cols, char arr[rows][cols])，这种方式更灵活，能处理不同大小的二维数组。

内容的提问来源于stack exchange，提问作者Käsekuchen