部分链接是指当多个目标文件链接成一个可执行文件时,只有会被使用的符号才会被链接进最终的可执行文件中,而其他的符号会被丢弃。这种链接方式可能会导致所有符号都变成非全局。
举个例子,假设有两个源文件a.c和b.c,分别实现了两个函数func1和func2,其中func1调用了func2。编译这两个文件时,分别生成目标文件a.o和b.o。当部分链接这两个目标文件时,只会将被调用的函数func2链接进最终的可执行文件中,而函数func1则不会被链接进去。这就导致了func1变成了一个不可用的非全局符号。
解决这个问题的方法通常是使用链接器的--export-dynamic选项。这个选项可以让所有符号都变成可用的全局符号,从而解决符号丢失的问题。示例如下:
// a.c
#include
void func1();
void func2() {
printf("Hello from func2 in a.c\n");
func1();
}
// b.c
#include
void func1() {
printf("Hello from func1 in b.c\n");
}
// main.c
int main() {
void (*func)() = (void (*)())dlsym(RTLD_DEFAULT, "func2");
if (func)
(*func)();
return 0;
}
编译命令为:
$ gcc -fPIC -c a.c
$ gcc -fPIC -c b.c
$ gcc -shared -o libab.so a.o b.o
$ gcc -o main main.c -ldl -rdynamic
这里使用了动态链接库来演示部分链接时符号丢失的问题。使用链接器的--export-dynamic选项可以解决这个问题。rdynamic
方法就是将在程序中使用的所有符号导出到符号表中。这样,即使符号原本是非全局的,在链接时也会被加入到符号表中,从而避免了符号丢失的问题。