为什么不在这个静态库中创建多个定义的符号？

Question

在一个静态库项目中,我有一个带声明但未实现的函数的头文件.

我有一个实现这些功能的.cpp文件.

然后,为了更好地理解链接器错误,我复制了cpp文件,所以我有一个完全重复的它也被编译.因此,两个文件都有标头中每个符号的双重实现.

它编译,当在另一个项目中使用时,它会链接.

这是静态库的最小示例:

api.hpp:

void printWhatever();

errortest.cpp和duplicate.cpp是相同的:

#include "api.hpp"
#include <iostream>
void printWhatever(){
  std::cout << "hi " << "\n";
}

我将其编译为包含这两个源文件的静态库.我看到编译器为两个文件生成报告.

现在我在一个可执行文件中使用这个编译库,一个不同的项目:main.cpp:

#include <api.hpp>
int main(int argc, const char * argv[]) {
  printWhatever();

  return 0;
}

它运行并打印"hi".

为什么函数没有多重定义？

Answer 1

添加到此问题的关键事实是具有重复符号的两个模块链接到静态库中.

静态库与共享库的工作方式非常不同.链接时,链接器在静态库中搜索引用的符号.定义引用符号的第一个模块将链接以生成最终可执行文件.另一个模块定义相同符号的事实是无关紧要的.如果具有重复符号的其他模块未定义可执行文件所需的任何其他符号,则不会链接到可执行文件中.

如果要查看静态库的重复错误:

呼叫foo()和bar()从您的main().

定义foo()和baz()静态库的第一个模块中.

定义bar()和baz()静态库的第二模块中.

由于两个模块都包含引用的符号main(),因此强制它们与可执行文件链接,从而导致重复的符号错误baz().