为何移除未使用函数无法减小静态链接文件体积？

为什么现有优化选项效果有限？ #

静态链接glibc时，即便启用-ffunction-sections、--gc-sections、-flto等选项，仍会有大量冗余代码被保留，核心原因有两点：

1. 标准库依赖链复杂：printf/puts这类函数会间接依赖stdio缓冲机制、locale处理、信号初始化、内存分配等整套基础模块，这些模块间存在隐式调用关系，链接器无法判定它们是“死代码”。
2. 静态库缺乏LTO支持：多数系统的glibc静态库未用LTO编译，编译器无法跨单元分析全局代码依赖，导致-fwhole-program和LTO的优化效果打折扣。

有效优化方案 #

1. 替换为轻量标准库（推荐） #

改用musl libc，它的静态链接版本专为精简设计，死代码消除效率远高于glibc：

gcc -static -Os -flto -s -ffunction-sections -fdata-sections -Wl,--gc-sections main.c -o sl_out_musl

针对示例代码，编译后体积可降至15KB左右，优化效果显著。

2. 手动剥离标准库依赖 #

如果必须使用glibc，可以绕过stdio库，直接调用系统调用减少依赖：
修改main.c：

#include <unistd.h>

int main()
{
    const char msg[] = "Hello World\n";
    write(1, msg, sizeof(msg)-1);
    return 0;
}

编译命令：

gcc -static -Os -flto -s -ffunction-sections -fdata-sections -Wl,--gc-sections main.c -o sl_out_raw

这种方式能彻底切断stdio相关依赖，体积可压缩至20KB以内。

3. 禁用glibc冗余功能 #

添加编译宏关闭不必要的安全加固和调试功能：

gcc -static -Os -flto -s -ffunction-sections -fdata-sections -Wl,--gc-sections -DNDEBUG -D_FORTIFY_SOURCE=0 main.c -o sl_out_slim

注意：该选项会降低程序安全性，仅适合对体积要求极高的场景。

4. 编译后压缩 #

用upx对可执行文件做无损压缩（运行时自动解压）：

upx --best sl_out2

可进一步将体积压缩30%-70%。

验证优化效果 #

使用以下命令检查代码段和符号表，确认冗余代码是否被消除：

# 查看段大小
readelf -S sl_out_slim
# 查看已保留的符号
nm -D sl_out_slim

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