c++之别让异常逃离析构函数

关于

• 本文代码演示环境： VS2017.
• 代码写的够不规范，目的是为了缩短文章篇幅.
• 本文主要是为了加深印象，写了好多次的代码，还是忘记了这茬。。。。 之前上传到github的代码会慢慢改过来。
• 本文知识要点来自：《Effective C++》

1.析构函数中出现异常

析构函数中出现异常，异常可能来自自身，也可能是析构其他对象是传下来的。先看个例子

class YYY
{
public:
	~YYY()
	{
		// 自己手动抛出一个异常。用来模拟异常出现在析构函数
		throw 1;
	}
};

正如注释中说的，析构函数中，手动抛出异常。

代码语法也正确，当执行析构函数时，程序出现了错误，并中止了程序的运行。 程序错误 如下：

图中可以看出，调用函数abort函数（终止了程序）

当使用VS2017编译这份代码时，编译器也给出了警告和提示：

1>XXXXXXX\consoleapplication2.cpp(775): warning C4297: “YYY::~YYY”: 假定函数不引发异常，但确实发生了
1>XXXXXXX\consoleapplication2.cpp(775): note: 析构函数或释放器具有一个(可能是隐含的)非引发异常规范

总结

• 可见，但析构函数出现异常，程序会自动终止。
• 应该避免析构函数出现异常。

2.避免析构函数出现异常。

• 《Effective C++》的意见：析构函数应该吞下不传播异常，或者结束程序，而不是吐出异常；如果要处理异常应该在非析构的普通函数处理

照做

class YYY
{
public:
	~YYY()
	{
		uninit();
	}

private:
	// 析构前调用
	void uninit()
	{
		try
		{
			// 自己手动抛出一个异常。
			throw 1;
		}
		// 吞并所有异常。
		catch (...)
		{
			std::cout << "void YYY::uninit() exception\n\n";
		}
	}
};

• 这里，定义了一个函数Uninit，处理异常。还是手动模拟抛出一个异常。接着，析构函数再调用该函数，这样就将处理异常放在了析构函数之外。
• 运行结果
  
  

可见，同样的代码，这次正常运行了。 虽然抛出了异常，但是类YYY将其吞下。避免析构异常调用abort函数终止程序。

最后

Note： 不要让异常逃离析构函数。