通过调用 C++ 中的静态类函数初始化全局静态变量

Question

不确定问题的表述是否正确，但问题就在这里。

我有一个静态库，其中我在 a.h 中有以下类：

#pragma once
#include <vector>
class A{
public:
 void Run() {
  data_.push_back(10);
  std::cout << "size: " << data_.size() << std::endl;
 }
private:
 static std::vector<int> data_;
};

a.cpp如下：

#include "a.h"
std::vector<int> A::data_;

我在 b.h 有另一门课：

#pragma once
#include <string>
class B
{
  public:
    static std::string Get();
};

和 b.cpp：

#include "b.h"
#include "a.h"
std::string B::Get()
{
  static A a;
  a.Run();
  return "foo";
}

现在我使用上述静态库的主要应用程序如下：

#include <iostream>
#include "a.h"
#include "b.h"

static std::string var1= B::Get();

int main(int argc, char** argv)
{
  A a;
  a.Run();
}

试图理解为什么输出是：

尺寸：1

尺寸：1

整个类的每个静态数据成员都应该有一个实例，因此应该只调用一次 A::data_ 构造函数。 我在打"static initialization order fiasco"吗？ IE。 data_ 在我使用它之前没有初始化，但是我应该会崩溃吗？

现在让我们想象一下我的 data_ 包含动态初始化的项目（没有 POD）。如果最后 data_ 包含一个项目，它将如何被破坏，尽管我已经插入了 2？

这就是我现实生活中的代码中实际发生的情况（它有时会在破坏数据时崩溃_）。

摆脱全局静态（ static std::string var1= B::Get(); ）解决了问题，但我仍然想了解引擎盖下的问题。

所描述的案例可以在 VS2015 中重现（真实案例在 gcc 6.2 中可以重现）

Answer 1

我是不是遇到了“静态初始化顺序惨败”？

很有可能。

您可以通过函数调用使类的static 数据可用，从而消除该问题。例如

class A{
public:
 void Run() {
  getData().push_back(10);
  std::cout << "size: " << getData().size() << std::endl;
 }
private:
 static std::vector<int>& getData();
};

std::vector<int>& A::getData()
{
   static std::vector<int> data;
   return data;
}

当你这样做时，data 将在第一次调用 A::getData() 时被初始化。它完全消除了静态初始化顺序问题。