全局变量何时导出到可执行文件?

假设我有一个包含两个文件的库(共享或静态): lib.h 和 lib.cpp .

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" ///< uncomment this line and you will get different result!!!

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.

但是,如果您取消注释 #include 行,并使用静态链接,你会得到:

触发器构造函数
LogConsole构造函数
完成。

我的问题是:

1. 为什么动态链接和静态链接会(或不会)调用全局变量的构造函数?

2. 我能理解,包括头部将初始化 trigger ,但为什么会 log_console 也要初始化吗?编译器/链接器的内部机制是什么?

可能的相关链接包括:

1. Language Linkage

2. Storage Duration

但我认为这可能是某个特定工具链的“特征”(我使用的是: gcc 14.1.1 在我的x64桌面上使用Manjaro Linux)。