21、符号可见性：__attribute__((visibility))，导出与隐藏符号，版本脚本

符号可见性这个话题，说白了就是控制你的动态库里哪些函数能给别人用，哪些得藏起来。我早年做嵌入式Linux开发时，就吃过这个亏——一个库里的内部函数被外部程序意外调用了，结果版本升级时接口一改，客户那边直接崩了。从那以后，我对符号可见性就格外上心。

为什么需要控制符号可见性？

你想想看，一个动态链接库编译出来，默认情况下所有非静态函数都是对外可见的。这意味着什么？意味着你库里的内部工具函数、辅助函数，全暴露给外面了。

这会带来几个问题：

• 命名冲突：你的内部函数名可能跟其他库的函数重名
• ABI不稳定：内部函数一旦被外部依赖，你就没法随便改了
• 性能损失：符号太多，动态链接器加载时要做更多工作
• 安全风险：内部实现细节暴露，容易被恶意利用

__attribute__((visibility)) 的使用

GCC和Clang都支持这个属性。它可以直接加在函数或变量声明上，控制其符号的可见性。

// 导出符号 - 对外可见
__attribute__((visibility("default")))
int public_api(int a, int b) {
    return a + b;
}

// 隐藏符号 - 对外不可见
__attribute__((visibility("hidden")))
int internal_helper(int a, int b) {
    // 内部实现细节
    return a * b + 42;
}

我个人习惯在头文件里用宏来封装一下，这样代码更干净：

#if defined(_WIN32) || defined(_WIN64)
  #define EXPORT __declspec(dllexport)
  #define HIDDEN
#else
  #define EXPORT __attribute__((visibility("default")))
  #define HIDDEN __attribute__((visibility("hidden")))
#endif

EXPORT int public_api(int a, int b);
HIDDEN int internal_helper(int a, int b);

嗯，这里要注意：visibility("default") 是默认行为，但前提是你编译时没有加 -fvisibility=hidden 选项。如果加了，那所有符号默认都是隐藏的，只有显式标记 default 的才会导出。

编译选项 -fvisibility=hidden

这个选项我强烈建议你在构建动态库时加上。它的作用是把所有符号的默认可见性设为隐藏，然后你只需要在想要导出的接口上显式标记 default 即可。

为什么推荐这么做？

• 你永远不会忘记隐藏某个内部函数——因为默认就是隐藏的
• 导出的符号是经过你深思熟虑的，不是碰巧暴露的
• 生成的动态库更小，加载更快

版本脚本（Version Script）

版本脚本是Linux下控制符号导出的另一种方式，比 __attribute__ 更灵活、更强大。它用一个文本文件来定义哪些符号应该导出，以及符号的版本信息。

先看一个简单的版本脚本：

// libfoo.ver
{
    global:
        public_api;
        public_func;
    local:
        *;
};

这个脚本的意思是：只导出 public_api 和 public_func 这两个符号，其他所有符号都隐藏。编译时这样用：

gcc -shared -fPIC -Wl,--version-script=libfoo.ver -o libfoo.so foo.c

版本脚本还能做更高级的事情——给符号打版本标签：

// libfoo.ver
VER_1.0 {
    global:
        public_api;
        public_func;
    local:
        *;
};

VER_2.0 {
    global:
        public_api;
        new_func;
} VER_1.0;

这里 VER_2.0 继承了 VER_1.0 的符号，并新增了 new_func。这样做的意义在于：

• 同一个动态库可以同时支持多个版本的接口
• 老程序链接到新库时，仍然能解析到旧版本的符号
• 新程序可以使用新版本的接口

三种方式的对比

方式	粒度	灵活性	可维护性	适用场景
__attribute__((visibility))	函数/变量级	中等	高（代码中直接标注）	小型库，接口稳定
-fvisibility=hidden	编译单元级	低（配合属性使用）	高	推荐默认使用
版本脚本	符号级，支持版本	高	中等（需单独维护文件）	大型库，需要版本兼容

实际项目中的最佳实践

我在几个大型项目中总结出来的经验，分享给你：

1. 默认隐藏，显式导出：编译时加 -fvisibility=hidden，只在头文件中用宏标记导出接口
2. 版本脚本用于长期维护：如果你的库会被多个项目依赖，并且需要向后兼容，一定要用版本脚本
3. 定期检查导出符号：用 nm -D libfoo.so | grep " T " 或 readelf -s libfoo.so 查看导出的符号，确保没有意外暴露
4. Windows和Linux统一处理：用宏封装 __declspec(dllexport) 和 __attribute__((visibility))，一套头文件跨平台

好了，关于符号可见性就聊这么多。记住一句话：隐藏是默认，导出是例外。把这个原则刻在脑子里，你写的动态库会稳定很多。