为什么库的链接顺序有时会导致GCC中的错误?
为什么库的链接顺序有时会导致GCC中的错误?我已经看到了很多,我们的一些模块链接了超过100个库的代码加上系统和第三方库 根据不同的链接器HP/Intel/GCC/SUN/SGI/IBM/etc,您可以获得未解析的函数/变量等,在某些平台上,您必须列出两次库 在大多数情况下,我们使用库、核心、平台和不同抽象层的结构化层次结构,但对于某些系统,您仍然需要处理link命令中的顺序 一旦你找到了一个解决方案文档,那么下一个开发人员就不必再把它写出来了为什么库的链接顺序有时会导致GCC中的错误?,gcc,linker,Gcc,Linker,为什么库的链接顺序有时会导致GCC中的错误?我已经看到了很多,我们的一些模块链接了超过100个库的代码加上系统和第三方库 根据不同的链接器HP/Intel/GCC/SUN/SGI/IBM/etc,您可以获得未解析的函数/变量等,在某些平台上,您必须列出两次库 在大多数情况下,我们使用库、核心、平台和不同抽象层的结构化层次结构,但对于某些系统,您仍然需要处理link命令中的顺序 一旦你找到了一个解决方案文档,那么下一个开发人员就不必再把它写出来了 我的老讲师曾经说过,“高内聚低耦合”,这一说法今天
我的老讲师曾经说过,“高内聚低耦合”,这一说法今天仍然成立。GNU ld链接器是一种所谓的智能链接器。它将跟踪前面的静态库所使用的函数,从其查找表中永久丢弃那些未使用的函数。结果是,如果过早链接静态库,则该库中的函数将不再可用于链接行中的静态库 典型的UNIX链接器从左到右工作,因此将所有依赖库放在左侧,满足这些依赖关系的库放在链接行的右侧。您可能会发现一些库依赖于其他库,而同时其他库依赖于它们。这就是问题变得复杂的地方。当涉及到循环引用时,请修复您的代码 (请参阅此答案的历史记录以获得更详细的文本,但我现在认为读者更容易看到真正的命令行)
以下所有命令共享的公共文件
$ cat a.cpp
extern int a;
int main() {
return a;
}
$ cat b.cpp
extern int b;
int a = b;
$ cat d.cpp
int b;
链接到静态库
链接器从左到右搜索,并在搜索过程中记录未解析的符号。如果库解析符号,它将使用该库的对象文件来解析符号(在本例中是libb.a中的b.o)
静态库之间的依赖关系是一样的——首先需要符号的库,然后是解析符号的库
如果一个静态库依赖于另一个库,而另一个库又依赖于前一个库,则存在一个循环。您可以通过使用-(
和-)
封装循环依赖库来解决此问题,例如-(-la-lb-)
(您可能需要转义参数,例如-\(
和-\)
)。链接器然后多次搜索这些封闭的库,以确保循环依赖关系得到解决。或者,您可以多次指定库,使每个库都位于另一个库之前:-la-lb-la
链接到动态库
这里也是一样-库必须遵循程序的目标文件。与静态库相比,这里的区别在于,您不必关心库之间的依赖关系,因为动态库会自行排序它们的依赖关系
最近的一些发行版显然默认使用--as needed
链接器标志,该标志强制程序的目标文件位于动态库之前。如果传递了该标志,链接器将不会链接到可执行文件实际不需要的库(并且从左到右检测)。我最近的archlinux发行版默认情况下不使用此标志,因此它没有因为没有遵循正确的顺序而给出错误
在创建前者时,忽略b.so
对d.so
的依赖关系是不正确的。当链接a
时,您需要指定库,但是a
实际上并不需要整数b
本身,因此不应该考虑b
自身的依赖关系
下面是一个示例,说明了如果没有指定libb.so的依赖项,可能会产生的影响
$ export LD_LIBRARY_PATH=. # not needed if libs go to /usr/lib etc
$ g++ -fpic -shared d.cpp -o libd.so
$ g++ -fpic -shared b.cpp -o libb.so # wrong (but links)
$ g++ -L. -lb a.cpp # wrong, as above
$ g++ -Wl,--as-needed -L. -lb a.cpp # wrong, as above
$ g++ a.cpp -L. -lb # wrong, missing libd.so
$ g++ a.cpp -L. -ld -lb # wrong order (works on some distributions)
$ g++ -Wl,--as-needed a.cpp -L. -ld -lb # wrong order (like static libs)
$ g++ -Wl,--as-needed a.cpp -L. -lb -ld # "right"
如果您现在查看二进制文件的依赖关系,您会注意到二进制文件本身也依赖于libd
,而不仅仅是libb
。如果libb
以后依赖于另一个库,则需要重新链接二进制文件,如果您这样做的话。如果其他人在运行时使用dlopen
加载libb
(考虑动态加载插件),调用也会失败。因此,“正确的”
也应该是错误的。链接顺序当然很重要,至少在某些平台上是如此。我看到过以错误顺序链接库的应用程序崩溃(其中错误意味着A在B之前链接,但B取决于A)。下面的示例说明了当涉及到静态库时,GCC是如何工作的。因此,让我们假设我们有以下场景:
myprog.o
-包含main()
函数,依赖于libmysqlclient
libmysqlclient
-出于示例的考虑,是静态的(当然,您更喜欢共享库,因为libmysqlclient
很大);在/usr/local/lib
中;并且依赖于libz
libz
(动态)
我们如何将其联系起来?(注:使用gcc 4.3.4在Cygwin上编译的示例)
您可以使用-Xlinker选项
g++ -o foobar -Xlinker -start-group -Xlinker libA.a -Xlinker libB.a -Xlinker libC.a -Xlinker -end-group
几乎等于
g++ -o foobar -Xlinker -start-group -Xlinker libC.a -Xlinker libB.a -Xlinker libA.a -Xlinker -end-group
小心强>
团队中的顺序很重要!
下面是一个示例:调试库有一个调试例程,但非调试
该库具有相同的弱版本。您必须将调试库
组中的第一个,否则您将解析为非调试版本
您需要在组列表中的每个库前面加上-Xlinker
一个让我大吃一惊的提示:如果您以“gcc”或“g++”的形式调用链接器,那么使用“-start group”和“-end group”将不会传递这些选项
gcc -L/usr/local/lib -lmysqlclient myprog.o
# undefined reference to `_mysql_init'
# myprog depends on libmysqlclient
# so myprog has to come earlier on the command line
gcc myprog.o -L/usr/local/lib -lmysqlclient
# undefined reference to `_uncompress'
# we have to link with libz, too
gcc myprog.o -lz -L/usr/local/lib -lmysqlclient
# undefined reference to `_uncompress'
# libz is needed by libmysqlclient
# so it has to appear *after* it on the command line
gcc myprog.o -L/usr/local/lib -lmysqlclient -lz
# this works
g++ -o foobar -Xlinker -start-group -Xlinker libA.a -Xlinker libB.a -Xlinker libC.a -Xlinker -end-group
g++ -o foobar -Xlinker -start-group -Xlinker libC.a -Xlinker libB.a -Xlinker libA.a -Xlinker -end-group
gcc prog.o libA.a libB.a libA.a libB.a -o prog.x
QMAKE_LFLAGS += -Wl,--start-group