模板类静态成员std::function初始化后为空问题咨询

给定如下C++模板类：

template <class T>
struct Test
{
    Test() {
        if (!f) {
            f = []() { std::cout << "it works\n"; };
            initialized = true;
        }
    }
    static void check() {
        if (f) f();
        else std::cout << "f is empty\n";
    }
    T x{};
    inline static std::function<void()> f;
    inline static bool initialized = false;
};

当全局声明该类的对象时（注：已知全局变量是不良实践），静态成员f在初始化后会变为空。以下示例可复现该问题：

Test<double> t;

int main()
{
    t.x = 1.5;
    std::cout << "t.x = " << t.x << "\n";
    std::cout << std::boolalpha << "initalized: " <<  Test<double>::initialized << "\n";
    Test<double>::check();
    return 0;
}

程序输出：

t.x = 1.5
initalized: true
f is empty

预期Test<double>::check();会输出it works，但实际并非如此。不过执行以下任一操作时，示例可正常工作：

• 在main()内声明t
• 不为Test使用模板（直接将T替换为double）
• 将f和check()改为非静态
• 使用普通函数指针替代std::function

请问这一现象的原因是什么？

这是C++全局对象初始化顺序与模板静态成员的“二次初始化”冲突导致的问题，具体拆解如下：

1. 全局对象的初始化时机
   全局对象t属于静态存储期对象，会在main函数执行前完成初始化。在t的构造函数中，我们给静态成员f赋值了lambda，并将initialized设为true。

2. 模板静态成员的特殊初始化规则
   对于模板类的inline static成员，C++标准规定它们的定义会在首次被使用时完成初始化。但这里存在隐藏细节：当全局对象触发模板实例化时，静态成员的初始化逻辑被触发，但后续编译器处理模板实例化的全局逻辑时，会对inline static成员执行二次零初始化。

   具体来说，std::function<void()> f作为inline static成员，默认初始化是一个空的std::function。当全局对象t构造时，我们手动给f赋值了lambda，但之后编译器在处理模板静态成员的全局初始化阶段，又会将f重新初始化为空状态。而initialized是普通bool类型，手动修改后的true不会被二次覆盖（bool的零初始化是false，但显式赋值完成后编译器不会重复执行零初始化），这就导致了initialized显示为true但f为空的矛盾现象。

3. 其他操作能解决问题的原因

   • 在main内声明t：初始化发生在main执行后，模板静态成员的全局初始化阶段已完成，不会出现二次覆盖。
   • 去掉模板：非模板类的inline static成员初始化时机明确，不存在模板实例化带来的二次初始化冲突。
   • 改为非静态：非静态成员属于对象自身，不存在全局初始化顺序问题，赋值后不会被覆盖。
   • 使用普通函数指针：函数指针的inline static成员零初始化是nullptr，但赋值后编译器不会对其执行二次初始化（函数指针的初始化逻辑更简单，没有std::function这类复杂类型的构造/析构逻辑）。

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