如何在构建后从C++动态库中保留指定符号并移除其余符号？

问题背景 #

我正在构建一个C++动态库，它导出了若干符号，其中部分是库API对应的公开符号，但也包含大量未在公开头文件中声明的额外符号。为缩小库的二进制接口、避免命名冲突、防止用户意外使用后续版本可能移除的符号，原本可通过version-script明确指定导出符号，示例脚本及链接参数如下：

示例version-script（mylib.ver） #

{
        global:
                extern "C++" {
                /* the public API uses the 'MyLib::' namespace */
                 MyLib::*;
                };
                /* g++ version mangling prefixes for 'typeinfo' */
                _ZTI*; _ZTF*; _ZTS*;
                /* g++ version mangling prefixes for 'vtable' */
                 _ZTT*; _ZTV*;
        local:
                *;
};

链接阶段参数 #

-fvisibility=hidden -Wl,--version-script=mylib.ver

但该库附带的测试套件需使用非公开符号以简化测试，构建时移除非公开符号会导致测试无法运行。我不想仅用公开符号编写测试（会复杂化测试），也不想用替代库测试（希望测试实际库），因此希望在构建后（如make install阶段）再移除非公开符号。但version-script是链接器特性，strip工具的-N flag无法实现需求，需要找到构建后从C动态库中保留指定符号（支持C符号混淆与通配符）并移除其余符号的方法。

可行解决方案 #

方案1：分两次构建（测试版 + 发布版） #

这是最直接且可靠的方式，很多项目都采用该模式：

• 测试构建：不添加version-script和-fvisibility=hidden参数，保留所有导出符号，供测试套件使用。
• 发布构建：使用version-script和-fvisibility=hidden参数生成仅含公开符号的库，用于最终发布或安装。

优势：测试用库完全保留原始符号，测试逻辑无需修改；发布版严格控制导出接口，避免符号泄露。

方案2：使用strip工具的符号保留功能 #

GNU strip支持通过-K（或--keep-symbol）选项指定要保留的符号，且支持通配符匹配，正好满足C++ mangled符号的过滤需求。

执行命令示例：

# 保留指定符号，移除其余非必要导出符号
strip --strip-unneeded -K 'MyLib::*' -K '_ZTI*' -K '_ZTF*' -K '_ZTS*' -K '_ZTT*' -K '_ZTV*' libmylib.so

• --strip-unneeded：移除动态链接不需要的符号（仅保留必要的导出符号和内部依赖符号）
• -K：重复指定需要保留的符号模式，覆盖公开API命名空间、typeinfo和vtable相关的mangled符号

注意：shell中需用单引号包裹符号模式，避免::或*被shell解析。

方案3：使用objcopy结合符号列表文件 #

如果strip的通配符匹配不符合需求，可通过nm提取符号列表，再用objcopy精准保留指定符号：

1. 提取需要保留的符号列表：

# 从动态库中提取已定义的导出符号，过滤出目标符号并保存到文件
nm -D --defined-only libmylib.so | grep -E '(MyLib::|_ZTI|_ZTF|_ZTS|_ZTT|_ZTV)' | awk '{print $3}' > keep_syms.txt

• nm -D --defined-only：仅显示动态库中已定义的导出符号
• grep：过滤出需要保留的符号模式
• awk：提取纯符号名（去掉nm输出中的类型标记如T、D）

2. 使用objcopy保留列表中的符号：

objcopy --keep-symbols=keep_syms.txt libmylib.so libmylib_stripped.so

该命令会生成一个新的动态库libmylib_stripped.so，仅包含keep_syms.txt中列出的符号。

注意事项 #

• 测试时务必使用未裁剪的原始库，避免因符号缺失导致测试失败；安装阶段再对库进行符号裁剪。
• 对于C++的mangled符号，需确保过滤模式覆盖所有必要的关联符号（如vtable、typeinfo），否则库可能无法正常加载。

内容的提问来源于stack exchange，提问作者umläute