抛出异常时是删除静态对象还是仅删除本地对象？

Question

#include <iostream>
#include <exception>
using std::cout;
using std::endl;
class test
{
 public:
    test()
    {
        cout<<"constructor called"<<endl;
    }
    ~test()
    {
        cout<<"destructor called"<<endl;
    }
    void fun(int x)
    {
       throw x;
    }
};

int main()
{
    try
    {
        static test k;          
        k.fun(3);
    }
    catch(int k)
    {
        cout<<"exception handler"<<endl;
    }
}

当抛出异常时，然后在堆栈展开过程中，我认为只有本地对象被破坏，而不是静态或堆对象。如果这是真的，我不确定为什么要调用类（测试）析构函数？谢谢。

Answer 1

在 main 退出后调用测试析构函数。

    catch(int k)
    {
        cout<<"exception handler"<<endl;
    }
    // Added this line
    std::cout << "Main Exiting\n";
}

正在测试

> g++ test.cpp
> ./a.out
constructor called
exception handler
Main Exiting
destructor called

Static（静态存储持续时间对象）在 main 退出后按创建的相反顺序销毁。

Answer 2

调用析构函数是因为您的程序正在退出。只有自动存储持续时间的对象（绝对不是堆栈对象或堆对象）被销毁。

Answer 3

运行这段代码时，我得到了输出

constructor called
exception handler
destructor called

这是有道理的。首先调用静态test 对象的构造函数。当异常被抛出时，它被异常处理程序捕获并打印消息。最后，当程序终止时，静态test 对象的析构函数被调用。

假设异常实际上在某处被捕获，异常只会导致具有自动持续时间的变量（即本地变量）的生命周期结束。异常不会破坏具有动态持续时间的对象（即使用new 分配的对象），但如果动态分配对象的构造函数中发生异常，则内存将被回收，因为否则无法取回内存。同样，static 对象不会被销毁，因为它们应该在整个程序中持续存在。如果它们被清理，如果对这些对象的引用在程序中传递，则可能会导致问题。

希望这会有所帮助！