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

Retry local static variable initialization after exception

本文关键字：静态 变量 初始化 重试 异常      更新时间：2023-10-16

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

例如：

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

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

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

是的。标准中正是提到了这种情况。根据$6.7/4 Declaration statement [stmt.dcl]（我强调）：

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

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

如果在初始化过程中抛出异常，则不会初始化静态变量。

下次代码通过它时，它将被初始化。

这是由标准保证的。

相关文章：