为何C语言不允许声明元素类型不完整的extern数组？

在C语言中，extern struct Foo x;这种不完整类型的变量声明是合法的——这只是一个外部声明，只要后续（或其他编译单元中）给出完整的类型定义和变量定义即可。但extern struct Foo foos[];这类数组声明却不被允许，核心原因在于C标准对数组类型的约束更严格：

C标准明确规定，数组的元素类型必须是完整对象类型（void类型除外），哪怕只是extern声明也不例外。这是因为数组的大小计算、内存布局都依赖元素类型的完整信息——即使是未知大小的数组（[]），编译器也需要知道单个元素的尺寸，才能在后续代码中正确处理数组的指针运算、下标访问等操作。

而普通的extern变量（非数组）则没有这个限制：标量类型的extern声明只需要告诉编译器“这个变量存在于别处”，不需要立刻知晓其完整内存布局，只要在实际使用前类型完整即可。

对比C++，它放宽了这个限制，允许extern数组声明时元素类型不完整，只要在数组被定义或使用前元素类型变得完整就行。这是两种语言在类型系统设计上的差异。

解决方法 #

如果要在C语言中兼容这类代码，最直接的做法是把struct的完整定义放在extern数组声明之前，示例如下：

struct Foo {};
extern struct Foo foos[];

int main() {

}

如果因为代码结构原因无法提前定义struct，也可以考虑用指针代替数组声明（注意数组和指针的语义差异，需要谨慎调整）：

extern struct Foo *foos;

struct Foo {};

int main() {

}

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