如何确定库间依赖关系？

Question

我的项目由几个静态库组成，它们在最后一步中链接在一起。现在我遇到了问题，link order of the library is important（否则我得到一个未定义的符号链接器错误）。有时我会遇到问题，我必须重新排序链接库（-lcommon -lsetup -lcontrol 等）。目前这是一个愚蠢的试验和错误：重新排序、编译、检查错误、重新排序、编译等等。

所以我编写了一个小程序来显示库间依赖关系并生成要链接的库的顺序。它从nm 中读取已定义的（'T'、'B' 等）和未定义的符号（'U'）并删除 weak symbols（'w'、'W'、'v' 和 'V' ) 来自“未定义的符号列表”。现在它为每个未定义符号确定解析它的库。

但是我的程序显示了循环依赖...我的错误是什么？

如果它们真的存在，我根本无法链接...所以在分析 nm 输出时我错过了什么？还是分析 nm 输出不是获取这些依赖项的方法？

libcommon.a:
         U _ZN15HardwareUnit23GetHardwareSerialNumberEv
libhardware.a:
00000484 T _ZN15HardwareUnit23GetHardwareSerialNumberEv
libsecurityaccess.a:
         U _ZN15HardwareUnit23GetHardwareSerialNumberEv
---
libhardware.a:
         U _ZN21ApplicationProfile26GetApplicationSettingsPathERK7QString
libsecurityaccess.a:
00004020 T _ZN21ApplicationProfile26GetApplicationSettingsPathERK7QString
         U _ZN21ApplicationProfile26GetApplicationSettingsPathERK7QString

Answer 1

链接具有循环依赖关系的库的另一个选项是为此使用特殊的链接器选项。男人ld：

   -( archives -)
   --start-group archives --end-group
       The archives should be a list of archive files.  They may be either
       explicit file names, or -l options.

       The specified archives are searched repeatedly until no new
       undefined references are created.  Normally, an archive is searched
       only once in the order that it is specified on the command line.
       If a symbol in that archive is needed to resolve an undefined
       symbol referred to by an object in an archive that appears later on
       the command line, the linker would not be able to resolve that
       reference.  By grouping the archives, they all be searched
       repeatedly until all possible references are resolved.

       Using this option has a significant performance cost.  It is best
       to use it only when there are unavoidable circular references
       between two or more archives.

但消除循环依赖总是更干净。

Answer 2

如果你真的有一个静态库的循环依赖链（这在你的粘贴中并不清楚；你只显示了一个非循环依赖），有两种选择：

1. 以某种方式移除循环依赖；例如，您可以确保 libcommon 不引用 libpthardware 中的符号。
2. 从 .a 库中提取单个 .o 文件，然后直接链接它们。那么链接顺序就不再重要了。

在 2. 的情况下，您可能会发现使用部分链接比创建静态库更有帮助。在使用 GNU bintools 的系统上，这可以通过调用类似的东西来完成：

ld -r -o libfoo.o foo.o bar.o

这样做的效果是将 foo.o 和 bar.o 合并到一个 .o 文件中。顺序无关紧要。然后，您可以在最后的链接步骤中将 libfoo.o 作为普通对象文件简单地引用。

请注意，这样做可能是interfere with the linker's ability to discard unreferenced portions of the static library（我相信，通常这是在 .a 中的 .o 文件级别完成的）。如果您使用所有或大部分这些库，这可能不是问题。但是，如果代码内存是一个问题，您可能需要查看automatically discarding unused code at the function level。如果这样做，请仅在 final 链接阶段传递 --gc-sections 和 -s（如果需要调试，请避免这样做！）。此外，现代 gcc 似乎不需要与系统库进行静态链接。