刚好帮你把这两个问题拆解清楚：

一、使用不完整类型时，是否需要extern关键字？ #

extern关键字的核心作用是区分变量/对象的“声明”和“定义”，和类型本身是否完整没有强制绑定关系：

• 如果你只是声明一个不完整类型（比如前向声明struct Bar;），这不需要extern，因为它只是告诉编译器“这个类型存在，后续会有完整定义”，不涉及任何变量的分配或引用。
• 如果你要声明一个不完整类型的变量（比如想引用外部定义的结构体变量），这时候才需要extern，比如extern struct Bar my_bar;——这里extern的作用是标记“这个变量在其他编译单元定义”，和struct Bar是不完整类型无关。

二、对于int a[]这类不完整类型，引用外部数组是否必须用extern？ #

这是你思路里容易踩坑的点，结论是：必须用extern，原因和C标准里的“试探性定义（tentative definition）”规则有关：

• 如果你写int a[];（无extern，文件作用域），这不属于单纯的声明，而是C标准定义的试探性定义。如果当前编译单元里没有对a的完整定义（比如int a[10];），编译器会自动把它转换成int a[] = {0};——也就是会给这个数组分配内存并默认初始化，这就变成了一个真正的定义。此时如果链接时还有另一个编译单元里的int a[5];，就会触发“多重定义”错误。
• 只有加上extern写成extern int a[];，才会明确告诉编译器：“这个数组在其他地方已经定义了，这里只是引用它的声明”，不会分配任何内存，完全交由链接器去匹配外部的定义。

你提到的“类似函数原型”的类比其实不成立：函数的声明（比如void func();）本身就是单纯的声明，因为函数定义必须带函数体{}，编译器不会把函数声明当作定义；但数组的试探性定义规则是C独有的，和函数的处理逻辑不一样。

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