变量的外部和静态链接的奇怪行为

Question

我发现extern 和static（内部）变量的一些行为我觉得很奇怪。

这是一个例子：

/* file a.c */
#include <stdio.h>

/* variable with static linkage */
static int x = 24;

int f() {
        /* variable with extern linkage */
        extern int x; 
        return x;
}

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

-

/* file x.c */
/* define symbol `x` to be an `int` equal to 100 */
int x = 100;

我编译这个程序使用：

$ cc a.c x.c -o a

然后我运行我的程序并得到这个输出：

$ ./a
24

为什么这个程序输出的是24而不是100？

Answer 1

引用link

下表标识了分配给在单个翻译单元中声明两次的对象的链接。列指定第一个声明，行指定重新声明。

同样来自标准的 6.2.2 节：

对于使用存储类说明符 extern 声明的标识符，在该标识符的先前声明可见的范围内，如果先前声明指定内部或外部链接，则后面声明的标识符的链接是相同的作为先前声明中指定的链接。如果前面的声明不可见，或者前面的声明没有指定链接，则标识符具有外部链接。

因此，文件a.c 的所有外部链接都在内部解析。 您的代码已将 x 首先定义为静态，然后在翻译单元 a.c 中定义为外部。因此，链接在上表中是内部的。所以它打印24。