c - C99 中那些奇怪的数组大小 [*] 和 [static] 是什么？

Question

显然，以下函数原型在 C99 和 C11 中有效：

void foo(int a[const *]);

void bar(int a[static volatile 10]);

那些奇怪的下标符号 , 和 CV 限定符的目的是*什么static？

它们是否有助于区分静态类型数组和可变长度数组？还是它们只是语法糖？

Answer 1

参数数组声明器中的静态

 void f(int a[static 10]);

static这表明参数a是一个指针，int但数组对象（其中a是指向其第一个元素的指针）至少具有10元素。

然后编译器有权假设f参数不是NULL，因此它可以执行一些优化。gcc当前不执行优化（source）：

“参数数组声明器中静态提供的信息不用于优化。将来与预取工作结合使用它可能是有意义的。”

参数数组声明器中的限定符

void g(int a[cvr 10]);

insideg a是指向（cvr is或限定符）的cvr指针。例如，它的意思是指向（即 type ）的指针。intconstvolatilerestrictconstaconstintint * const

所以一个参数声明：

T param[cvr e] 

与参数声明相同：

T * cvr param

* 在参数数组声明器中

void h(int a[*]);

[*]函数声明（不是函数定义的一部分）中的形式数组参数声明表示形式数组是可变长度数组。