添加源文件与链接静态库有何区别？SQLite编译选型咨询

• 符号打包逻辑不同：链接单个目标文件时，链接器会将该文件的所有代码、数据无条件纳入最终二进制；而链接静态库（.a/.lib）时，链接器只会扫描静态库内的目标文件，提取当前项目实际引用到的符号对应的目标文件内容，未被用到的部分会被跳过。
• 编译灵活性与效率：目标文件是单翻译单元编译的结果，只能针对整个文件设置编译参数；静态库由多个独立编译的目标文件归档而成，可针对不同模块设置专属编译选项，还能并行编译多个模块大幅缩短编译时间。
• 复用成本：静态库可直接被多个项目复用，无需重复编译原代码；单个目标文件虽也能复用，但原代码修改后需重新编译整个文件，维护成本更高。

直接作为编译单元编译 #

• 优势：编译器能一次性看到整个SQLite的代码，可执行全局级优化（比如跨函数内联、全局死代码消除、数据结构布局优化），理论上能生成性能更优的二进制。
• 劣势：单次编译时间极长，哪怕只修改一行代码，都得重新编译30万行的整个文件；无法拆分复用，其他项目使用时必须重新编译。

编译为静态库 #

如果要走静态库路线，建议先把SQLite拆分为多个逻辑独立的翻译单元（SQLite官方也提供了多文件版本的源码），再分别编译成目标文件归档为静态库：

• 优势：可并行编译多个模块，编译速度大幅提升；修改部分代码时仅需重新编译对应的模块；静态库可被多个项目直接链接复用。
• 劣势：如果不开启链接时优化（LTO），编译器无法跨模块做全局优化，可能导致二进制性能略低于单编译单元版本。

你观察到的大小差异大概率和优化配置直接相关：

• 当使用-ffunction-sections -fdata-sections配合链接参数-Wl,--gc-sections时，链接器会自动剔除未被引用的函数/数据段：
  • 单编译单元模式下，每个函数/数据都会被放在独立段中，链接器能精准删除未用到的部分；
  • 静态库模式下，如果是单目标文件归档的静态库，效果和单编译单元一致；但如果是多目标文件的静态库，链接器只能对整个目标文件做取舍（除非每个目标文件仅包含单个函数），未用到的目标文件会被跳过，但目标文件内部未用到的函数无法单独剔除（除非同样开启段拆分参数）。
• 另外，编译优化级别（-O0/-O2/-O3）、是否启用LTO（-flto）、是否保留调试信息（-g）等，也会显著影响最终二进制的大小。开启LTO后，无论单编译单元还是静态库，编译器都能在链接阶段做全局优化，两者的大小差异会明显缩小。

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