什么是“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 会引发异常。这是some documentation 的相关信息。

---

C++11 更新：在 C++11 中添加了以下措辞，就在关于递归案例的文本之前：

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

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

并没有改变这里的问题，但是在没有递归时确实使这个构造线程安全。