libgcc与ld中C++符号可见性问题：为何仍需版本脚本？

核心原因分析 #

• libgcc的未受控符号：当用-fvisibility=hidden编译时，libgcc提供的底层辅助函数（比如C++异常处理的__gxx_personality_v0、浮点运算相关函数）会被默认导出。这些符号不属于你的代码范畴，无法通过可见性注解控制，会导致库的符号表中出现多余的未预期条目。
• ld链接器的规则限制：即便给所有自定义符号加了可见性注解，ld在处理特殊符号（比如全局构造/析构函数入口、弱符号）时，可能无法严格遵循-fvisibility=hidden的规则，仍会将它们导出，破坏你对库接口的严格裁剪。

简单示例演示 #

假设我们有一段C++库代码test_lib.cpp：

#define EXPORT __attribute__((visibility("default")))

// 对外导出的函数
EXPORT void public_func() {}

// 内部私有函数
void private_func() {}

// 对外导出的类
class EXPORT PublicClass {
public:
    void do_something() {}
};

// 内部私有类
class PrivateClass {
public:
    void do_private() {}
};

用以下命令编译：

g++ -fvisibility=hidden -shared -fPIC test_lib.cpp -o libtest.so

此时执行nm -D libtest.so | grep -v "U "查看导出符号，会发现除了我们标记为EXPORT的public_func和PublicClass相关符号外，还会出现来自libgcc的__gxx_personality_v0等符号，甚至可能包含全局构造函数的相关符号。

如果添加版本脚本version.script：

{
    global:
        public_func;
        PublicClass*;
    local:
        *;
};

重新编译链接：

g++ -fvisibility=hidden -shared -fPIC test_lib.cpp -Wl,--version-script=version.script -o libtest.so

再用nm -D查看，就只会保留我们在版本脚本中明确声明的全局符号，彻底剔除所有多余的导出项。

版本脚本的优先级高于可见性注解，能强制覆盖链接器和libgcc带来的未预期符号导出问题，确保库的接口完全符合预期。

内容的提问来源于stack exchange，提问作者Home of the Brave