c++ - 编译器能否正确处理静态变量的初始化顺序？

Question

下面的案例怎么样？如果存在依赖关系，编译器能否正确处理静态变量的初始化顺序？

啊啊

template<class T>
struct A { static double a; };

template<class T>
double A<T>::a = 1;

b.h

struct B { static double b; };

b.cpp

#include "b.h"
#include "a.h"

double B::b = A<int>::a;

Answer 1

在这种情况下，没有问题，因为 a 是静态初始化的；这保证在 b 的动态初始化之前发生。

更一般地说，如果两者都需要动态初始化，这是一个问题。除非您在使用模板成员初始化 b 之前专门化模板成员，否则没有保证的顺序。引用标准(C++11 3.6.2/2):

Definitions of explicitly specialized class template static data members have ordered initialization. Other class template static data members (i.e., implicitly or explicitly instantiated specializations) have unordered initialization.