静态/动态链接下全局变量初始化差异及底层机制咨询

库文件内容 #

lib.h #

#pragma once

struct Trigger {
  struct TriggerImpl{
    TriggerImpl();
  };
  inline static TriggerImpl trigger;
};

lib.cpp #

#include "lib.h"
#include <iostream>

struct LogConsole {
  LogConsole() { std::cout << "LogConsole constructor" << std::endl; };
};

LogConsole log_console;

Trigger::TriggerImpl::TriggerImpl() {
  std::cout << "Trigger constructor" << std::endl;
}

可执行文件代码（main.cpp） #

#include <iostream>
// #include "lib.h" ///< 取消注释此行会得到不同结果!!!

int main() {
  std::cout << "Done." << std::endl;
  return 0;
}

不同链接方式的输出 #

静态链接（如CMake的target_link_library(... STATIC ...)） #

Done.

动态链接（如CMake的target_link_library(... SHARED ...)） #

Trigger constructor
LogConsole constructor
Done.

取消main.cpp中#include注释后的静态链接 #

Trigger constructor
LogConsole constructor
Done.

问题 #

1. 为何静态链接与动态链接下全局变量的构造函数调用情况不同？
2. 我理解包含头文件会初始化trigger，但为何log_console也会被初始化？编译器/链接器的内部机制是什么？

注：使用的工具链为Manjaro Linux x64平台下的gcc 14.1.1。

解答 #

问题1：静态与动态链接的差异原因 #

• 静态链接特性：静态链接器是按需链接——只会把可执行文件实际用到的符号（函数、变量等）从静态库中提取打包。当main.cpp未包含lib.h时，代码没有引用静态库中log_console、Trigger::trigger的任何符号，链接器判定这些符号“未使用”，直接跳过，自然不会触发全局变量的构造函数。
• 动态链接特性：动态库在程序启动时会被完整加载（除非启用延迟加载），库中的全局变量初始化属于库的启动逻辑。只要链接了动态库，系统加载器就会执行库的初始化流程，不管可执行代码是否用到库中符号，所有全局变量的构造函数都会被调用。

问题2：包含头文件后log_console被初始化的机制 #

当main.cpp包含lib.h后，引入了Trigger::trigger这个inline静态变量。根据C++标准，inline静态变量的定义在头文件中，只要有编译单元包含该头文件，就会触发变量实例化。

静态链接器的规则是：如果静态库的某个目标文件（即lib.cpp编译出的.o文件）中有被可执行文件引用的符号，那么整个目标文件都会被链接进程序。Trigger::trigger的构造函数定义在lib.cpp中，当链接器发现可执行文件需要该符号时，会将整个lib.cpp的.o文件纳入程序——而log_console属于同一个编译单元，因此它的构造函数也会被执行。

简单来说：链接器不会拆分单个目标文件，只要目标文件里有一个符号被用到，整个文件的内容都会被包含，连带其中的其他全局变量一起完成初始化。

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