为何无法使用不完全类型声明变量？

哈哈，我太懂你这种突然懵圈的感觉了！之前刚学C的时候也踩过一模一样的坑，看到编译器报错的瞬间满脑子都是“我写的咋就不对了？”，今天就给你掰扯清楚为啥不能这么干。

先看你贴的这段代码：

#include <stdio.h>
int n[];
int main(void) {
        int m[];
        void p;
        return 0;
}

还有编译器的报错：

1.c: In function 'main':
1.c:5:9: error: array size missing in 'm'
5 | int m[];
| ^
1.c:6:10: error: variable or field 'p' declared void

咱们一个一个说：

首先说函数里的int m[]; #

在函数内部声明的局部变量，编译器必须在编译阶段就知道要给它分配多少内存空间，对吧？但int m[]是个不完全类型——你没告诉编译器这个数组有几个元素，它根本算不出来要给你留多大的栈内存，总不能让编译器瞎猜吧😅？所以直接就给你抛错说“数组大小缺失”，这完全是编译器在尽职尽责地提醒你：“你得告诉我这个数组多大啊！”

哦对了，你可能会问那全局的int n[];为啥没报错？这是因为全局作用域的空数组声明是个特殊情况——它默认是作为外部链接的声明，如果后面或者其他文件里有这个数组的完整定义（比如int n[10];），那这个声明是有效的；但如果只有这个空声明没有定义，到链接阶段还是会报错，编译阶段只是暂时放过你而已，这可不是什么正确的写法哈。

再说说void p; #

这个就更直接了：void类型本身的意思就是“无类型”，它从来就不是用来声明变量的类型！你想想，变量得是有具体类型、能占确定内存空间的东西，void连大小都没有，怎么能用来当变量类型呢？

这里要注意，void*是可以的（指向未知类型的指针），但纯void变量是绝对不行的，编译器直接就给你拦下来了。

最后总结一下核心原因 #

• 局部变量必须是完全类型：编译器能明确知道其内存大小，这样才能在栈上分配对应空间，不完全类型（比如无大小的数组）肯定过不了；
• void类型不能实例化变量：它只能用来标记无返回值的函数，或者作为通用指针的类型（void*）；
• 全局的不完全类型声明只是特殊的外部引用场景，也需要后续的完整定义才能正常工作，不是真的允许你随便用不完全类型。

内容来源于stack exchange