Effective C++笔记之十三:以独立语句将newed对象置入智能指针

        假设我们有个函数用来揭示处理程序的优先权,另一个函数用来在某动态分配所得的Widget 上进行某些带有优先权的处理:

int priority () ;  
void processWidget(std::trl::shared_ptr<Widget> pw, int priority); 

       考虑如下调用:

processWidget(std::trl::shared ptr<Widget> (new Widget) , priority());  

       令人惊讶的是,虽然我们在此使用"对象管理式资源"( object-managing resources) ,上述调用却可能泄漏资源。

       编译器产出一个processWidget调用码之前,必须首先核算即将被传递的各个实参。上述第二实参只是一个单纯的对priority 函数的调用,但第一实参std::trl::shared_ptr<Widget> (new Widget) 由两部分组成:
1.执行"new Widget" 表达式
2.调用trl::shared_ptr 构造函数
       于是在调用processWidget之前,编译器必须创建代码,做以下三件事:
1.调用priority
2.执行"new Widget"
3.调用trl::shared_ptr 构造函数
       C++ 编译器以什么样的次序完成这些事情呢?弹性很大。这和其他语言如Java和C# 不同,那两种语言总是以特定次序完成函数参数的核算。可以确定的是"new Widget" 一定执行于trl::shared_ptr 构造函数被调用之前,因为这个表达式的结果还要被传递作为trl::shared_ptr 构造函数的一个实参,但对priority的调用则可以排在第一或第二或第三执行。如果编译器选择以第二顺位执行它(说不定可因此生成更高效的代码,谁知道!) ,最终获得这样的操作序列:
1.执行"new Widget"
2.调用priority
3.调用trl::shared_ptr构造函数
       现在请你想想,万一对priority 的调用导致异常,会发生什么事?在此情况下"new Widget" 返回的指针将会遗失,因为它尚未被置入trl::shared_ptr 内,后者是我们期盼用来防卫资源泄漏的武器。是的,在对processWidget的调用过程中可能引发资源泄漏,因为在"资源被创建(经由"new widget") "和"资源被转换为资源管理对象"两个时间点之间有可能发生异常干扰。

       避免这类问题的办法很简单:使用分离语旬,分别写出(1)创建Widget , (2) 将它置入一个智能指针内,然后再把那个智能指针传给processWidget:

std::trl::shared ptr<Widget> pw(new Widget);// 以独立语句将newed 对象存储于(置入)智能指针内  
processWidget(pw, priority());              // 这个调用动作绝不至于造成泄漏。 
        以上之所以行得通,因为编译器对于"跨越语句的各项操作"没有重新排列的自由(只有在语句内它才拥有那个自由度)。在上述修订后的代码内,"new Widget"表达式以及"对trl::shared_ptr 构造函数的调用"这两个动作,和"对priority的调用"是分隔开来的,位于不同语句内,所以编译器不得在它们之间任意选择执行次序。


需要记住的

以独立语句将newed 对象存储于(置入)智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄漏。


评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

草上爬

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

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

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

打赏作者

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

抵扣说明:

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

余额充值