为何存在前置static声明时，C语言中的隐式extern声明无效？

核心错误根源 #

你对文件作用域下int n;和extern int n;的等价性认知是错误的，二者的链接属性推导规则、语义完全不同，才会导致第二个程序编译失败。

两个程序的规则适配对比 #

第一个合法程序的规则逻辑 #

我们先看第一个可编译的代码：

#include <stdio.h>

static int n = 123;
extern int n;

int main(void) { printf("n is %d\n", n); return 0; }

根据你提到的C99 § 6.2.2 第4条规则：

对于在某作用域中使用存储类说明符extern声明的标识符，若该标识符的前置声明在当前作用域可见，且前置声明指定了内部或外部链接，则后续声明的标识符链接与前置声明指定的链接一致。若无可见的前置声明，或前置声明未指定链接，则该标识符具备外部链接。

这里第一行static int n = 123是文件作用域的内部链接声明，后续extern int n的链接会自动适配为内部链接，同一个标识符两次声明链接属性一致，没有冲突，因此编译合法。

第二个非法程序的冲突点 #

移除extern后的代码：

#include <stdio.h>

static int n = 123;
int n;

int main(void) { printf("n is %d\n", n); return 0; }

这里的int n;是文件作用域下无存储类说明符的声明，根据C99 § 6.2.2 第5条规则，它的链接属性直接被指定为外部链接，并不会像extern声明一样适配前置声明的链接属性。
此时同一个翻译单元的文件作用域内，标识符n被先后声明为内部链接、外部链接，违反了C99 § 6.2.2 第7条的规定：

如果在同一个翻译单元中，同一个标识符同时出现内部链接和外部链接的声明，行为未定义。

因此GCC会直接抛出冲突错误，提示non-static declaration of ‘n’ follows static declaration，完全符合标准要求。

额外补充：int n;和extern int n;的核心差异 #

• extern int n;只是声明，不会分配存储空间，链接属性优先适配前置声明的规则
• 无存储类的文件作用域int n;是暂定定义，如果翻译单元末尾没有该变量的显式初始化，编译器会自动生成一个初始化为0的外部定义，链接属性固定为外部链接，不会适配前置的内部链接声明

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