C参数数组声明符

Question

在C99中有变长数组,参数数组声明符中可以有静态限定符(和类型限定符):

void f(int i, int *a);
void f(int i, int a[]);
void f(int i, int a[i]);
void f(int i, int a[*]);         // Only allowed in function prototypes.
void f(int i, int a[static i]);

由于数组函数参数只是衰减到指针,以前的声明之间是否有任何实际差异,还是风格问题？什么时候应该使用它们？特别是,static限定词意味着什么？该标准没有清楚地说明每种语法的原因.

Answer 1

只要您只使用一维数组,上述声明都是等效的.最后一个

void f(int i, int a[static i])

有额外的效果.它在参数类型方面等同于先前的参数类型,但也告诉编译器它可以依赖于a指向至少i元素的数组的参数(可以在优化中使用).

你也忘了另一个新的宣言

void f(int i, int a[const])

即使在单维阵列的情况下,这个实际上确实具有效果.它相当于

void f(int i, int *const a)

虽然有些人可能认为功能参数的常量资格是无用的.在使用[]声明语法之前,无法对指针进行const限定之前,数组参数会"衰减" .

的*(以及i之间)[]开始仅当所述第二(或更大)对之间使用无关紧要[]在多维数组宣言.从本质上讲,它就像它一直以来一样:参数声明中的数组大小始终只在第二对或另一对之间起作用[].将*在原型声明的VLA参数一起使用,当尺寸值没有被明确命名.例如,您可以声明

void bar(int n, int m, int a[n][m]);

并且编译器将知道这a是一个VLA,因为大小不是常量.但是如果您不想在原型中命名参数,那么您如何告诉编译器a是VLA？那是有*帮助的

void bar(int, int, int a[*][*]);