汇编中全局变量初始化函数为何位于main标签之后？程序入口疑惑

核心结论 #

_GLOBAL__sub_I_example.cpp 不是程序的真正入口，它只是Clang生成的全局构造函数包装函数，负责执行全局变量的初始化逻辑，执行完后返回给C运行时（CRT），再由CRT去调用main函数。

详细解释 #

1. 程序的真正入口不是_GLOBAL__sub_I_xxx
   程序启动时，系统首先调用的是CRT提供的入口函数（类Unix环境下通常是_start），而非你看到的这个标签函数。CRT入口会先完成一系列底层初始化：比如设置程序栈、初始化标准IO、处理命令行参数等。

2. _GLOBAL__sub_I_xxx的作用
   这个函数是Clang为全局变量初始化自动生成的包装，里面包含了全局对象/变量的构造逻辑（比如你示例中用printf初始化hello的代码）。CRT在初始化阶段会遍历所有这类全局构造函数，逐个调用它们，确保全局变量在main执行前完成初始化——这完全符合C++的全局对象初始化规则。

3. 汇编标签顺序不代表执行顺序
   你看到这个函数的汇编代码在main之后，只是编译器的代码布局策略，和实际执行顺序无关。CRT的初始化流程会主动找到并调用它，不管它在二进制文件里的位置在哪里。

4. 为什么_GLOBAL__sub_I_xxx会返回？
   它本质就是一个普通函数，执行完全局初始化逻辑后自然要返回，回到调用它的CRT初始化代码。等所有全局构造函数都执行完毕，CRT才会调用main函数，正式进入用户代码的执行流程。

完整执行流程 #

系统调用CRT入口函数（如_start）
    ↓
CRT完成底层初始化（栈、IO等）
    ↓
CRT调用所有全局构造函数（包括_GLOBAL__sub_I_example.cpp）
    ↓
全局变量初始化完成
    ↓
CRT调用main函数
    ↓
main执行完毕返回
    ↓
CRT调用全局析构函数，完成清理
    ↓
程序退出

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