什么是“recursive_init_error”例外？

Question

我决定使用计算的 goto 和本地静态进行测试，

void g() { std::cout << "init "; } 
void f() { 
  int z = 0; 
  y: z++; 
  static int x = 
    (g(), z == 1 ? ({ goto *&&y; 0; }) : 0); 
}

int main() { f(); std::cout << "!"; f(); }

我想看看输出是否为“init init！”。但令我惊讶的是，我没有得到该输出，而是 GCC 优雅地处理了它，在运行时输出：

init terminated by recursive_init_error: exception

那个异常是什么？这是标准例外吗？ C++03 还是 C++0x？感谢您的任何解释。

Answer 1

这是由 C++03 §6.7/4 中所述引起的：

...否则，此类对象将在控件第一次通过其声明时被初始化；这样的对象在其初始化完成后就被视为已初始化。如果初始化通过抛出异常退出，则初始化尚未完成，因此下次控制进入声明时将再次尝试。如果在初始化对象时控制重新进入声明（递归地），则行为是未定义的。 [示例：

int foo(int i)
{
  static int s = foo(2*i);    // recursive call – undefined
  return i+1;
}

--结束示例]

在这种情况下，GCC 会抛出异常。这是关于它的一些文档。

---

C++11 更新：C++11 中在有关递归情况的文本之前添加了以下措辞：

如果在变量初始化时控制同时进入声明，则并发执行将等待初始化完成。⁸⁸

_{⁸⁸ 实现不得在初始化程序的执行周围引入任何死锁。}

不会改变这里的问题，但会在没有递归时使此构造线程安全。