多个已定义符号的C / C ++链接器顺序

Question

如果我在目标文件和库中定义了相同的符号，GNU链接器将从目标文件中获取符号。 考虑这个例子：

g++ -L"dir/to/lib" -o Executable Test.o foo.o -lMyLib

如果我在foo.cpp中定义了一个具有相同签名的函数foo ，并且在源文件中编译了“MyLib”，那么如果我使用这个顺序，GNU链接器总是更喜欢前一个。

这种行为GNU工具链是否具体？ 您是否知道其他连接器的行为方式相同？ 这是否记录在案（GNU文档，C ++标准）？ 我找不到任何东西......

我想在进行单元测试（也就是链接接缝）时使用此功能来替换/模拟某些功能。

Answer 1

来自http://gcc.gnu.org/onlinedocs/gcc/Link-Options.html ：

“链接器按照指定的顺序搜索和处理库和目标文件”

Answer 2

也许。

链接器处理文件的确切方式取决于链接器，但在您描述的确切情况下，我认为不会有任何变化。 当您指定的目标文件，它包含到您的最终版本，你会得到它从它定义的任何符号; 如果两个目标文件定义相同的符号，通常会从链接器中获得错误（但由于弱符号或类似Fortran的数据定义处理，因此存在异常）。 库是对象文件的集合; 库的标准处理是链接器扫描它，并合并任何定义其他未定义外部的对象（并且只包含那些对象）。 如果库中的目标文件仅定义了相关符号，并且其定义已由显式指定的目标文件解析，则链接器将不会将库中的目标文件合并到程序中。 但是，如果库中的目标文件也定义了其他符号，并且其中一个符号解析了未定义的外部符号，则库中的目标文件将与其定义的所有符号一起合并到程序中。 这可能导致多种定义。

Answer 3

从语言的角度来看，“链接顺序”是未指定的，不能以可靠的方式使用。

通过平台（工具链）的观点，它必须以某种方式指定，并且 - 通常 - 它考虑所有未在本地解析的所有symbold的对象和对象中解析的所有符号的库。 这允许开发人员屏蔽/替换库函数。

现在，gcc（作为msvc）以启动链接器的命令行的相同顺序链接。 这种行为是否可以“信任”（从某种意义上说，它将在未来的版本中保留）尚不清楚。 （GCC文档使用现有动词编写......）