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

Question

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

实际上，A是一个对象，用作将B之类的符号映射到其各自ID的映射。 C静态地保留此map（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先定义 C::s_A 。 在相同转换单元中定义的对象将按照其定义顺序进行初始化，这意味着到A::A()开始时， B静态成员已经被初始化。 如上所述，在这种情况下没有分割错误的可能性。

如果遇到细分错误，则必须做一些不同的事情。 定义顺序不同吗？ 可能有多个翻译单元？ 发布/描述真实代码。