编译器如何解析无限引用循环？

Question

// edited by Neil Butterworth to conserve vertical space
#include <stdio.h>

struct A;
struct B;

A& GetAInstance();
B& GetBInstance();

struct A {  
    A() {
        printf( "A\n" );
    }
    ~A() {
        printf( "~A\n" );
        B& b = GetBInstance();
    }
};

struct B {
    B() {
        printf( "B\n" );
    }

    ~B() {
        printf( "~B\n" );
        A& a = GetAInstance();
    }
}; 

A& GetAInstance() {
    static A a;
    return a;
}

B& GetBInstance() {
    static B b;
    return b;
}

int main( ) {
    A a;
}

考虑上面的情况.我希望这会导致无限的引用循环导致程序无法退出静态去初始化,但程序运行良好,使用以下打印输出:

  A
  ~A
  B
  ~B
  A
  ~A

这出乎意料.

编译器如何处理这种情况？它使用什么算法来解决无限递归？或者我误解了一些基本的东西？这是标准中的某个地方,定义为未定义？

Answer 1

编译器有效地存储bool每个static以记住它是否已被初始化.

这是订单:

内部主要:

• 构造 A
• 毁坏 A
• • 构造 static B

清理静力学:

• 毁坏 static B
• • 构造 static A
  • 毁坏 static A

标准中的3.6.3/1规定它应该以这种方式工作,即使static在这种情况下在清理期间构造a .