effective C++ 条款 17:以独立语句将newed对象置入智能指针

假设一个函数用来揭示处理程序的优先权

int priority();

另一个函数用来在动态分配的Widget上进行某些带有优先权的处理:

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

考虑调用processWidget:

processWidget(new Widget, priority());

上面这种调用不能通过编译,std::tr1::shared_ptr构造函数需要一个原始指针,但是,这个构造函数是explicit构造函数,无法进行隐式转换。

processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());

上面虽然可以通过编译,但却仍然可能泄露资源。

编译器产出一个processWidget调用之前,必须先核算即将被传递的各个实参。第一个实参有两部分组成:

1.执行“new Widget”表达式。

2.调用tr1::shared_ptr构造函数。

第二个实参是调用priority函数。

c++编译器以什么次序完成这些事情,弹性很大,但是“new Widget”一定在tr1::shared_ptr之前,因为new Widget的结果还要被传递作为tr1::shared_ptr构造函数的一个实参。但对priority的调用可能排在第一或第二或第三。如果编译器选择第二顺位执行它:

1.执行“new Widget”

2。调用“priority()”

2.调用tr1::shared_ptr构造函数

万一对priority的调用导致异常,会发生什么事情?new Widget返回的指针将会遗。因为它尚未置入tr1::shared_ptr中。而后者是我们期盼用来防卫资源泄漏的武器。

避免这类问题的办法很简单:使用分离语句:

std::tr1::shared_ptr<Widget> pw(new Widget);//在单独语句内以智能指针存储newed所得对象
processWidget(pw, priority());

编译器对于“跨越语句的各项操作”没有重新排列的自由(只有在语句内才有那个自由度)。

posted @ 2012-01-16 13:56  lidan  阅读(275)  评论(0编辑  收藏  举报