C++ extern跨文件全局变量初始化顺序异常如何解决

你遇到的是C++经典的跨编译单元非局部静态变量初始化顺序未定义问题，也常被称为静态初始化顺序灾难。

• C++标准只规定：同一个编译单元（即单个.cpp生成的目标文件）内的非局部静态变量，会严格按照变量在代码中定义的顺序完成初始化；但不同编译单元内的非局部静态变量，初始化顺序没有任何强制规定，完全由编译器、链接器的实现决定。
• 你的复现例中，val定义在test.cpp、val2定义在main.cpp，属于两个不同编译单元。本次运行时val2先触发初始化，此时val仅完成了零初始化（std::string的零初始化状态是空字符串），因此拷贝得到的val2为空；后续val再被赋值为"Hello World"，也不会影响已经初始化完成的val2。
• 换成int等内置类型能正常运行，是因为内置类型的常量初始化属于静态初始化阶段，会在程序加载时、所有动态初始化动作开始前完成，不存在顺序问题；而std::string是类类型，需要调用构造函数完成初始化，属于动态初始化阶段，才会触发顺序问题。

标准C++没有提供可移植的强制指定跨编译单元初始化顺序的语法。部分编译器提供了专属扩展可以实现该效果，比如GCC/Clang支持init_priority属性：

// test.cpp中给val设置更高的初始化优先级（数字越小优先级越高）
__attribute__((init_priority(101))) std::string val = "Hello World";

// main.cpp中给val2设置更低的优先级
__attribute__((init_priority(200))) std::string val2 = val;

但这类写法依赖特定编译器，MSVC等环境不支持，仅适合临时快速修复，不推荐在正式跨平台项目中使用。

最通用、完全符合C标准、无初始化顺序问题的实现方式是懒加载单例模式：将全局变量包装为函数内部的局部静态变量，通过函数返回引用的方式提供全局访问。C11及以上标准明确保证：函数内的局部静态变量会在第一次调用该函数时完成初始化，且初始化过程线程安全。

修改后的代码如下：

1. test.h 头文件

#pragma once
#include <string>

// 仅声明全局访问函数，不直接extern变量
std::string& get_val();

2. test.cpp 实现文件

#include "test.h"

std::string& get_val() {
    // 局部静态变量，第一次调用函数时才初始化
    static std::string val = "Hello World";
    return val;
}

3. main.cpp 文件

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

// 第一次调用get_val()时，val会完成初始化，再拷贝给val2，不存在顺序问题
std::string val2 = get_val();

int main()
{
    std::cout << val2 << std::endl;
    return 0;
}

该实现所有支持C++11的编译器都能稳定输出预期结果，无兼容性问题。如果项目中存在多个跨文件全局变量，只需要为每个变量实现对应的访问函数即可，维护成本低，也不会出现初始化顺序异常。

如果不想写访问函数，也可以将所有需要跨文件访问的非局部静态变量统一定义在同一个.cpp文件中，利用同编译单元初始化顺序确定的规则保证顺序，但这种方式在全局变量较多时可维护性差，不推荐大型项目使用。

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