静态全局变量通过函数调用初始化时的初始化顺序问题及标准合规性确认

你的观察完全正确，这种行为是C++标准明确规定的，并非GCC 11.2.0的实现细节。问题的核心在于静态变量初始化的类型区分，以及模板特化实例化的时机规则。

1. 静态初始化的两种类型 #

C++将静态变量（包括全局变量、静态成员变量等）的初始化分为两类：

• 常量初始化（Constant Initialization）：当初始化表达式是常量表达式，或者变量满足constexpr初始化条件时触发。这种初始化在程序启动前（静态初始化阶段）完成，严格遵循翻译单元内的定义顺序，优先级最高。
  你注释掉的直接赋值版本：

  template <typename T>
  const std::array<T, 3> defaultValue<std::array<T, 3>> = {defaultValue<T>, defaultValue<T>, defaultValue<T>};
  

  属于常量初始化——defaultValue<T>是constexpr变量，整个初始化表达式是常量表达式，因此defaultValue<std::array<float,3>>会在全局对象tc初始化前完成赋值，行为符合预期。

• 动态初始化（Dynamic Initialization）：当初始化依赖非常量表达式（比如函数调用）时触发。这类初始化的执行时机有严格规则，且模板特化的变量会额外受到实例化时机的影响。

2. 模板特化变量的动态初始化陷阱 #

你的问题出在模板部分特化的defaultValue<std::array<T,3>>上：

template <typename T>
const std::array<T, 3> defaultValue<std::array<T, 3>> = _Private::getDefaultArrayValue<T>();

• 这个初始化依赖函数getDefaultArrayValue<T>()的调用，属于动态初始化。
• 模板部分特化的变量只有在**第一次被odr-use（需要访问其存储的使用）**时才会被实例化。在你的代码中，第一次odr-use发生在TestClass的构造函数中——也就是全局对象tc的初始化过程中。

关键顺序问题： #

1. 全局对象tc的初始化属于动态初始化，在程序启动后、main函数执行前开始。
2. 在tc的构造函数执行时，才触发defaultValue<std::array<float,3>>的实例化和动态初始化。
3. 但静态变量的零初始化会先于所有初始化执行：defaultValue<std::array<float,3>>的存储空间会被先初始化为全0，之后才会执行动态初始化（调用getDefaultArrayValue赋值为float的最大值）。
4. 因此，tc.arr被初始化为defaultValue的零初始化值（0），之后defaultValue才完成动态初始化，但tc.arr不会再更新。

这就解释了你看到的输出顺序：先执行tc的构造函数（输出Build TestClass），再执行getDefaultArrayValue（输出Initialize array），最后输出tc.arr[0]的0值。

3. 标准依据 #

根据C++标准：

• 模板实例化的实体（包括模板变量的特化实例）的定义点，是在第一次odr-use的位置，而非模板特化声明的位置。
• 动态初始化的变量如果在另一个动态初始化的变量的初始化过程中才被实例化，那么它的动态初始化会推迟到该使用发生时，此时依赖它的变量已经完成了初始化（使用了它的零初始化值）。

总结 #

使用函数调用初始化模板特化的静态全局变量时，由于动态初始化和模板实例化的时机耦合，会导致初始化顺序不符合代码书写顺序。而常量初始化的版本则不受此影响，因为编译器可以提前完成实例化和初始化。

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