为何未在函数内声明全局变量仍可被访问？与K&R表述存疑

哎，这个问题当初我刚学C的时候也纠结过！咱们一步步理清楚：

首先，先明确两个核心概念：

• 定义：int var=100; 写在所有函数外面，这是全局变量的外部定义，它的作用域覆盖整个当前源文件（跨文件访问的话需要配合extern）。
• 声明：extern int var; 是告诉编译器“这个变量在别的地方定义了，你去外面找它”。

然后看K&R那句“(全局)变量必须在每个要访问它的函数中声明”——这话没毛病，但C语言早期有个特殊的历史规则：

当函数内直接使用一个未声明的变量时，编译器会自动隐式假设这是一个外部的int类型变量，相当于帮你偷偷加了extern int var;的声明。

这就是为什么你移除main里的extern后，代码依然能正常运行：编译器帮你补了声明，自然能找到全局的var，输出100。

不过要敲个警钟：这种隐式声明是C语言的“历史遗留特性”，C99及之后的标准已经彻底废弃了它！现在这么写，大部分编译器都会抛出警告（比如implicit declaration of variable 'var'），所以正规开发里一定要养成显式声明的习惯——要么用extern明确指出变量来自外部，要么如果是本文件的全局变量，哪怕能隐式访问，显式声明也能让代码可读性更强。

最后补个反例验证：如果把全局变量改成static int var=100;，再移除main里的extern，编译器会直接报错。因为static全局变量的作用域被限制在当前文件内，编译器的隐式声明找不到它——这时候就体现出显式声明的必要性了。

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