在多文件中C语言中全局变量的重定义

Posted 2023-02-24 WoLannnnn

首先我们看一下下面这两个代码：

test.c 中：

test1.c中：

此时我们编译并运行：

编译通过，并且打印出了10，这是为什么呢？这就涉及到了链接器解析多重定义的全局符号了。

Linux 链接器处理多重定义的符号的规则

上述结果是我们在 VS2019下测试的， Linux 链接器处理多重定义的符号的规则为：

1. 不允许有多个同名的强符号
2. 如果有一个强符号和多个弱符号同名，选择强符号
3. 如果有多个弱符号同名，则从这些弱符号中随机选择一个

首先，什么是强符号，什么是弱符号？

强符号：函数和已初始化的全局变量是强符号

弱符号：未初始化的全局变量是弱符号

在上面代码中，test.c 中的 count 是强符号，test1.c 中的 count 是弱符号，打印时是打印了强符号 count，可见，在 Windows 下也遵循该规则

在 Linux 和 Windows 下测试

我们可以在 Windows 和 Linux 下分别测试一下这三条规则：

当多个源文件存在同名的强符号

当多个源文件存在同名的强符号时：

Linux：

编译链接结果：

Windows：

由此可见，在 Linux 和 Windows 下都不支持多个同名的强符号

当多个源文件存在一个强符号与多个弱符号同名

当多个源文件存在一个强符号与多个弱符号同名时：

Linux：

编译并运行：

Windows：

与一开始展示的示例一样，编译通过并打印10

可见，当多个源文件存在一个强符号与多个弱符号同名时，Linux 和 Windows 下会选择强符号

当存在多个同名的弱符号

当存在多个同名的弱符号时：

Linux：

运行结果：

Windows：

运行结果：

可见，允许多个弱符号重名，且会随机选择一个弱符号使用。

为什么打印0？因为未初始化的全局变量在链接时会被赋予0值