用派生类类型初始化模板类的静态数组

Question

我有一个带有 main 函数的程序，它只打印一个字符串。当我运行这个程序时，它在控制台中没有输出就崩溃了。当我将元素插入 OperatorCore (symbolMap) 的映射时，我发现问题发生了。

这是最少的代码：

//Binary.hpp
class Binary final : public OperatorCore, public StaticPool<Binary> {
public:
    Binary(int ID, std::string name)
        : OperatorCore(name), StaticPool<Binary>(ID) {
    }
    ~Binary() {}
};
//Binary.cpp
template<>
const Binary StaticPool<Binary>::pool[] = {
    Binary(0, "a string value")//without this line of code, it prints works
};

//OperatorCore.hpp
class OperatorCore {
public:
    static std::map<std::string, OperatorCore*> symbolMap;
    const std::string name;
    OperatorCore (std::string name);
    virtual ~OperatorCore () {}
};
//OperatorCore.cpp
std::map<std::string, OperatorCore*> OperatorCore::symbolMap{};
OperatorCore::OperatorCore(std::string name) : name(name) {
    symbolMap.insert({name, this});
}


//StaticPool
template<typename T, typename TKey = int>
class StaticPool {
public:
    const TKey ID;
    static const T pool[];
    StaticPool(TKey ID) : ID(ID) {}
    virtual ~StaticPool() {}
};

如果我删除突出显示的行之一，则不会出现此问题。这种设计会导致内存损坏吗？

编辑：OperatorCore::symbolMap的初始化在同一个文件中，也是OperatorCore构造函数的实现。

Answer 1

我怀疑您有初始化顺序问题。换句话说，您的程序尝试在symbolMap 之前初始化pool，并且Binary 对象的构造函数调用基构造函数，它尝试使用尚未构造的symbolMap。

对此有多种解决方案。您最好的选择可能是将 symbolMap 静态成员转换为特殊 getter 函数内的静态变量：

class OperatorCore {
public:
    static std::map<std::string, OperatorCore*>& symbolMap() {
        static std::map<std::string, OperatorCore*> instance;
        return instance;
    }
};

Answer 2

您有一个static initialization order fiasco 的案例。这意味着您的静力学可能以错误的顺序构建。我不知道以正确的顺序初始化 同一个文件 中的静态对象是否有效。但否则你应该延迟依赖于地图的池的初始化。也许编写一个函数来初始化池并在 main 的开头调用它。