C语言中为何二维数组参数仅能在第一维使用static限定？

在C语言（包括C2x标准）中，函数参数里的多维数组声明有明确语法规则：

• 对于参数中的数组类型，只有第一维可以使用static限定符。它的作用是告知编译器：传入的指针必须指向一个至少包含指定元素个数的数组（这里即至少3个int[6]类型的元素），既可以帮助编译器做优化，也能明确参数的非空/长度约束。
• 第二维及以后的维度属于数组元素的类型（比如int arr[3][6]里，元素类型是int[6]），在参数声明中，这些内层数组的方括号内不能使用static——因为static不能修饰函数参数中数组元素的类型，这种写法会被判定为非法语法，也就是你遇到的error: static or type qualifiers in non-parameter array declarator错误。

具体拆解你的两个例子：

1. 可行写法int last(int arr[static 3][6])：
   static 3作用在第一维，符合C标准规则，编译器会将参数调整为int (*arr)[6]，同时static 3约束该指针指向的数组至少包含3个int[6]类型元素，因此编译正常。

2. 不可行写法int last(int arr[static 3][static 6])：
   第二维的static 6试图修饰内层数组的类型，违反语法规则，编译器直接报错。

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