静态与extern变量重声明的编译差异及C标准层面疑问

代码案例与编译结果 #

1. 可正常编译运行的代码 #

#include <stdio.h>
static int a;
extern int a;
int main()
{
    printf("Hello World");
    printf("%d",a);
    return 0;
}

2. 编译报错的代码1 #

#include <stdio.h>
extern int a;
static int a;

int main()
{ //static int a;
    printf("Hello World");
    printf("%d",a);
    return 0;
}

错误信息：

error: static declaration of ‘a’ follows non-static declaration
   11 | static int a;
      |            ^
main.c:10:12: note: previous declaration of ‘a’ with type ‘int’
   10 | extern int a;

3. 编译报错的代码2 #

#include <stdio.h>

static int a=9;
int  a;
int main()

{ //static int a;

    printf("Hello World");
    printf("%d",a);
    return 0;
}

错误信息：

error: non-static declaration of ‘a’ follows static declaration
   14 |   int  a;
note: previous definition of ‘a’ with type ‘int’
   11 | static int a=9;

4. 编译报错的代码3 #

#include <stdio.h>
 
static int a;
int  a;

int main()
{ 
    printf("Hello World");
    printf("%d",a);
    return 0;
}

错误信息：

error: non-static declaration of ‘a’ follows static declaration
   14 |   int  a;
      |        ^
main.c:11:12: note: previous definition of ‘a’ with type ‘int’
   11 | static int a=9;
      |            ^

疑问 #

为何先声明static变量再用extern重声明时无编译错误，而先extern后static、先static后普通int声明时均报错？默认文件作用域变量具有extern属性，为何后者会出现编译错误？

依据C标准的解答 #

要搞清楚这些编译结果的差异，核心看C11标准中关于标识符链接属性和声明/定义规则的条款：

1. 标识符的链接属性 #

文件作用域的标识符有两种关键链接属性：

• 内部链接：用static声明的变量/函数，仅能在当前翻译单元（即当前.c文件）内访问。
• 外部链接：普通全局变量/函数（默认无存储类说明符或用extern声明），可在其他翻译单元中访问。

2. 重声明的合法场景（案例1） #

C11标准6.2.2第7条明确规定：

如果同一翻译单元中，同一标识符的声明指定了不同的链接属性，行为未定义，除非：一个声明指定内部链接，另一个指定外部链接，且内部链接的声明在前。此时标识符的链接属性为内部链接。

案例1中，先通过static int a;将a声明为内部链接，后续的extern int a;是对同一标识符的重声明（指定外部链接）。符合上述例外条款，因此编译合法，最终a的链接属性为内部链接，没有冲突。

3. 非法场景的原因 #

案例2：先extern后static

extern int a;首先将a声明为外部链接（此时编译器认为a可能在其他翻译单元定义），后续的static int a;试图将同一标识符改为内部链接。这违反了6.2.2的规则——不符合“内部链接声明在前”的例外，属于行为未定义，编译器会直接报错。

案例3、4：先static后普通int声明

static int a;或static int a=9;是内部链接的定义，而后续的int a;是外部链接的暂定定义。根据C11标准6.9.2的规定，同一翻译单元中，同一标识符不能同时被定义为内部链接和外部链接的对象——这相当于试图用同一标识符创建两个完全独立的实体（一个仅当前文件可见，一个全局可见），编译器会判定为冲突，因此报错。

补充：默认文件作用域变量的属性 #

普通文件作用域的int a;属于外部链接的暂定定义，默认存储类为extern。但当之前已有static定义的同一标识符时，两者的链接属性冲突，因此无法通过编译——这和“默认extern属性”本身无关，而是因为链接属性的冲突违反了声明一致性规则。

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