在C++的世界里，链接和符号可见性是复杂而容易被忽视的领域。当一个程序由多个动态库（共享库）和静态库组成时，符号的可见性、重复、覆盖和冲突可能导致难以诊断的运行时问题。理解这些机制对于构建大型系统、维护ABI稳定性、以及调试链接错误至关重要。
参考：https://xgmoi.cn/category/yinshi.html
符号的本质：在编译后的目标文件（.o或.obj）和库文件中，函数和变量被表示为符号。每个符号有一个名称（经过名称修饰以编码参数类型和命名空间）、一个类型（函数或数据）、以及可见性属性（局部或全局）。链接器的职责是解析符号引用：将每个符号的使用与其定义关联起来。
名称修饰是C++实现函数重载和命名空间的关键技术。编译器将函数名和参数类型编码为一个字符串，例如void foo(int)可能被修饰为_Z3fooi。不同的编译器使用不同的修饰方案，这是不同编译器生成的库不兼容的主要原因之一。C语言函数使用extern "C"可以抑制名称修饰，生成可预测的符号名（如foo），从而实现跨语言的互操作。
静态库是目标文件的归档（.a或.lib）。当程序链接静态库时，链接器从库中提取需要的目标文件，并将它们的代码复制到最终的可执行文件中。静态链接的优点是没有运行时依赖，缺点是每个程序都有自己的库副本，浪费磁盘和内存空间。符号冲突在静态链接中通常导致链接错误（重复定义），因为链接器看到同一个符号的多个定义。
动态库（共享库）是在运行时加载的独立二进制文件（.so、.dylib或.dll）。多个程序可以共享同一个动态库的代码段，节省内存。动态链接的符号解析更加复杂：程序引用的符号在加载时或运行时（对于dlopen）被解析。动态库可以导出部分符号（全局可见），隐藏其他符号（局部到库）。隐藏符号可以减少符号冲突、加快加载速度、并允许库内部重构而不破坏ABI。
默认符号可见性：在大多数平台上，动态库默认导出所有非局部符号（即没有static关键字的函数和全局变量）。这在早期是便利的，但导致了几个问题：导出过多符号增加了符号表大小，拖慢了动态链接；不同库之间的符号可能意外冲突；库的内部实现细节暴露给外部，限制了重构能力。现代C++实践建议默认隐藏符号，只显式导出公共API。
参考：https://xgmoi.cn/category/yinshi.html
控制符号可见性的方法因平台而异。GCC和Clang使用attribute((visibility("default")))和attribute((visibility("hidden")))。MSVC使用declspec(dllexport)和declspec(dllimport)。版本脚本（GCC）和模块定义文件（MSVC）提供了更细粒度的符号控制。通过版本脚本，可以定义符号的版本，实现多个ABI版本的共存，支持平滑升级。这是Linux上维护库ABI兼容性的标准做法。
内联函数的符号问题：内联函数（标记为inline或在类定义中定义的成员函数）在每个翻译单元中可能被内联展开，也可能生成外部符号。如果不同的动态库导出了同名内联函数的不同实现（例如，因为编译器选项不同），链接器会选择其中一个，可能导致未定义行为。解决方案是确保所有内联函数的定义在所有翻译单元中一致。
模板的符号可见性：模板的实例化在C++中遵循特殊的规则。每个翻译单元可以实例化同一个模板，链接器会选择一个实例作为程序中的唯一副本。如果不同动态库中的模板实例化产生不同的代码（例如，因为sizeof(T)不同），ODR被违反，行为未定义。控制模板符号可见性的标准方法是使用extern template声明，防止在特定翻译单元中实例化，从而确保所有翻译单元共享同一个实例。
动态库的初始化与析构顺序是另一个陷阱。全局对象（包括静态成员）在动态库加载时构造，在卸载时析构。当多个库相互依赖时，构造和析构的顺序是未指定的，可能导致访问已析构对象的问题。解决方案是避免跨库的全局对象依赖，或使用懒初始化（如std::call_once或函数作用域的静态变量）。
-fvisibility-inlines-hidden是GCC/Clang的一个重要标志。它将所有内联函数的符号隐藏，强制它们不成为动态库的导出符号。这减少了符号冲突，也迫使内联函数在每个库内被内联或本地化，但可能增加代码体积（因为同一个内联函数在每个库中都被复制）。这个标志被许多C++项目采用，包括LLVM和Boost。
参考：https://xgmoi.cn/category/zhongyi.html
ABI兼容性的维护需要仔细的版本管理。一旦一个符号被导出并被外部代码使用，它的类型、参数、返回值、以及调用约定就不能改变。添加新的导出符号是安全的，但删除或修改现有符号会破坏兼容性。C++的ABI还包括类布局（成员顺序和偏移量）、虚函数表布局、以及异常处理信息。修改私有成员可能改变类的大小，破坏二进制兼容性。Pimpl惯用法是缓解这一问题的常见技术。
符号版本控制（Symbol Versioning）是Linux上的高级技术。它允许同一个动态库导出同一符号的多个版本，旧程序使用旧版本，新程序使用新版本。GCC的attribute((symver))和链接器的版本脚本可以实现这一点。这是glibc等系统库实现向后兼容性的基础。
在实际工程中，管理符号可见性的最佳实践包括：
默认隐藏符号，使用-fvisibility=hidden编译标志，然后显式导出公共API。
为公共API定义导出宏，在构建库时定义为dllexport/default，在使用时定义为dllimport。
使用命名空间隔离符号，减少冲突可能。
避免内联函数和模板作为公共API，除非能确保所有用户看到相同的定义。
使用ABI检查工具（如abi-compliance-checker）在发布新版本前检测意外的ABI变化。
对动态库进行彻底的跨版本测试，确保升级不会破坏现有程序。
符号可见性看似是底层细节，但它直接影响了库的可维护性、性能和安全。一个设计良好的动态库只暴露必要的符号，隐藏所有实现细节。这不仅减少了链接时间和符号冲突，还为未来的重构保留了自由。
参考：https://xgmoi.cn
