exit() 或异常会阻止调用作用域结束析构函数吗？

Question

假设我有以下代码：

struct mytype
{
    ~mytype() { /* do something like call Mix_CloseAudio etc */ }
};

int main()
{
    mytype instant;

    init_stuff();

    start();

    return 0;
}

即使从 start() 内部的某处使用 exit() ，是否也保证调用该析构函数？

Answer 1

如果调用exit，析构函数将不会被调用。

来自 C++ 标准 (§3.6.1/4)：

调用函数

void exit(int);

在 (18.3) 中声明会终止程序而不离开当前块，因此不会破坏任何具有自动存储持续时间的对象 (12.4)。如果在销毁具有静态存储持续时间的对象期间调用 exit 来结束程序，则该程序具有未定义的行为。

Answer 2

是的，调用 exit() 意味着析构函数不会被调用：

调用函数 void exit(int);
在 (18.3) 中声明
终止程序而不离开
当前块，因此没有
自动摧毁任何物体
储存期限（12.4）。如果退出是
调用期间结束程序
用静电破坏物体
存储持续时间，程序有
未定义的行为。

另一方面，如果抛出异常，则将调用析构函数。这是C++中异常安全的基础。

Answer 3

只要程序中的某些内容捕获了异常，异常就会调用析构函数。如果异常退出 main() 函数而未被捕获，则标准不要求运行时展开堆栈进行清理。

在 main() 函数中使用 a

try{
  // code
}catch(...){ //that elipsis should actually appear in your code
             //it doesn't mean I omitted code here.
  //code
}

将保证捕获每个异常，并调用所有析构函数。