链接器如何在 C 中解析多重定义的全局符号

Question

我的教科书上说：

“函数和初始化的全局变量得到强符号。未初始化的全局变量得到弱符号。给定一个强符号和多个弱符号，选择强符号”

所以我创建了两个文件来查看：

file1.c:

int number;

int main(int argc, char *argv[]) 
{
    printf("%d",number);
    return 0;
}

file2.c（只有一行）：

int number = 2018;

我跑了gcc -Wall -o program file1.c file2.c，输出为0，在我研究链接器之前我可以理解（file1.c中的'number'已经初始化为0），但是在我研究了链接器是如何工作的之后，我开始怀疑为什么输出不是 2018，因为 file2 中的“数字”是强符号（初始化的全局变量），而 file1 中的“数字”是弱符号，所以链接器会选择值为 2018 的强符号，那么为什么链接器选择弱符号？

Answer 1

file1.c 中的int number; 未初始化。请注意，它是在文件范围内声明的，它是在没有初始化器的情况下声明的，并且它是在没有存储类说明符的情况下声明的（特别是没有extern 或static）。然后 C 2018 6.9.2 2 说：

具有文件范围的对象的标识符声明没有初始化程序，没有存储类说明符或存储类说明符static，构成一个暂定定义。如果翻译单元包含一个或多个标识符的暂定定义，并且翻译单元不包含该标识符的外部定义，则行为与翻译单元包含该标识符的文件范围声明完全相同，复合类型为翻译单元的末尾，初始化器等于 0。

因此，file1.c 中的int number; 与int number = 0; 相同。已初始化。

您引用的文本的一个问题是它使用该链接器的术语来描述链接器，这与 C 标准使用的术语不同。 C 标准没有任何“全局”变量或“强”或“弱”符号。

Answer 2

file2.c 中的number 是全局的，但仍仅限于该文件的本地范围。如果您希望 file1.c 使用来自 file2.c 的 number，您需要将其标记为 extern，如下所示：

extern int number;

int main(int argc, char *argv[]) 
{
    printf("%d",number);
    return 0;
}