全局静态变量、全局变量以及atexit回调的执行顺序

版本

gcc version 7.5.0 (Ubuntu 7.5.0-6ubuntu2)
Linux UM480XT 5.15.0-107-generic #117~20.04.1-Ubuntu SMP Tue Apr 30 10:35:57 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux

Microsoft Visual Studio Enterprise 2019, _MSC_VER == 1929

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

void on_exit()
{
    printf("%s()\n", __func__);
}

class Foo
{
public:
    Foo(int32_t i) :
        m_i(i)
    {
        printf("%s(%d)\n", __func__, m_i);
    }

    ~Foo()
    {
        printf("%s(%d)\n", __func__, m_i);
    }

    int32_t m_i = 0;
};

static Foo g_foo(1);

Foo g_foo2(2);

static Foo g_foo3(3);

void un_call()
{
    static Foo foo7(7);
    Foo foo8(8);
}

int main(int argc, char **argv)
{
    Foo foo7(7);
    static Foo foo4(4);
    Foo foo6(6);
    ::atexit(on_exit);
    static Foo foo5(5);
    printf("------\n");
    return 0;
}

与优化不优化无关系

顺序

构造函数调用顺序

全局变量/全局静态变量(按声明顺序构造) > 局部变量/局部静态变量(按声明顺序构造)

析构函数调用顺序

局部变量(先构造的后析构) > 在atexit函数后构造的局部静态变量 > atexit回调函数 > 局部静态变量(先构造的后析构) > 全局静态/全局变量(先构造的后析构)

不同源文件之间的 全局变量/全局静态变量 的构造顺序取决于链接顺序

如 test_1.cc test_2.cc两个文件
g++ test_1.cc test_2.cc -O2
那么先构造test_1文件的全局变量/全局静态变量，并且析构时间晚于test_2.cc
调换顺序后则先构造test_2