条款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的代码块作用域结束时，前面对象会调用析构函数

输出结果验证上面的结论

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

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

在这里插入图片描述

析构函数

根据上面的说明，一般对象在作用域抛出异常后还是要析构的，一旦该对象在析构时再次抛出异常，就会导致程序终止，异常捕获将失去了意义。
假如只有析构函数抛出异常，比如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;
}