C++ ODR违规与共享库：静态链接程序加载不同版本依赖的疑问

是否会出现同一符号的多个不同定义？ #

这取决于共享库的符号可见性设置：

• 如果共享库导出MyLib1.1的符号，进程全局符号表中会存在两个不同定义（主程序的MyLib1.0版本、共享库的MyLib1.1版本），但动态链接器会优先选择主程序中的定义生效。
• 如果共享库隐藏了MyLib1.1的符号，共享库的符号仅内部可见，不会进入全局符号表，进程中不会出现全局可见的重复符号，但共享库内部仍持有自己的1.1版本定义。

两种场景是否违反ODR？ #

ODR（单一定义规则）是C++标准核心规则，要求同一程序中同一符号只能有一个有效定义。针对两个场景分析如下：

1. 共享库导出所有MyLib1.1符号
   • 明确违反ODR：主程序与共享库属于同一运行时程序，同一符号存在两个不同实现版本，无论动态链接器最终选择哪个，都属于标准定义的ODR违反，可能触发未定义行为（比如共享库依赖1.1版本逻辑，却被迫使用1.0版本实现，导致功能异常）。
2. 共享库隐藏所有MyLib1.1符号
   • 严格来说仍违反ODR：从C++标准的“整个程序”视角，同一符号存在两个不同定义。但由于符号被完全隔离，不会被同一执行上下文引用，实际运行中不会触发未定义行为，属于工程中常用的“安全的ODR违反”规避手段。

动态链接与动态加载的差异影响 #

• 动态链接（程序启动时自动加载共享库）
  行为完全符合上述场景分析：场景1中动态链接器在启动阶段完成符号解析，优先绑定主程序的符号；场景2中共享库符号完全隔离，互不干扰。
• 动态加载（通过dlopen等API手动加载共享库）
  差异体现在加载标志：
  • 使用RTLD_GLOBAL加载：共享库符号会加入全局符号表，行为和动态链接的场景1一致，会出现符号覆盖和ODR违反。
  • 使用RTLD_LOCAL加载：共享库符号仅在自身范围内可见，行为和场景2一致，符号完全隔离，无运行时冲突。

内容的提问来源于stack exchange，提问作者Peresztegi Péter