Linux下C++静态库全局变量多实例问题咨询

你的问题核心结论很明确：全局变量my_generator存在两个完全独立的实例，一个属于主程序MyApplication，另一个属于动态加载的共享库MySharedLibrary，不存在“第二个实例覆盖第一个”的情况。

原因分析 #

1. 静态库的链接特性：静态库的代码在链接阶段会被完整复制到每个目标文件中。当你分别将MyStaticLibrary链接到主程序和共享库时，两者都会包含my_generator的独立副本，以及GetMyID()函数的代码。
2. 动态库的内存隔离：动态加载共享库时，操作系统会为它分配独立的内存区域（同进程内但地址空间隔离），共享库中的全局变量是其专属实例，和主程序中的实例完全不共享状态。
3. 符号解析的优先级变化：加载共享库前，主程序调用的是自身链接的GetMyID()，访问的是主程序内的my_generator；加载共享库后，动态链接器默认会让后加载模块的符号覆盖全局符号表中的同名符号，此时GetMyID()的调用会转向共享库中的版本，访问的是共享库刚初始化的my_generator实例，所以返回了新的随机数。

验证方法 #

你可以通过打印变量地址直接验证多实例的存在：

• 在主程序中添加打印：

  std::cout << "main: my_generator addr: " << &my_generator << std::endl;
  

• 在共享库的初始化代码（比如__attribute__((constructor))修饰的函数）中添加同样的打印：

  __attribute__((constructor))
  void init_lib() {
      std::cout << "shared lib: my_generator addr: " << &my_generator << std::endl;
  }
  

运行后会看到两个不同的内存地址，直接证明是两个独立实例。

补充说明 #

这种问题是静态库被多模块链接时的典型符号冲突场景，常见的解决方向包括：

• 将静态库改为共享库，让所有模块共享同一个全局实例
• 实现单例模式（比如通过static局部变量确保唯一实例）
• 编译时使用-fvisibility=hidden控制静态库符号的可见性，避免跨模块的符号干扰

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