More Effective C++ 条款11:禁止异常流出析构之外

两种情况下析构会被调用。第一种是当对象在状态下被销毁,也就是离开它的生存空间或是被明确删除;第二种情况是当对象被异常处理机制——也就是异常传播过程中的stack-unwinding(栈展开)机制——销毁。

在运行时期间从函数调用栈中删除函数实体,称为栈展开。栈展开通常用于异常处理。
在C++中,如果一个异常发生了,会线性的搜索函数调用栈,来寻找异常处理者,并且带有异常处理的函数之前的所有实体,都会从函数调用栈中删除。
所以,如果异常没有在抛出它的函数中被处理,则会激活栈展开。

参考下面程序:

#include <iostream>
using namespace std;
 
// 函数f1会抛出一个异常
void f1() throw (int) {
    cout << "f1() Start " << endl;
    VehicleSurrogate va;
    throw 100;
    cout << "f1() End " << endl;
}
 
// 调用函数f1
void f2() throw (int) {
    cout << "f2() Start " << endl;;
    f1();
    cout << "f2() End " << endl;
}
 
// 调用函数f2,并处理f1()抛上来的异常
void f3() {
    cout << "f3() Start " << endl;
    try {
        f2();
    }
    catch (int i) {
        cout << "Caught Exception: " << i << endl;
    }
    cout << "f3() End" << endl;
}
 
// 演示栈展开过程的程序
int main() {
    f3();
    return 0;
}

//输出:
f3() Start
f2() Start
f1() Start
VehicleSurrogate  constructor
VehicleSurrogate  destructor
Caught Exception: 100
f3() End

上述程序中, 当函数f1抛出异常后,它的实体会从函数调用栈中删除掉(因为f1中没有包含异常处理代码),然后下一个调用栈的实体用来查找异常处理者。
此例子中,下一个实体是f2()。因为f2中也没有包含异常处理代码,则它的实体也会从函数调用栈中移除。
再下一个实体是f3()。因为f3包含了异常处理,则f3中的catch代码块会被执行,最后catch代码块后面的代码也会执行。

注意:f1()与f2()中的如下面所示的代码完全没有执行。
//f1()中没有被执行的代码
cout<<"\n f1() End ";
//f2()中没有被执行的代码
cout<<"\n f2() End ";

另外需要注意的是:如果f1()和f2()中定义了一些局部对象,则在栈展开的过程中,这些局部对象的析构函数会被调用到。
这条规则只使用于栈上分配的对象,对于new出来的对象,则还是需要手动delete。
如果控制权基于异常的因素离开析构,而此时正有另一个异常处于作用状态,C++会调用terminate函数,结束掉程序。

示例程序:

Session::~Session()
{
    try{
        logDestruction(this);
    }catch(...){ } //什么都不做,阻止异常传出析构之外
}

这样的好处是,如果一个Session对象因为栈展开而被销毁,terminate并不会被调用。

禁止异常流出析构之外的第二个理由是,如果异常从析构内抛出,而没有在当地被捕捉,那么这个析构就执行不全,如果析构执行不全,就是没有完成它应该完成的每一件事。

因此,有两个好的理由支持我们全力阻止异常流出析构之外。第一,它可以避免terminate函数在异常传播过程的栈展开机制中被调用。第二,它可以协助确保析构完成其应该完成的所有事情。

  • 0
    点赞
  • 0
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:我行我“速” 设计师:Amelia_0503 返回首页
评论

打赏作者

娱乐界祖师爷

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值