条款07:为多态基类声明virtual析构函数

析构函数

• 如果这个类有虚函数，那么一定要让析构函数称为虚函数，这个很容易理解
• 如果这个类不可能被继承，就不要让析构函数成为虚函数，毕竟虚函数表和指针都会带来额外的开支。

别让异常逃离析构函数

背景

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

上面的代码，当析构失败的时候，析构函数就会把异常往外抛。理论来说你往外抛就抛呗，能有啥影响？其实不然，主要有两个原因:

• 析构函数中有异常发生，可能会导致异常后的资源得不到释放。
• 更为严重的是如果vector中包含10个对象，析构第一个元素的时候抛出了异常，但是其他的对象还是应该被销毁，析构第二个元素的时候又抛出了异常。在两个异常同时存在的情况下，程序若不是结束执行就是导致不明行为。不明行为意思就是不清楚，简单理解就是可能继续运行，但是你的资源没有释放，会出现资源泄漏
  为此可以如下解决：

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;
}

为什么这样设计，因为只有析构函数的异常会带来不确定行为，而其他函数抛出异常会有确定的行为，比如如果close抛出异常会是一个确定的数字1，那么当你收到异常1你作为用户可以设置相应的处理方案，忽略或者关机或者再次尝试。但是如果是析构函数抛出异常，有可能抛出1或者不抛出，或者抛出其他的什么玩意，不具有确定性，所以唯一的方案只能是catch(…)后退出程序，相比之下用户自己定义一个close更好。