内联静态类变量嵌套致运行时崩溃，求初始化规则解析

问题场景 #

// 头文件'A' //
struct A
{
  A (void) { /* 执行内部初始化操作 */ }
} ;

struct B
{
  inline static A pool_of_a [10] { } ;

  B (void) { /* 从pool_of_a中获取一个'A'实例 */ }
~ B (void) { /* 将'A'实例释放回pool_of_a */ }
};

// 头文件'C' //
#include "header_A.h"

struct C
{
  inline static B b_array [5] { } ; 
};

问题现象 #

创建C类型实例时，程序在进入main函数前就发生运行时崩溃。排查确认是C::b_array的初始化早于B::pool_of_a：单独使用A、B类时功能正常，但在C中创建B数组时，B的构造函数会访问未初始化的pool_of_a，进而触发崩溃。

临时解决方案 #

修改C类代码，通过延迟初始化确保b_array在main函数调用后才初始化，从而保证pool_of_a先完成初始化：

// 头文件'C' //
#include "header_A.h"

struct C
{
  inline static B * b_array = nullptr ;

  C (void) 
  { 
    if (b_array == nullptr)
    {
      static B b_array_local [5] { } ; 
      C::b_array = b_array_local ;   
    }
  } ; 
};

规则解析 #

你遇到的是跨翻译单元（TU）的inline静态变量初始化顺序问题，对应的C++标准核心规则如下：

1. 同一翻译单元内：inline静态变量的初始化顺序与其他静态变量一致，严格按照代码中的声明顺序执行。这也是单独使用B类时功能正常的原因——B::pool_of_a和B的实例处于同一TU内，pool_of_a先完成初始化，B构造时可安全访问。
2. 跨翻译单元：不同TU中的inline静态变量，它们的动态初始化顺序是**未指定（unspecified）**的。C++标准不强制规定某一TU的inline变量必须先于另一TU的inline变量初始化，具体顺序由编译器自主决定。
   • 你的场景中，B::pool_of_a属于header_A对应的TU，C::b_array属于header_C对应的TU，两者初始化顺序无强制约束，因此可能出现C::b_array先初始化的情况，此时pool_of_a尚未完成初始化，B的构造函数访问它就会触发崩溃。
3. 局部静态变量的特性：你采用的临时方案利用了函数内局部静态变量的初始化规则——这类变量的初始化会延迟到首次调用该函数时。由于所有C实例都在main函数调用后创建，此时所有非局部静态变量（包括B::pool_of_a）的初始化已经完成，因此可以安全初始化b_array_local。

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