在C语言中，FILE是否必须为完整类型？

答案是：不一定，这取决于具体编译器的实现，从C语言标准的角度，FILE并不强制要求是完整类型。

C标准仅规定FILE是用于表示文件流的对象类型，但并未要求它必须是完整类型。在很多实现中，FILE被设计为不透明的不完整类型（比如通过结构体前向声明），用户只能通过标准库提供的fopen、fclose等函数操作它，无需知晓其内部结构。

你提供的示例代码能在Clang 18.1和GCC 13.1下干净编译通过，说明这两个编译器的实现里，FILE被定义为了完整类型——因为声明FILE files[10]这类数组时，编译器必须知道FILE的大小才能分配内存，这要求FILE此时是完整类型。但这属于编译器的具体实现选择，而非C标准的强制要求。

你的示例代码如下：

#include <stdio.h>

int do_something(FILE files[static 10])
{
    ...
}

int main(void)
{
    FILE files[10] = {};
    do_something(files);
}

需要注意的是，即便这段代码能编译，直接声明并使用FILE类型的数组通常没有实际意义，因为标准库的文件操作函数依赖fopen等函数初始化的有效文件流对象，手动创建的FILE数组元素并不会关联到实际的文件资源。

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