C语言结构体数组作形参报错：为何指针形式可正常运行？

先看你给出的代码和报错信息：

你的代码：

struct student_info; 
void paiming1(struct student_info student[]); 
struct student_info { 
    int num; 
    char name[6]; 
}; 

GCC抛出的错误：

error: array type has incomplete element type ‘struct student_info’
void paiming1(struct student_info student[]);

核心原因：不完全类型的使用限制 #

当你写struct student_info;时，这是一个前向声明——它只告诉编译器"存在一个叫student_info的结构体类型"，但没有提供这个结构体的具体成员、内存布局信息。此时struct student_info属于不完全类型，编译器不知道它的实际大小。

而C语言对数组和指针的类型要求有本质区别：

• 数组参数的限制：哪怕函数参数里的数组会被隐式转换成指针，编译器在处理struct student_info student[]这个声明时，首先需要确认数组的元素类型是完全类型。因为数组的类型定义依赖于元素的大小（比如struct student_info[]本质是"连续的struct student_info内存块"，编译器需要知道单个元素的大小才能理解这个类型）。此时struct student_info还未被定义，属于不完全类型，所以触发报错。
• 指针参数的允许情况：对于指针类型struct student_info *student，C语言允许指针指向不完全类型。因为指针本身的大小是固定的（和系统位数相关，比如64位系统是8字节），编译器不需要知道指向类型的具体结构就能处理这个指针参数的声明——只有当你在函数内部实际解引用指针、访问结构体成员时，才需要struct student_info是完全类型（而你的结构体定义刚好在后面，所以运行时没问题）。

额外的解决思路 #

如果你想保留数组参数的写法，只需要把结构体的定义提前到函数声明之前即可：

struct student_info { 
    int num; 
    char name[6]; 
}; 
void paiming1(struct student_info student[]); 

这样struct student_info在函数声明时已经是完全类型，编译器就不会报错了。

内容的提问来源于stack exchange，提问作者pureZer