在静态变量的构造函数中检索静态 const 变量的值

Question

我知道下面的代码会导致分段错误，因为在 A 的 cstr 处，B::SYMBOL 尚未初始化。但为什么？

实际上，A 是一个对象，用作将 B 等类的 SYMBOL 映射到它们各自的 ID 的映射。 C 静态保存此映射（A），以便它可以将映射提供为类函数。

A 的主要功能是充当 C 的映射，在启动时初始化自身。如果我仍然可以在代码中使用 B::ID 和 B::SYMBOL （没有 #define pls），我应该如何在没有分段错误的情况下做到这一点？

（ps.假设我已经实现了包含守卫）

//A.h
    #include "B.h"
    class A
    {
    public:
      A()
      {
        std::cout<<B::ID<<std::endl;
        std::cout<<B::SYMBOL<<std::endl;
      }
    };

//B.h    
    class B
    {
    public:
      static const int ID;
      static const std::string SYMBOL;
    }

//B.cpp    
    #include "B.h"
    const int B::ID = 1;
    const std::string B::SYMBOL = "B";

//C.h    
    #include "A.h"
    class C
    {
    public:
      static A s_A;
    };

//C.cpp    
    #include "C.h"
    A C::s_A;

//main.cpp    
    #include "C.h"
    int main(int c, char** p)
    {
    }

Answer 1

使用 s_A 的延迟初始化。这可能有效：

class C
{
public:
  static A& getA() { static A s_A; return s_A; }
};

或者：

class C
{
public:
  static A& getA() 
  { 
    if( ps_A == NULL) ps_A = new ps_A; 
    return *ps_A; 
  }
private:
  static A* ps_A;
};

A* C::ps_A = NULL;

这两种解决方案都不是线程安全的。

Answer 2

您所说的分段错误是什么？您的代码根本无法编译，因为 B 的成员（以及 B 本身）在 A::A() 之前没有声明 。编译器根本不知道B是什么。

如果交换 A 和 B 的定义，那么代码应该可以编译并正常工作。只要所有内容都在同一个翻译单元中，初始化顺序就不会有任何问题，假设 B 的静态成员的定义位于 B 之前C::s_A 的 em>定义。在同一翻译单元中定义的对象按照其定义的顺序进行初始化，这意味着在 A::A() 启动时，B 的静态成员已经初始化。在这种情况下，不存在出现分段错误的可能性。

如果您遇到分段错误，则必须采取不同的措施。定义顺序不同？也许有多个翻译单元？发布/描述真实的代码。