多文件运行时单次执行代码无冲突及C++类型注册问题

问题背景 #

我有一个名为Type的模块，供其他类调用以注册自身类型，该操作只需在运行初期执行一次。原本在Type.cpp的Initialize函数中集中注册各类类型，但因依赖关系不合理，希望反转依赖，让每个类的对应文件自行调用Register。我实现了一个Once模块，通过静态对象构造执行代码块，在Type.cpp中可正常工作，但将注册代码放到Transform.cpp等文件时，出现unordered_map访问违例异常，推测是跨文件静态对象初始化顺序无保障导致容器未初始化。现寻求无需非标准库的更优方案或线程安全的实现方式。

原代码示例 #

Type模块相关代码 #

// 初始化静态变量（注册的类型会被添加到这里）
std::unordered_map<String, Type::TypeNodeGen*> Type::_strMap;

// 在main函数开始时调用
Type::Initialize() {
    Type::Register<int>("int");
    Type::Register<Transform>("transform"); // 自定义类
    Type::Register<Sprite>("sprite"); // 自定义类
    Type::Register<Physics>("physics"); // 自定义类
    // 其他需要注册的类型
    // ...
}

Once模块代码 #

using OnceFunc = std::function<void(void)>;

struct Once {
    // 构造时传入并执行函数
    Once(OnceFunc func) { func(); }
};

异常信息 #

抛出异常：读取访问违例。this->_Vec._Mypair._Myval2._Myfirst 地址为 0x11101110111011A

解决方案 #

核心思路是利用局部静态对象的延迟初始化特性，保证容器在第一次被访问时才完成初始化，彻底规避跨文件静态对象的初始化顺序问题。同时C++11及以后标准保证局部静态对象的初始化是线程安全的，无需额外锁机制。

修改Type模块实现 #

1. 调整Type类的静态成员声明
   将原来的全局静态容器改为通过静态成员函数返回的局部静态对象：

// Type.h
class Type {
private:
    // 替换原有的静态成员变量声明
    static std::unordered_map<String, TypeNodeGen*>& GetTypeMap();
public:
    template<typename T>
    static void Register(const String& name);
    // 其他原有成员...
};

2. 实现GetTypeMap函数
   在Type.cpp中实现该函数，利用局部静态对象保证初始化时机：

// Type.cpp
std::unordered_map<String, Type::TypeNodeGen*>& Type::GetTypeMap() {
    // 局部静态对象会在第一次调用此函数时初始化，且仅初始化一次
    static std::unordered_map<String, TypeNodeGen*> typeMap;
    return typeMap;
}

3. 修改Register模板函数
   在Register中通过GetTypeMap获取容器，确保容器已初始化：

// Type.cpp
template<typename T>
void Type::Register(const String& name) {
    auto& typeMap = GetTypeMap();
    // 替换为你实际的TypeNodeGen生成逻辑
    typeMap[name] = &TypeNodeGenImpl<T>::Generate;
}

保留Once模块的使用 #

在各个类的实现文件中，依然可以通过Once静态对象完成自动注册，例如Transform.cpp：

// Transform.cpp
#include "Type.h"
#include "Transform.h"

// 静态对象构造时自动执行注册逻辑
static Once registerTransform([](){
    Type::Register<Transform>("transform");
});

方案优势 #

• 完全基于标准C++实现，无需依赖非标准库
• 彻底解决跨文件静态对象初始化顺序问题
• C++11及以后版本天然线程安全，无需额外同步代码
• 保持反转依赖的设计，每个类自行管理注册逻辑，降低模块间耦合

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