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

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)的所有块范围变量...

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