链接器如何生成库?那个图书馆的内容是什么?

确切的细节取决于库的类型(您可以搜索共享库格式)，但基本组件将包括编译后的代码，以及一个符号表，该符号表告诉链接器哪个地址对应于每个名称。注意，这与目标文件非常相似。静态库基本上是目标文件的归档，编译器以类似的方式将它们链接起来。使用动态库，操作系统可以在加载程序时查找这些符号，然后链接这些符号。它们通常不会在每个程序的地址空间中具有相同的绝对地址，因此这些地址将相对于操作系统加载库的位置。

C标准库(Windows上的MSVC运行时)是一个库的例子。

静态库只是对象文件的集合。您可以将它们视为包含所有相关.a文件的tar文件(或者，在Windows上，将其视为包含obj文件的zip文件)。这里不涉及链接器的链接部分(事实上，Unix系统上传统的静态库是用ar实用程序完成的，它在某种程度上与tar相关)。它们在编译时完全解决，它们只是作为一种方法来避免重新构建耗时很长或具有复杂构建过程的东西。

动态库是另一种野兽。它们是完全成熟的可执行文件，可以由其他进程加载，因此需要常规链接器的原因与在普通可执行文件中使用它的原因相同。它们不是只提供一个入口点，而是导出一个完整的符号表，供加载器(或"运行时链接器")使用，以允许宿主程序定位所需的过程。通常，它们还包含重定位信息，以允许在目标地址空间中的任何地址加载(或者出于同样的原因，它们在独立于位置的代码中编译)。