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

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

    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

静态（静态存储持续时间对象）在主要退出后以与创建相反的顺序销毁。

Answer 2

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

Answer 3

运行此代码时，我得到输出

constructor called
exception handler
destructor called

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

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

希望这有帮助！

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

3 个答案: