保证c++中静态变量的构造和销毁顺序

Question

我正在努力寻找一种好的方法来保证静态变量的构造和销毁顺序。据我所知，静态变量的构造和析构方式如下：

1. Destruction order of static objects are in the reverse order of their construction.

2. 如果静态变量在不同的文件中定义为全局空间，那么它们的构造顺序是不能保证的。

3. 但是，如果在函数中定义了静态变量，则local static variable is constructed when the first time execution hits its declaration。

根据上面的规则，我写了如下c++代码，保证静态变量b总是在静态变量a之前被销毁，在我的实验中保证了构造顺序和销毁顺序：

在 A.h 文件中

class A {
 public:
  SomeClass* GetStatic() {
    static SomeClass a;
    return &a;
  }
}

在 B.h 文件中：

#include "A.h"
class B {
 public:
  AnotherClass* GetStatic() {
    A::GetStatic();  // a dummy call to force the static local variable in 
                     // A::GetStatic() get initialized before the b.
    static AnotherClass b;
    return &b;
  }
}

在上面的示例中，我在 static AnotherClass b; 的声明之前放置了一个虚拟调用 A::GetStatic();。如果规则 3 成立，这将确保 a 在 b 之前初始化。并且由于规则1，可以保证b在a之前被销毁。

我的问题是：

1. 我可以知道我所做的事情是正确的还是在某些极端情况下可能出错？
2. 是否有更好或最好的方法来确保静态变量的构造或销毁顺序？

我还检查了isocpp.org website 以找到确保静态变量的构造和销毁顺序的最佳方法，但该部分仍标记为 TODO: WRITE THIS UP。

Answer 1

在您的情况下，您在第一次使用时使用构造，并且您的类的构造函数都不依赖于另一个。从而保证初始化的顺序是A然后B。

在这种情况下，只要您有简单的析构函数，就可以保证破坏顺序是 B->A。这里还有一个elaborate answer。

Answer 2

很遗憾，但您目前所做的是“最先进的”。

另一个有用的谷歌技术：

#pragma init_seg(XXX) - 适用于 Windows 下的 MSVS 和 Intel C++

__attribute__ ((init_priority(XXX)) - 在 GCC 和 clang 中工作

另外，我必须警告您，您的本地 static 技巧不是线程保存（至少在 MSVC、Intel C++、clang 和 gcc 中），因为它是通过检查和设置全局变量来实现的。