如何通过剥离未使用代码解决C语言未定义引用链接错误？

先看这段C代码：

void undefined_reference(void);

void bad(void) {
    undefined_reference();
}

int main(void) {}

这里bad函数调用了未定义的undefined_reference，但bad全程没被调用——对程序执行来说这个未定义引用根本没影响，但默认编译时还是会触发链接错误：undefined reference to 'undefined_reference'。能不能像JS的tree-shaking那样，把未被调用的bad函数删掉，顺利编译通过？

当然可以，主流C编译器（GCC、Clang）都支持通过优化实现类似的死代码消除，具体分两种情况：

单编译单元（所有代码在一个.c文件） #

直接启用-O系列优化选项就行，比如-O1、-O2、-Os（侧重代码体积）。这些优化级别会自动识别并移除未被调用的函数，编译命令示例：

gcc -O2 test.c -o test
# 或者Clang
clang -O2 test.c -o test

编译后链接器根本不会处理bad函数，自然不会触发未定义引用的错误。你可以用nm test查看生成的可执行文件符号表，会发现bad和undefined_reference都不存在，说明已经被彻底移除了。

多编译单元（函数分散在多个.c文件） #

如果bad函数在单独的文件里（比如bad.c），仅用-O选项可能不够——默认链接器不会跨文件清理未使用的函数。这时候需要配合两个选项：

• -ffunction-sections：让编译器把每个函数单独放到一个链接段里
• -Wl,--gc-sections：告诉链接器清理所有未被引用的段

编译命令示例：

gcc -ffunction-sections -Wl,--gc-sections test.c bad.c -o test

这样哪怕bad在单独文件里，只要没被调用，链接器就会把它整个段删掉，同样不会触发未定义引用错误。

为什么默认编译会报错？ #

默认用-O0（调试模式）编译时，编译器不会做任何死代码消除，会保留所有函数；链接器处理目标文件时，会扫描bad函数的代码，发现它引用了未定义的符号，于是抛出错误。

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