C语言中int (*p)[4]类型指针是指向一维数组还是二维数组？

C语言中，除了作为sizeof、&运算符的操作数，或者用于初始化字符数组的字符串字面量之外，所有数组类型的表达式都会自动衰变为指向数组首元素的指针，指针类型由数组元素类型决定。

报错原因解释 #

你定义的b是int[4]类型的一维数组：

• 常规场景下b会衰变成为int*类型的指针，指向首元素b[0]
• 而int (*p)[4]是数组指针，它的基类型是「长度为4的int数组」，属于和int*完全不兼容的指针类型，因此直接赋值p = b会触发类型不匹配的编译错误。

如果要让p指向一维数组b，只需要修改赋值语句为p = &b即可：&b的类型就是int (*)[4]，和p的类型完全匹配。

二维数组赋值合法的原因 #

二维数组int a[3][4]的本质是「元素类型为int[4]、长度为3的一维数组」：

• a作为数组名衰变时，生成的指针指向首元素a[0]，而a[0]的类型是int[4]，因此衰变后的指针类型恰好是int (*)[4]，和p的类型完全匹配，因此赋值合法。
• 此时p的步进长度为4*sizeof(int)，p+1刚好指向二维数组的下一行a[1]，这就是大家常说的数组指针指向二维数组行的经典用法。

• *使用int (*p)[4]类型指针时，p是否必须对应二维数组的行元素？
  不是。*p的本质是「长度为4的int数组」，它可以对应任意符合类型要求的数组对象，不需要依托二维数组存在。比如上述修改后的p = &b场景下，*p就是一维数组b本身，通过(*p)[0]、(*p)[1]即可正常访问b的元素，全程没有涉及任何二维数组。

• 该类型指针是否仅能用于适配二维数组的可变行数场景？
  不是。除了遍历二维数组行的场景外，数组指针还有很多独立用法：比如需要向函数传递固定长度的一维数组时，可以用数组指针作为形参（例如void func(int (*buf)[4])），编译器会自动做入参长度校验，避免传入长度不符合要求的数组，比直接传递int*参数的安全性更高。

注：你示例中的printf("%d \n", *(p + 1));写法存在未定义行为：*(p+1)是数组类型，衰变后为int*指针，用%d格式符打印指针不符合规范，若要打印地址请使用%p格式符，若要打印指向的元素值请改为**(p+1)。

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