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());

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

转载于:https://www.cnblogs.com/lidan/archive/2012/01/16/2323517.html