部分链接为什么会导致所有符号非全局？

部分链接是指当多个目标文件链接成一个可执行文件时，只有会被使用的符号才会被链接进最终的可执行文件中，而其他的符号会被丢弃。这种链接方式可能会导致所有符号都变成非全局。

举个例子，假设有两个源文件a.c和b.c，分别实现了两个函数func1和func2，其中func1调用了func2。编译这两个文件时，分别生成目标文件a.o和b.o。当部分链接这两个目标文件时，只会将被调用的函数func2链接进最终的可执行文件中，而函数func1则不会被链接进去。这就导致了func1变成了一个不可用的非全局符号。

解决这个问题的方法通常是使用链接器的--export-dynamic选项。这个选项可以让所有符号都变成可用的全局符号，从而解决符号丢失的问题。示例如下：

// a.c
#include <stdio.h>

void func1();

void func2() {
    printf("Hello from func2 in a.c\n");
    func1();
}

// b.c
#include <stdio.h>

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方法就是将在程序中使用的所有符号导出到符号表中。这样，即使符号原本是非全局的，在链接时也会被加入到符号表中，从而避免了符号丢失的问题。