异常后重试本地静态变量初始化

Question

在本地定义的静态变量的上下文中，如果在变量初始化时抛出异常并且我们重试实例化变量，那么预期的行为是什么？

例如：

void someFunc()
{
    bool initialized=false;
    do
    {
        try
        {
            static SomeType throwingConstructor; //it throws the first time!
            initialized=true;
        }
        catch(...)
        {
            //some other code
        }
    }
    while(!initialized);
 }

我希望，由于异常导致堆栈被解除，因此第二次执行循环时，变量会再次尝试初始化。 然而，局部静态变量只被初始化一次，所以它闻起来有些未定义的行为 。 这段代码片段的预期行为是什么？ 在这种情况下，标准是否保证定义的行为？

Answer 1

在这种情况下，标准是否保证定义的行为？

是。 这个案例在标准中提到了。 根据$6.7/4 Declaration statement [stmt.dcl] （我强调）：

...具有静态存储持续时间（3.7.1）或线程存储持续时间（3.7.2）的所有块范围变量...

否则，在第一次控制通过其声明时初始化这样的变量; 这样的变量在初始化完成后被认为是初始化的。 如果通过抛出异常退出初始化，则初始化未完成，因此下次控制进入声明时将再次尝试初始化。

Answer 2

如果在初始化期间抛出异常，则不会初始化静态变量。

它将在下一次代码流过它时初始化。

这是标准的保证。