C11标准文本自己就有个例子
void f(double (* restrict a)[5]);
void f(double a[restrict][5]);
void f(double a[restrict 3][5]);
void f(double a[restrict static 3][5]);
(Note that the last declaration also specifies that the argument corresponding to a in any call to f must be a non-null pointer to the first of at least three arrays of 5 doubles, which the others do not.)

【 在 haha103 的大作中提到: 】
: 没见过 :(
: 搜了一下
: A declaration of a parameter as ''array of type'' shall be adjusted to
: ...................
--
FROM 121.32.155.*