"[*]"(星号修饰符)在C中的含义是什么？

Question

在尝试实现C11解析器(用于教育目的)时,我发现在C11(p.470)中也在C99(p.412)中(感谢Johannes!),直接声明符定义为:

(6.7.6) direct-declarator:  
    direct-declarator [ type-qualifier-list? * ]

起初,我认为这是语法中的错误(类型列表不应该是可选的).但是,当我在我的参考编译器(clang)中尝试这个时,我得到了一个意外的错误:

int array[*] = { 1, 2, 3 };
// error: star modifier used outside of function prototype

显然,(在clang中)这被称为星形修饰符.

我很快就知道它们只能在函数签名中使用:

void foobar(int array[*])

但是,它们只能用于声明中.尝试在函数定义中使用它也会导致错误:

void foobar(int array[*]) {
    // variable length array must be bound in function definition
}

---

所以据我所知,预期的行为是[*]在函数声明中使用,然后在函数定义中使用固定数字.

// public header
void foobar(int array[*]);

// private implementation
void foobar(int array[5]) {

}

---

但是,我从未见过它,我也不太了解它的目的.

1. 它的目的是什么,它为什么被添加？
2. 有什么区别int[]？
3. 有什么区别int *？

Answer 1

它的目的是什么,它为什么被添加？

当使用可变长度二维数组作为函数参数时,可以看到目的.功能

int foo(int n, int m, int a[n][m])  {...}   

可以原型为以下任何一种

int foo(int , int, int [][*]);
int foo(int , int, int a[*][*]);
int foo(int , int, int (*a)[*]);
int foo(int n, int, int a[n][*]);
int foo(int , int m, int a[*][m]);
int foo(int , int m, int (*a)[m]);
int foo(int n, int m, int a[n][m]); 

在二维数组的情况下,当用作函数参数时,不能省略第二维的大小.如果省略函数原型中的第一个变量的名称,则无法指定数组的长度(第二维).的*给出了该阵列的长度将被第二参数来确定的线索.

有什么区别int[]？
有什么区别int *？

对于1D数组,用于函数定义

int bar(int n, int a[n]} {...}  

以下任何原型都是有效的

int bar (int , int *);
int bar (int , int [*]);
Int bar (int , int []);
int bar (int n, int a[]);
int bar (int n, int a[n]);
int bar (int n, int [n]);   

在这种情况下既不是*也n不必要,因为编译器会同时处理int [*]和int [n]as int *.因此,对于一维数组,您看不出太多差异.

注意:使用可变长度数组作为函数参数时,参数顺序很重要.bar可以切换前四个原型的参数顺序,但在后两个参数中,第一个参数不能是数组本身.

int bar (int a[n], int n);  //Wrong. Compiler has not yet seen 'n'.

Answer 2

C99的C基本原理文件说

函数原型可以使用具有可变长度数组类型的参数(第6.5.5.2节),使用特殊语法

int minimum(int, int [*][*]);

这与其他C原型一致,其中不需要指定参数的名称.

int []有什么区别

与int*有什么不同.

我认为只是函数原型中的那些类型意味着"指针",而[*]处于非顶部位置(int[*]仍然等于int[]我认为,在函数原型中)实际上是有效的并且意味着数组

// not recommended though: it is now unclear what the parameters
// mean to human callers!
void f(int, int [][*]);

void f(int n, int x[][n]) {
    x[1][0] = 1;
}

int main() {
   int a[2][1];
   f(1, a);
   printf("%d\n", a[1][0]);
}

至于目的,在建立索引函数定义数组的时候,编译器需要知道下一个索引的许多整数如何让第一个索引(时跳过x[i]跳过i * n整数在f上面).但是在非定义原型声明中不需要这些信息,因此它可以省略并替换为*.