Linux下共享库链接与dlopen调用的符号可见性控制问题

首先可以明确：dlopen的mode参数确实可以控制加载的共享库的符号可见范围，不需要始终只通过dlsym获取符号。

Linux平台下dlopen有两个核心flag直接决定符号可见性：

• RTLD_GLOBAL：加载的共享库的所有全局可见符号会被加入到进程的全局符号表中，后续加载的其他共享库、以及进程本身都可以直接引用这些符号，不需要额外调用dlsym获取。如果你的共享库没有做符号隐藏，所有默认的公开符号都会暴露到进程全局命名空间，和编译期直接链接该共享库的效果基本一致。
• RTLD_LOCAL：这是dlopen的默认参数，和RTLD_GLOBAL效果相反，加载的共享库的符号仅在自身及其依赖的模块范围内可见，不会暴露到进程全局符号表，其他模块无法直接引用这些符号，此时你只能通过dlsym传入dlopen返回的句柄，主动获取你需要的符号地址来使用。

还有几个相关注意点：

• 上述可见性规则是针对进程内其他模块而言的，不管你用哪个flag加载，只要你持有dlopen返回的有效句柄，都可以通过dlsym获取该共享库的所有公开符号。
• 符号可见性的优先级是共享库本身的编译配置高于dlopen的flag：如果共享库编译时已经做了符号隐藏（比如加了-fvisibility=hidden编译参数，仅显式导出需要的符号），就算你用RTLD_GLOBAL加载，也只有显式导出的符号会对外可见，内部隐藏的符号无论用什么方式都无法从外部获取。
• 如果加载的共享库存在依赖链：比如你用RTLD_LOCAL加载so A，so A依赖so B，那么so B的符号默认也只会在A的依赖范围内可见，不会暴露到进程全局。

内容的提问来源于stack exchange，提问作者Irbis