静态库实战：用 ar 和 gcc 搞定静态链接

说实话，静态库是每个 C/C++ 程序员最早接触的库形式。我记得刚入行时，以为把 .o 文件扔给链接器就完事了，结果被 ar 这个工具好好教育了一顿。今天咱们就把它彻底搞明白。

什么是静态库？

静态库，说白了就是一个 .o 文件的集合包。你想想看，一个项目可能有几十个 .c 文件，每个编译成 .o 文件。如果每次链接都要手动列出所有 .o，那不得疯掉？

ar 工具就是干这个的——把一堆 .o 打包成一个 .a 文件。链接时，链接器从 .a 里挑出需要的 .o，复制到最终的可执行文件中。这就是「静态链接」的本质。

实战：从零构建一个静态库

咱们用一个简单的数学工具库来演示。假设我有两个函数：一个算加法，一个算阶乘。

先看文件结构：

mylib/
├── add.c
├── add.h
├── factorial.c
├── factorial.h
└── main.c

add.h 的内容：

#ifndef ADD_H
#define ADD_H

int add(int a, int b);

#endif

add.c 的实现：

#include "add.h"

int add(int a, int b) {
    return a + b;
}

factorial.h：

#ifndef FACTORIAL_H
#define FACTORIAL_H

unsigned long long factorial(int n);

#endif

factorial.c：

#include "factorial.h"

unsigned long long factorial(int n) {
    if (n <= 1) return 1;
    return n * factorial(n - 1);
}

main.c 调用它们：

#include <stdio.h>
#include "add.h"
#include "factorial.h"

int main() {
    printf("3 + 5 = %d\n", add(3, 5));
    printf("5! = %llu\n", factorial(5));
    return 0;
}

编译与打包的完整流程

第一步，把每个 .c 编译成 .o 文件：

gcc -c add.c -o add.o
gcc -c factorial.c -o factorial.o
gcc -c main.c -o main.o

第二步，用 ar 打包成静态库：

ar rcs libmath.a add.o factorial.o

这里 rcs 三个参数什么意思？

• r：替换库中已有的同名模块，没有就追加
• c：创建库，如果库不存在就新建
• s：生成索引表，加快链接速度

第三步，链接生成可执行文件：

gcc main.o -L. -lmath -o myapp

这里 -L. 告诉链接器在当前目录找库，-lmath 表示链接 libmath.a。注意命名规则：lib 前缀 + 库名 + .a 后缀。

验证一下成果

运行 myapp：

$ ./myapp
3 + 5 = 8
5! = 120

用 file 命令看看：

$ file myapp
myapp: ELF 64-bit LSB executable, x86-64, dynamically linked ...

嗯，这里显示 dynamically linked 别慌。它说的是动态链接了 C 运行时库，咱们自己的 libmath.a 已经被静态链接进去了。

查看静态库的内容

ar 提供了几个查看命令，我经常用：

# 列出库中的目标文件
ar t libmath.a

# 显示详细信息
ar tv libmath.a

输出示例：

$ ar t libmath.a
add.o
factorial.o

你还可以用 nm 查看符号表：

$ nm libmath.a

add.o:
0000000000000000 T add

factorial.o:
0000000000000000 T factorial

T 表示这些符号是全局的、已定义的函数。如果看到 U 表示未定义，说明这个 .o 依赖外部符号。

避坑指南

静态库的优缺点

优点	缺点
部署简单，一个 exe 搞定	可执行文件体积大
不依赖外部环境	库更新需要重新编译整个程序
加载速度快，没有运行时查找开销	多个程序用同一个库，内存中有多份拷贝
符号冲突风险低	编译时间更长

用 SVG 画一张流程图

下面这张图展示了从源码到可执行文件的完整链路：

总结一下

静态库的创建和链接，说白了就是三步走：编译 .c 到 .o，ar 打包成 .a，gcc 链接生成可执行文件。每一步都有它的讲究，尤其是链接顺序这个坑，我见过太多人栽在上面。

我个人建议，刚开始接触时，先用小项目练手。把每个步骤拆开做，看清楚中间产物长什么样。等你熟悉了，再考虑用 Makefile 自动化。

嗯，静态库就聊到这儿。下一章咱们会聊动态库，那又是另一番天地了。