析构函数
- 如果这个类有虚函数,那么一定要让析构函数称为虚函数,这个很容易理解
- 如果这个类不可能被继承,就不要让析构函数成为虚函数,毕竟虚函数表和指针都会带来额外的开支。
别让异常逃离析构函数
背景
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更好。