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

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 分配的对象），但如果动态分配对象的构造函数中发生异常，则内存将被回收，因为否则无法获取记忆回来了。同样，静态对象不会被销毁，因为它们应该在整个程序中持续存在。如果它们被清理掉，并且在程序中传递对这些对象的引用，则可能会导致问题。

希望这有帮助！