为什么我没有得到“多重定义” g++ 的错误？

Question

我尝试使用 g++ 将我的可执行程序与 2 个静态库链接。 2个静态库具有相同的函数名称。我期待链接器发出“多重定义”链接错误，但我没有收到。任何人都可以帮忙解释为什么会这样吗？

staticLibA.h

#ifndef _STATIC_LIBA_HEADER
#define _STATIC_LIBA_HEADER

int hello(void);

#endif

staticLibA.cpp

#include "staticLibA.h"

int hello(void)
{
    printf("\nI'm in staticLibA\n");
    return 0;
}

输出：

g++ -c -Wall -fPIC -m32 -o staticLibA.o staticLibA.cpp                                                                             
ar -cvq ../libstaticLibA.a staticLibA.o                                                                                                                           
a - staticLibA.o 

staticLibB.h

#ifndef _STATIC_LIBB_HEADER
#define _STATIC_LIBB_HEADER

int hello(void);

#endif

staticLibB.cpp

#include "staticLibB.h"

int hello(void)
{
    printf("\nI'm in staticLibB\n");
    return 0;
}

输出：

g++ -c -Wall -fPIC -m32 -o staticLibB.o staticLibB.cpp 
ar -cvq ../libstaticLibB.a staticLibB.o 
a - staticLibB.o

main.cpp

extern int hello(void);

int main(void)
{
 hello();
 return 0;
}

输出：

g++ -c  -o main.o main.cpp
g++ -o multipleLibsTest main.o  -L. -lstaticLibA -lstaticLibB -lstaticLibC -ldl -lpthread -lrt

Answer 1

链接器不会查看 staticLibB，因为在链接 staticLibA 时，不存在未实现的依赖项。

Answer 2

这是一件容易的事。仅当引用的符号尚未定义时，才会从库中提取对象。仅提取其中一个问候语（来自 A）。如果链接 .o 文件，则会出现错误。

Answer 3

当链接器尝试将 main.o 链接到 multipleLibsTest 并发现 hello() 未解析时，它开始按照给定的顺序搜索库在命令行上。它将在staticLibA中找到hello()的定义并终止搜索。

它根本不会在 staticLibB 或 staticLibC 中查找。

如果 staticLibB.o 包含 staticLibA 中没有的另一个符号，并且该符号被拉入最终的可执行文件中，那么您会收到 hello 错误的多重定义，当单个 .o 文件从库中取出时，其中两个文件将具有 hello()。在链接命令行上颠倒 staticLibA 和 staticLibB 的顺序将使该错误消失。