GCC环境下混合静态与动态链接的正确配置方法

*nix 平台链接器处理静态库的默认逻辑是按需提取符号：仅链接阶段已被当前链接目标显式引用的.o目标文件才会从.a静态包中解包并入最终产物，未被引用的目标文件会被直接丢弃。
你的场景中foo.a存储的是纯虚接口类，这类类的核心符号（虚表、typeinfo、虚析构默认实现桩、纯虚函数错误触发桩）没有在bar.so链接阶段被标记为需要保留，再叠加动态库默认符号导出规则的限制，就会触发运行时找不到foo类对应符号的错误。

1. 链接bar.so时强制全量打包foo.a内容 #

链接bar.so时，用ld的--whole-archive参数包裹foo.a的链接项，强制将静态库所有目标文件并入bar.so，禁止链接器按需裁剪，参考链接命令：

g++ -shared -fPIC -o bar.so <bar自身所有编译生成的.o文件> \
  -L/path/to/baz -lbaz \
  -Wl,--whole-archive -L/path/to/foo -lfoo -Wl,--no-whole-archive

注意-Wl,--no-whole-archive必须紧跟在-lfoo后添加，避免该参数影响后续系统库、第三方库的链接逻辑——否则会把后续链接的所有静态库全量打包，既会导致二进制体积暴涨，还可能触发符号冲突。

2. 统一编译选项 #

编译foo.a所有源码、bar.so所有源码时，必须统一添加-fPIC参数：静态库要并入动态库的前提是自身目标文件为位置无关代码，否则链接阶段就会报重定位错误，就算侥幸链接通过也会出现运行时内存访问异常。
如果项目开启了符号隐藏（即添加了-fvisibility=hidden编译参数），需要给foo.a中的接口类添加显式导出标记，保证类符号能被bar.so对外导出：

// foo.h 中接口类定义
class __attribute__((visibility("default"))) FooInterface {
public:
  virtual ~FooInterface() = default;
  virtual void DoSomething() = 0;
  // 其余纯虚接口声明
};

3. 上层调用方链接规则 #

上层调用bar.so的可执行文件或其他库，链接时仅需要链接bar.so和baz.so即可，不需要重复链接foo.a：foo的所有符号已经并入bar.so的导出符号表，重复链接foo.a反而可能触发符号重复定义错误，参考链接参数：

g++ -o your_target main.cpp -L/path/to/lib -lbar -lbaz

链接完bar.so后，可以用nm命令检查foo类的符号是否已经存在于bar.so的动态导出表中：

nm -D bar.so | grep FooInterface

如果输出中能看到对应类的虚表（vtable for XXX）、类型信息（typeinfo for XXX）符号，就说明静态库符号已经被正确打包进bar.so，不会再触发运行时找不到符号的错误。

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