主页 / coding / 问题 / 78309444
Accepted
ABu
Asked: 2024-04-11 17:43:48 +0800 CST

目标文件、静态库和单一定义规则

  • 772

假设我有一个如下所示的编译行：

gcc <flags...> -o a.out obj1.o obj2.o

其中 和obj1.o都obj2.o定义void f(int). 我将收到多重定义错误（违反了单一定义规则）。

好的，现在，想象一下：

gcc <flags...> -o a.out obj1.o -lstatic_lib

其中 和obj1.o都static_lib.a定义f(int). 我知道静态库是.o文件的串联，对于每个待解决的符号，都可以在.o静态库的任何文件中找到，然后解析该符号的整个 .o符号将与任何符号一起链接到二进制文件中同样.o提供的其他符号。

这种行为让我感到好奇。想象一下static_lib.a由两个对象组成，static_obj1.o并且static_obj2.o，其中static_obj1.o是由谁定义的f(int)。由于也obj1.o已定义f(int)，因此链接器不会在 中查找它static_lib.a，因此static_obj1.o理论上不会包含在内，但是，这就是问题：

  • 如果obj2.o需要f2(int)，谁也定义了呢static_obj1.o？链接器在集成后是否会static_obj1.o因为现在是两次f2(int)而发出多重定义警告f1(int)？

注意：我同时标记了 C 和 C++，因为我猜想两者在这方面的行为是相同的。如果不是，请澄清，我很想知道任何行为差异。另外，如果 gcc/clang/visual studio/linux/windows 之间的行为有很大不同，请澄清。如果行为大致相同，那么重点关注 gcc 而不是 linux。

c++

1 个回答

  1. Best Answer

    链接器在集成后是否会static_obj1.o因为现在是两次f2(int)而发出多重定义警告f1(int)？

    是的。

    ...单一定义规则...

    这不受 C++ 中的单定义规则或 C 中的相应规则的约束。关于此链接问题，这些规则仅表明符合要求的程序不会包含多个定义。它们不控制与多个定义链接时发生的情况。例如：

    • 链接器可能会发出错误消息并且不会生成可执行文件。这是符合行为的，因为我们通过将这些多个对象模块链接在一起来解释所请求的程序以具有多个定义。那么该行为不是由语言标准定义的，因此任何行为都是符合的。
    • 假设，链接器可以选择一个目标模块并形成一个仅包含每个符号的一个定义的可执行文件。同样，由于行为不是由语言标准定义的，因此任何行为都是一致的。或者，我们可以将对链接器的请求解释为形成仅具有符号的一个定义的程序的请求，从而产生符合语言标准的程序。标准没有提及我们如何使用链接器和其他工具将翻译单元链接在一起，因此对这些交互的各种解释都是可能的。
    • 3

相关问题