符号可见性（Symbol Visibility）描述函数或全局变量是否能被当前二进制模块外部观察、引用、导出或重写；它直接影响链接器解析、动态链接 ABI，以及 LTO（链接时优化） 能否安全删除或内部化代码。
核心问题
优化器想删除或改写一个函数时，必须先回答一个问题：这个符号会不会被外部世界用到？
外部世界包括：
- 其他目标文件或动态库。
- 动态链接器和导出符号表。
- 插件系统、
dlsym/GetProcAddress。 - C ABI 暴露的公共接口。
- 汇编代码、链接脚本或运行时反射机制。
如果一个符号可能被外部观察，优化器就不能随便删除、改名或改变调用约定。符号可见性就是表达这个边界的机制之一。
核心对象
| 对象 | 作用 |
|---|---|
| local symbol | 只在当前目标文件或链接单元内部可见。 |
| global/default symbol | 可被其他对象或动态链接器引用，通常更保守。 |
| hidden symbol | 不导出到动态符号表，外部模块不能按普通动态链接方式引用。 |
| weak symbol | 可被强定义覆盖，常用于默认实现或可选钩子。 |
| export map / version script | 显式控制动态库导出哪些符号。 |
| internalization | LTO 中把原本外部可见符号降级为内部符号，以便优化。 |
核心机制
对 LTO 来说，符号可见性可以转化成一个“可保留根集合”问题：
R = exported_symbols union externally_referenced_symbols union entry_points
Live = reachability(call_graph, R)这里 R 是必须保留的符号集合，Live 是从这些符号出发能到达的函数和全局变量。若一个函数不在 Live 中，并且没有其他必须保留的副作用，优化器才可以删除它。若一个符号被标记为 hidden，或者没有出现在动态库导出表中，优化器通常可以做更激进的内部化、内联和死代码删除。
常见 C/C++ 控制方式：
// ELF/GCC/Clang 常见写法
__attribute__((visibility("default"))) int public_api(void);
__attribute__((visibility("hidden"))) int internal_helper(void);
// Windows 常见写法
__declspec(dllexport) int public_api(void);
__declspec(dllimport) int public_api(void);工程用途
明确符号可见性有三类收益：
- ABI 收敛：动态库只导出真正承诺给外部使用的 API。
- 性能优化：隐藏内部符号后，编译器和链接器能减少 PLT/GOT 间接访问、做更多内联和删除。
- 安全与维护：减少意外可调用入口，降低符号冲突和内部实现被依赖的风险。
在大型 C/C++ 项目中，常见策略是默认隐藏全部符号，只用宏显式导出公共 API。
边界与常见坑
- 符号可见性不等于语言作用域。C++ 的
private成员是语言访问控制；ELF visibility 是二进制链接属性。 static/ 匿名 namespace / hidden visibility 不是完全同一件事。前者影响语言链接性和目标文件符号，后者主要控制动态链接可见性。- 错误隐藏公共 API 会导致运行时加载失败、插件找不到入口或外部程序无法链接。
- 过度导出符号会削弱 LTO（链接时优化） 和 IPO（过程间优化），因为优化器必须假设外部可能调用这些符号。
- Windows PE/COFF 和 Unix ELF 的导出模型不同，跨平台库要用平台宏统一表达。
dlsym、反射式注册、手写汇编和 linker script 可能绕过普通源码引用，必须用导出表或保留列表显式告诉工具链。
相关术语
- LTO（链接时优化）
- IPO（过程间优化）
- 链接器
- 目标文件
- ABI