静态变量初始化顺序疑问：代码未按预期输出该如何解决？

你的预期是否正确？ #

你的预期不正确，问题核心是C++跨编译单元的静态变量初始化顺序导致的。

问题根源 #

从调试结果能看到，AAA::sSize初始化时调用ClassA::Insert("AAA")，此时ClassA::sVec会被隐式临时初始化（因为函数要访问它），插入了"AAA"；但之后ClassA.cpp里的std::vector<std::string> ClassA::sVec;会显式执行默认初始化，直接把之前的vector覆盖成空容器，导致"AAA"丢失。

C++标准规定：不同.cpp编译单元之间的静态变量初始化顺序是未定义的，你的代码刚好触发了最坏的执行顺序：

1. AAA.cpp初始化AAA::sSize，调用Insert("AAA")，隐式初始化sVec并插入元素
2. ClassA.cpp执行sVec的显式默认初始化，清空容器
3. ClassA.cpp初始化ClassA::sSize，调用Insert("ClassA")，插入第一个元素
4. ClassB.cpp初始化ClassB::sSize，调用Insert("ClassB")，插入第二个元素
   最终输出自然只有"ClassA"和"ClassB"。

解决方法：使用「首次使用时构造」模式 #

要彻底规避静态变量初始化顺序问题，最可靠的方案是把静态成员变量改成函数内的静态局部变量，这样它只会在第一次被调用时初始化，且保证只初始化一次。

修改后的ClassA.h #

#pragma once
#include <vector>
#include <string>

class ClassA
{
public:
    static size_t Insert( const std::string& str );
    static void Print();
private:
    static std::vector<std::string>& GetVec();
    static size_t& GetSize();
};

修改后的ClassA.cpp #

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

std::vector<std::string>& ClassA::GetVec()
{
    static std::vector<std::string> sVec; // 首次调用时初始化，仅初始化一次
    return sVec;
}

size_t& ClassA::GetSize()
{
    static size_t sSize = Insert( "ClassA" );
    return sSize;
}

size_t ClassA::Insert( const std::string& str )
{
    GetVec().push_back( str );
    return GetVec().size();
}

void ClassA::Print()
{
    for( const auto& str : GetVec() )
        std::cout << str << std::endl;
}

其他文件无需修改，此时无论编译单元的初始化顺序如何，GetVec()里的静态局部变量都会在第一次被访问时完成初始化，且不会被重复覆盖，运行后就能得到预期输出：AAA、ClassA、ClassB。

补充说明 #

这种模式是C解决静态初始化顺序问题的标准方案，C11及以后还保证了函数内静态局部变量的初始化是线程安全的，无需额外加锁。

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