C++17的static inline能否解决静态初始化顺序失败问题？

核心原因是两者初始化规则完全不同： #

• 函数内静态局部变量的初始化时机是第一次执行到该变量定义语句时，这也是函数内静态变量方案能解决问题的根本原因：所有访问都通过getter函数触发，保证第一次访问时对象一定完成构造，不会出现未初始化就被调用的情况。

你给出的第一种安全方案代码如下：

struct GlobalHashTable
{
   std::map <std::string, int>& stringmap()
   {
       static std::map <std::string, int> stringmap;
       
       return stringmap;
   }

// 剩余代码都通过stringmap()获取已正确初始化的map对象
};

• 类内static inline成员变量本质仍属于命名空间作用域的静态存储期对象，它的初始化规则和普通全局变量完全一致：同一翻译单元内按定义顺序初始化，不同翻译单元之间初始化顺序没有任何保证。static inline只是解决了C++17之前类静态成员需要单独在cpp文件中定义的问题，完全不会改变它的初始化时机。

你给出的第二种方案仍存在风险：

struct GlobalHashTable
{
   static inline std::map <std::string, int> stringmap;

// 直接使用stringmap仍可能触发未初始化访问
};

风险场景示例 #

如果存在另一个翻译单元中的全局对象，它的构造函数访问了GlobalHashTable::stringmap，只要这个翻译单元的静态初始化执行顺序早于GlobalHashTable所在的翻译单元，程序仍会在main函数前崩溃，和使用普通全局变量没有任何区别。

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