异常(exception)是C++的一个非常重要的特性,它可以把不希望出现的情况交给非常外层的未知程序处理,简化程序逻辑。
但是按照传统的C语言方式编写WinSDK程序却可能出现catch以后局部变量HANDLE没有关闭的问题,也就是异常安全性出问题了。
但是不幸的是,C++标准库处处都可能产生异常,你基本不可能知道哪里会产生一个异常。
一般来说,如果混合了一段资源申请释放和C++标准库的代码,并且这个代码可能在任何时间抛出异常,这样的话是不允许catch异常的。如果不确定内部函数是否会抛出异常,以及外部是否会进行catch,这时就要让异常变为不可扩散的。
最简单的方法,就是try catch terminate(C++11的noexcept):
try
{
// 混合资源申请释放和标准库的代码
}
catch (...) // 注意:这里的...就是三个点,不是省略号
{
terminate();
}
其实,我们一般担心的是标准库异常,而标准库异常都是exception的子类型,因此可以这么写:
try
{
// 混合资源申请释放和标准库的代码
}
catch (exception&)
{
terminate();
}
如果没有混合资源申请释放和C++标准库代码,或者完全不使用catch,则不需要try catch terminate。
如果需要可调试性的话,可以将所有未定义异常统一为一种异常,构造函数传递__FILE__和__LINE__,或者直接调用terminate();前面设置全局变量的方法传递__FILE__和__LINE__。
try
{
// 混合资源申请释放和标准库的代码
}
catch (exception&)
{
// 抛出一个自定义异常
throw FatalAppException(__FILE__, __LINE__);
// 或者使用设置全局变量的方法
g_terminatefile = __FILE__;
g_terminateline = __LINE__;
terminate();
}
如果需要友好地处理这些错误,就在main或WinMain中catch (FatalAppException&)或set_terminate就行了,然后向用户报告出错的源代码文件及行数,以及开发者的联系方式。
我们可以定义一组宏,这样可以在两种方案之间转换,不需要改动大量已有代码:
// 使用std::terminate
#define noexcept_begin try {
#define noexcept_end } catch (...) { std::terminate(); }
#define nostdex_begin try {
#define nostdex_end } catch (std::exception&) { std::terminate(); }
// 使用自定义异常
#define noexcept_begin try {
#define noexcept_end } catch (...) { throw FatalAppException(__FILE__, __LINE__); }
#define nostdex_begin try {
#define nostdex_end } catch (std::exception&) { throw FatalAppException(__FILE__, __LINE__); }
这样只需要在nostdex_begin;和nostdex_end;之间编写代码,就可以保证眼不见心不烦了。
nostdex_begin;
// 混合资源申请释放和标准库的代码
nostdex_end;
不要RAII,RAII不能解决问题,它只会让你想看到的代码变漂亮,Common.h里会堆成山的RAII类,看都不想看。如果真的需要将未知异常外抛(通常不要这么做,这是个灾难),就用这个笨办法:
inline void cleanup(HANDLE &h1)
{
// 清理h1
}
// 代码
HANDLE h1 = NULL;
try
{
// 混合资源申请释放和标准库的代码
}
catch (...)
{
cleanup(h1);
throw;
}
cleanup(h1);
引用 金星凌日:RAII是用来确保资源释放的,而noexcept是用来声明不可被异常分割(然后在某处被catch继续执行)的代码的(防止了未知异常扩散),这两个用法并不一致。。。
在这里用RAII会有什么样的问题呢?
引用 acmilan:
RAII是用来确保资源释放的,而noexcept是用来声明不可被异常分割(然后在某处被catch继续执行)的代码的(防止了未知异常扩散),这两个用法并不一致。。。
事实上RAII是个有效的资源释放保证……
引用 金星凌日:资源泄露并不是绝对的,大部分时候是相对的,通常是在循环里发生的。比如在一个循环里边频繁catch (...){}为了并被当做了正确用法,然而在里边CreateFile与CloseHandle之间的代码被range_error之类的防不胜防的讨厌的标准库异常打断。。。
但你的例子中noexcept也只是为了避免资源泄漏。
标准库的异常并不存在“库作者的疏忽导致即使捕获异常也会资源泄漏”的情况。但除了这种情况外,我想不出还有什么情况下不能捕获并处理所有异常。