我有以下代码：
struct student_info;
void paiming1(struct student_info student[]);
struct student_info
{
int num;
char name[6];
};
该IDE显示错误
error: array type has incomplete element type ‘struct student_info’
void paiming1(struct student_info student[]);
但如果我使用void paiming1(struct student_info *student);，它可以正常运行。这是为什么？我正在使用GCC。
C语言在所有数组声明中无条件要求数组元素类型必须完整。即使在函数参数列表中使用的数组声明也不例外。这与C++不同，后者对于函数参数列表放宽了这个完整性要求。
6.7.6.2 数组声明符
约束
1 [...] 元素类型不能是不完整的或函数类型。[...]
请注意，上述约束适用于所有数组声明，包括函数参数列表中的数组声明。
struct S;
void foo(struct S[]); // OK in C++, invalid in C
T []后来总是会被调整为类型T *，因此这个要求可能看起来过于严格（这也是C++放宽了这一要求的原因）。然而，在C语言中存在这种限制。这只是C语言的其中一个怪异之处。void paiming1(struct student_info *student);
[]。我认为这是问题的根源：允许空的[]，同时不允许不完整类型的对象。据说这是因为在C99之前建立了行业事实标准，因为C90没有指定行为。所以编译器试图一边吃蛋糕，一边保持它。 - Lundinint[]是被接受的，因为您引用了自己的规则（完整性在调整后检查，而int *是完整的）。在我的示例中，struct S[]被拒绝是因为另一个更高级别的规则：数组声明是完全无效的。 - AnT stands with Russiastruct S[]和int i[]都是无效的。要么它发生在数组调整之后，然后它们都是有效的。在这里gcc的行为不一致。 - Lundin[和]还可以界定表达式或*。如果它们界定了一个表达式（指定数组的大小），则该表达式应具有整数类型。如果表达式是常量表达式，则其值应大于零。元素类型不应为不完整或函数类型。可选的类型限定符和关键字static只应出现在具有数组类型的函数参数的声明中，并且只应出现在最外层的数组类型派生中。*的引用，该符号仅在非定义的函数声明中有效，而其他地方无效，因此整个约束需要视为适用于参数。
/* 1. */ struct S;
/* 3. */ struct S *g(struct S a[]) { return a; }
缺陷报告询问这些是否严格符合规范。需要注意的是，与问题不同，这些是属于定义而不仅仅是声明的原型。
尽管如此，标准委员会回应说
struct S是不完整类型（子句6.5.2.3，第62页，第25-28行）。此外，未知大小的数组也是不完整类型（子句6.5.4.2，第67页，第9-10行）。因此，任何一个上述数组都不是严格符合规范的（子句6.1.2.5，第23页，第23-24行）。这使得声明3、4和6不是严格符合规范的。（但实现可能会做正确。）顺便说一下，数组参数被调整为指针类型（子句6.7.1，第82页，第23-24行）。然而，没有什么迹象表明，一个不严格符合规范的数组类型可以通过这个规则神奇地变成严格符合规范的指针参数。
所涉及的类型可以有两种不同的解释方式。（数组到指针的转换可以尽早或尽晚发生。）因此，使用这种形式的程序具有未定义的行为。
(我强调)
自1992年以来，这一行为没有得到书面澄清，因此我们必须同意该行为是未定义的，因此C标准没有任何要求，一个成功编译此代码的编译器仍然符合C90标准。struct student_info
{
int num; //学号
char name[6]; //姓名
char sex[5]; //性别
char adress[20]; //家庭住址
char tel[11]; //电话
int chinese,math,english,huping,pingde,jiaoping,paiming1,paiming2;
double ave,zhongping;
};
void paiming1(struct student_info student[]);
void paiming2(struct student_info student[]);
当你使用*将其声明为指针时，编译器知道参数的大小（它是一个地址）。