如果存在依赖，编译器能否正确处理静态变量的初始化顺序？

如果存在依赖，编译器能否正确处理静态变量的初始化顺序？例如，我有

a.h:

struct A { static double a; };

a.cpp:

#include "a.h"
double A::a = 1;

b.h:

struct B { static double b; };

b.cpp:

#include "b.h"
#include "a.h"
double B::b = A::a;

在翻译单元内，指定了此类初始化的顺序。跨翻译单元的顺序未指定。

因此，在您的情况下，由于静态默认情况下将初始化为零，B::b肯定会是0或1。