动态链接库基础：共享库的编译与链接、位置无关代码、符号可见性控制

各位同学，今天我们来聊聊动态链接库。说实话，这是插件化架构的基石。没有它，你写的插件就只能跟主程序硬生生编译在一起，那还谈什么动态加载？

我在早期做嵌入式项目时，曾经把整个系统编译成一个巨大的静态链接文件。每次修改一个模块，都要重新编译全部代码，链接时间长达十几分钟。后来我切换到动态库方案，编译时间从十几分钟降到了几十秒。嗯，那种感觉，就像卸下了千斤重担。

1. 共享库的编译与链接

先看一个最简单的例子。假设我们有一个计算模块，要编译成共享库。

源文件 calc.c：

// calc.c
int add(int a, int b) {
    return a + b;
}

int sub(int a, int b) {
    return a - b;
}

在 Linux 下编译成共享库（.so）：

gcc -fPIC -shared -o libcalc.so calc.c

在 Windows 下编译成动态链接库（.dll）：

cl /LD calc.c /Fe:calc.dll

这里有几个关键点：

• -fPIC：生成位置无关代码，后面会细讲
• -shared：告诉编译器生成共享库
• -o libcalc.so：指定输出文件名，Linux 下习惯以 lib 开头

2. 位置无关代码（PIC）

为什么要用 -fPIC？说白了，就是让代码能在内存的任何位置运行。

你想想看，动态库是在运行时才加载的。加载器把它放到哪个地址，事先根本不知道。如果代码里写死了绝对地址，那加载到不同位置就崩了。

PIC 的实现原理，核心是「相对寻址」。代码里不写绝对地址，而是用当前指令位置加上偏移量来访问数据。这个偏移量在编译时就确定了，跟加载地址无关。

举个例子：

// 非 PIC 代码（绝对地址）
mov eax, [0x4000a0]   // 直接访问固定地址

// PIC 代码（相对地址）
lea rbx, [rip + offset]  // 通过当前指令指针 + 偏移量访问
mov eax, [rbx]

我在项目中遇到过一个问题：某个第三方库编译时忘了加 -fPIC，结果在 64 位系统上加载时直接段错误。查了半天才发现是位置无关的问题。从那以后，我编译共享库时都会检查 Makefile 里有没有 -fPIC。

3. 符号可见性控制

共享库编译出来后，里面的函数和变量默认都是「可见」的。也就是说，其他程序可以调用它们。但有时候，我们只想暴露一部分接口，内部函数不想让外界看到。

为什么要控制符号可见性？

• 封装性：内部实现细节不应该暴露给调用者
• 性能：减少符号表大小，加快链接速度
• 避免冲突：防止不同库的同名函数互相覆盖

在 Linux 下，控制符号可见性有两种方式：

方式一：使用 -fvisibility=hidden

编译时加上这个选项，默认所有符号都隐藏。只有显式标记 __attribute__((visibility("default"))) 的符号才暴露。

// calc.h
__attribute__((visibility("default")))
int add(int a, int b);

// 内部函数，不暴露
int internal_helper(int x) {
    return x * 2;
}

编译命令：

gcc -fPIC -shared -fvisibility=hidden -o libcalc.so calc.c

方式二：使用版本脚本（Version Script）

写一个 calc.map 文件：

{
    global:
        add;
        sub;
    local:
        *;
};

编译时加上：

gcc -fPIC -shared -Wl,--version-script=calc.map -o libcalc.so calc.c

我个人更推荐版本脚本的方式。为什么呢？因为它不需要修改源代码，而且可以控制符号的版本号，方便后续的兼容性管理。

4. 知识体系图

下面这张图展示了本章的核心知识结构：

5. 实战经验总结

最后，分享几个我在实际项目中踩过的坑：

问题	现象	解决方案
忘记加 -fPIC	加载共享库时段错误	编译时加上 -fPIC
符号全部暴露	内部函数被外部调用，导致接口混乱	使用 -fvisibility=hidden 或版本脚本
同名函数冲突	两个库都有 init()，后加载的覆盖了先加载的	给函数加命名空间前缀，如 calc_init()
链接顺序错误	链接时提示未定义符号	被依赖的库放在依赖它的库后面

我曾经在一个大型项目中，因为符号可见性没控制好，导致两个插件库的 log() 函数互相覆盖，日志输出乱成一团。排查了整整两天才找到原因。从那以后，我每个共享库都会用 nm -D 检查一遍导出符号，确保只暴露必要的接口。

好了，动态链接库的基础就讲到这里。记住三个关键词：PIC、可见性、版本脚本。掌握了这些，你就能写出健壮、可维护的共享库了。

---

公众号:蓝海资料掘金营，微信deep3321