Linux GCC链接目标文件与静态库时未定义引用错误的差异

问题场景 #

现有两段C语言代码：

test.c #

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

void lib2();

void lib1(){
    lib2();
    return 0;
}

main.c #

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

int main() {
    return 0;
}

执行以下操作：

1. 生成目标文件：

gcc -c main.c
gcc -c test.c

查看生成的目标文件：

$ ls *.o
main.o  test.o

2. 将test.o打包为静态库：

ar rcs test.a test.o

3. 分别尝试链接：
   • 链接main.o与test.o时，出现未定义引用错误：

$ gcc -o main main.o test.o
/usr/bin/ld: test.o: in function `lib1':
test.c:(.text+0xe): undefined reference to `lib2'
collect2: error: ld returned 1 exit status

• 链接main.o与test.a时，编译成功无报错：

$ gcc -o main main.o test.a
$ 

疑问：为何会出现这种差异？如何让链接静态库时也触发未定义引用错误？

原因分析 #

链接器对单个目标文件和静态库的处理逻辑完全不同：

• 链接单个目标文件（如test.o）时，链接器会将目标文件中的所有代码和符号全部纳入最终的可执行文件，不管这些符号是否被其他代码引用。因此test.o中调用了未定义的lib2，链接器会直接报错。
• 链接静态库（如test.a）时，链接器采用按需提取的策略：它只会从静态库中提取那些当前未定义的符号对应的目标文件。在这个场景中，main.c的代码没有调用lib1，所以链接器认为test.a中的test.o是无用的，不会将其纳入链接过程，自然也就不会检查test.o内部的未定义符号lib2。

解决方法 #

要让链接静态库时触发未定义引用错误，需要强制链接器将静态库中的所有目标文件都纳入链接过程，或者确保静态库中的目标文件被引用，具体有两种方式：

方式1：强制链接静态库的全部内容 #

使用GCC的--whole-archive选项，该选项会告诉链接器将静态库中的所有目标文件都包含进来，而不是按需提取。命令如下：

gcc -o main main.o -Wl,--whole-archive test.a -Wl,--no-whole-archive

其中-Wl,是传递参数给链接器ld，--no-whole-archive用于恢复默认的按需提取行为，避免影响后续其他库的链接。

方式2：在代码中引用静态库中的符号 #

修改main.c，让它调用lib1，这样链接器就会从test.a中提取test.o进行链接，进而检测到lib2的未定义引用：

// 修改后的main.c
#include <stdio.h>

void lib1(); // 声明lib1

int main() {
    lib1(); // 调用lib1
    return 0;
}

此时再执行链接命令：

gcc -o main main.o test.a

就会触发和链接test.o时一样的未定义引用错误。

内容的提问来源于stack exchange，提问作者rumblenimble