网站导航
> 文章列表 > 条款08: 别让异常逃离析构函数

条款08: 别让异常逃离析构函数

网友: 文章列表 2024-03-21 20:15:55

条款08: 别让异常逃离析构函数

文章目录

背景知识

下面是一段测试代码：

class Test
{
public:Test(int para){m_num = para;};void test_throw(){throw(3);};~Test() {cout<<"delete Test="<<m_num<<endl;//test_throw();};int m_num;
};
int main() {try {Test t1(1);throw(1);Test t2(2);}catch(...) {cout<<"catch except"<<endl;}return 0;
}
  • 在try的代码块里，一旦某一行抛出异常，那么该行后的代码就不会执行
  • try的代码块作用域结束时，前面对象会调用析构函数

输出结果验证上面的结论
条款08: 别让异常逃离析构函数

  • 如果一个try的代码块抛出两个异常，但是catch只能抓住一个，然而标准说：throw will always call terminate()程序就会自动停止。

把上面的test_throw()注释掉就可以了，注意这里直接在析构函数里写throw, C++11在编译的时候会给提醒，所以索性弄一个函数包装一些。

条款08: 别让异常逃离析构函数

析构函数

  1. 根据上面的说明，一般对象在作用域抛出异常后还是要析构的，一旦该对象在析构时再次抛出异常，就会导致程序终止，异常捕获将失去了意义。
  2. 假如只有析构函数抛出异常，比如try中有三个对象，第一个对象析构抛出异常后，后面的第二个对象再抛出异常一样会导致程序终止(书上说会也有可能导致不确定行为，gcc4.6.4复现的结果是直接终止)

注意，在C++11中，析构函数默认是noexcept的，一个noexcept的函数一旦抛出异常，程序就会直接终止的，所以目前C++11中，该条目已经有点过时了，但是下面的设计思路还是要掌握的。

class DBConnection
{
public: ~DBConnection(){db.close();}
private:DB db;
}

上面的代码，当析构失败的时候，析构函数就会把异常往外抛。C++11中会直接终止程序。

class DBConnection
{
public: ~DBConnection(){try{db.close();}catch(...){std::abort();}}
private:DB db;
}

上述代码可以直接捕获异常，强制结束程序，不让你出现继续运行的可能。
还有一种是书上推荐的方案，在paddle框架的代码中也看到了相关设计理念paddle/fluid/memory/allocation/mmap_allocator.cc:166L, 具体实现如下：

class DBConnection
{
public: void Close(){db.close();closed = true;}~DBConnection(){if(!colsed){try{db.close();}catch(...){std::abort();}}}
private:DB db;bool closed;
}

为什么这样设计，因为析构函数是noexcept(这里不考虑C++98)，异常会导致程序终止，而其他函数抛出异常则还有抢救机会，比如如果close抛出异常会是一个确定的数字1，那么当你收到异常1你作为用户可以设置相应的处理方案，忽略或者关机或者再次尝试。相比之下用户自己定义一个close更好。

网络标签：

相关问题