一、链接过程深度解析
链接器（Linker）将编译后的目标文件（.o/.obj）合并为可执行文件或动态库。这个阶段发生的优化（链接时优化/LTO）和问题（符号解析、重定位）直接影响最终二进制的大小和性能。
1.1 链接的四个阶段
# 链接的四个阶段：
#
# ① 符号解析（Symbol Resolution）
# 所有未定义符号 → 找到定义所在的.o文件
# 链接错误：undefined reference to 'xxx'
#
# ② 重定位（Relocation）
# 合并各.o的section（.text/.data/.bss）
# 修正符号引用地址（相对/绝对地址）
#
# ③ 段合并（Section Merging）
# 将相同属性的section合并（.text只读 + .data读写）
#
# ④ 地址分配（Address Assignment）
# 为每个符号分配最终运行时地址
# 查看符号表：
$ nm -C a.out | head -30
$ objdump -t a.out | head -30
# 查看符号类型：
# T/t: 文本（代码）段中的定义/全局符号
# D/d: 已初始化数据段
# B/b: 未初始化数据段（BSS）
# U: 未定义符号（引用）
# W/w: 弱符号（可被其他覆盖）
# V: 弱对象
# 链接错误分析：
# undefined reference to vtable：
# → 虚函数只有声明没有定义
# undefined reference to 'xxx'：
# → 静态成员只有声明没有定义
# duplicate symbol：
# → 多文件定义了同名全局变量二、二进制体积优化的关键技术
2.1 Strip与符号表裁剪
# 符号表的作用：
# ① 调试：gdb/lldb通过符号表找到函数名/变量名
# ② 动态链接：运行时符号解析（dlsym）
# ③ 崩溃分析：minidump/core文件解析
# 裁剪策略（按场景）：
#
# ① 开发/测试构建：保留全部符号
# CMAKE_BUILD_TYPE=Debug
# → 二进制带完整DWARF调试信息
# → 可用gdb/lldb单步调试
#
# ② 发布构建：strip + 单独debug文件
# $ strip -g a.out # 去除调试符号
# $ objcopy --only-keep-debug a.out a.out.debug # 提取调试符号
# $ objcopy --add-gnu-debuglink=a.out.debug a.out # 关联debug文件
# → 用户崩溃时上传core + debug文件即可分析
#
# ③ 生产构建（极致体积优化）：
# $ strip --strip-all a.out # 去除所有符号
# $ strip --strip-unneeded a.out # 去除非必要符号（保留动态链接信息）
# → 体积减少 10-30%
# CMake中的strip配置：
set(CMAKE_EXE_LINKER_FLAGS "-s") # 直接strip
# 或：
install(CODE "execute_process(COMMAND strip ${CMAKE_INSTALL_PREFIX}/bin/${PROJECT_NAME})")2.2 Section级别优化
# 查看二进制的section：
$ readelf -S a.out
$ objdump -h a.out
# 输出示例：
# Idx Name Size VMA LMA
# 0 .text 00123456 0000000000401000 0000000000401000
# 1 .rodata 00012340 0000000000523000 0000000000523000
# 2 .data 00005670 0000000000600000 0000000000600000
# 3 .bss 00001000 0000000000605670 0000000000605670
# 4 .comment 0000002b 0000000000000000 0000000000000000
# 去除非必要section：
$ objcopy --strip-unneeded a.out
$ objcopy -R .comment -R .note -R .debug_info a.out
# .rodata（只读数据）优化：
# 常量字符串、const数组、虚表指针
# ⚠️ 不要把运行时需要修改的变量放进.rodata
# .bss优化：
# 未初始化全局变量 → 节省磁盘空间（不占用文件体积）
# int big_array[1000000]; // → .bss，文件不占空间
# int array[1000] = {1}; // → .data，必须存储初始值
# 合并小section（链接器选项）：
# ld -O1: 优化section合并（默认）
# ld --gc-sections: 去除未引用section（Dead Code Elimination）
# ld --as-needed: 只链接实际使用的动态库
# ld --no-as-needed: 不推荐使用
# CMake配置：
add_link_options(
"-Wl,--gc-sections"
"-Wl,--as-needed"
"-Wl,--icf=all" # Identical Code Folding（折叠相同代码）
)三、静态库与动态库的链接策略
# 链接器参数影响：
# -static: 静态链接（禁用动态库，体积最大）
# -shared: 生成动态库
# 默认: 动态链接
# 动态链接体积对比（示例）：
# 静态链接: ~50MB
# 动态链接: ~5MB（链接到系统libc.so等）
# 混合: ~8MB（静态链接业务代码，动态链接第三方）
# --gc-sections工作原理：
# ① 链接器构建完整的对象引用图
# ② 标记所有被引用的section
# ③ 删除未被引用的section（包括代码和数据）
# 虚函数内联问题：
class Base {
virtual void foo(); // 无定义 → 不内联
};
// ⚠️ 如果.h中的inline函数未被使用，gc-sections可删除
# -ffunction-sections -fdata-sections（每个函数/变量独立section）
# 让gc-sections更精确地工作
add_compile_options(
"-ffunction-sections"
"-fdata-sections"
)
add_link_options("-Wl,--gc-sections")
# 实际效果：
# 无gc-sections: 二进制包含所有目标文件的全部section
# 有gc-sections: 只保留被引用的代码
# → 减少 5-30% 体积（取决于无用代码比例）四、生产环境二进制优化清单
# 生产级优化选项组合（Release构建）：
set(CMAKE_CXX_FLAGS_RELEASE
"-O3 -DNDEBUG -ffunction-sections -fdata-sections"
)
set(CMAKE_EXE_LINKER_FLAGS_RELEASE
"-Wl,--gc-sections -Wl,--as-needed -Wl,--icf=safe"
)
# 实际测试（一个100万行C++项目）：
# 原始Release: 45.2MB
# -ffunction-sections + gc-sections: 38.1MB (-16%)
# + strip --strip-all: 36.8MB (-19%)
# + -O3（非默认-O2）: 35.4MB (-22%)
# + LTO: 33.1MB (-27%)
# 动态库版本管理：
# SONAME机制（Linux）：
# 编译时：-Wl,-soname,libfoo.so.1
# 链接产物：libfoo.so.1.2.3
# 运行时搜索：libfoo.so.1
# Android .so优化（APK体积控制）：
# 每个CPU架构单独生成.so（armeabi-v7a/arm64-v8a/x86/x86_64）
# APK中包含的ABI越多 → 体积越大
# 建议：只包含arm64-v8a（或按需增加）
# 使用LLD（LLVM链接器）替代传统LD：
# lld-link: 比传统LD快2-5倍（特别是LTO链接）
set(CMAKE_EXE_LINKER_LDFLAGS "-fuse-ld=lld")