以独立语句将newed对象置入智能指针——条款17

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

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

        由于谨记“以对象管理资源”（条款13）的智慧铭言，processWidget决定对其动态分配得来的Widget运用智能指针（这里采用tr1::shared_ptr）。

        现在考虑调用processWidget：

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

        上述调用虽然用了“对象管理式资源”，但可能泄漏资源。

详细分析：

        编译器产出一个processWidget调用码之前，必须首先核算即将被传递的各个实参，上述第二实参只是一个单纯的对priority函数的调用，但第一实参std::tr1::shared_ptr<Widget>(new Widget)由两部分组成：

• 执行“new Widget”表达式
• 调用tr1::shared_ptr构造函数

于是在调用processWidget之前，编译器必须创建代码，做以下三件事：

• 调用priority
• 执行“new Widget”
• 调用tr1::shared_ptr构造函数

       C++编译器以什么样的次序完成这些事情呢？弹性很大。可以确定的是“new Widget”一定执行于tr1::shared_ptr构造函数被调用之前，因为这个表达式的结果还要被传递作为tr1::shared_ptr构造函数的一个实参，但对priority的调用则无法确定，假如最终获得这样的调用顺序：

1. 执行“new Widget”
2. 调用priority
3. 调用tr1::shared_ptr构造函数

        现在请你想想，万一对priority的调用导致异常，会发生什么事？此情况下“new Widget”返回的指针将会遗失，因为它尚未被置入tr1::shared_ptr内，后者是我们期盼用来防卫资源泄漏的武器。

        避免这类问题的办法很简单：使用分离语句，分别写出：

（1）创建widget；

（2）将它置入一个智能指针内，然后再把那个智能指针传给processWidget：

std::tr1::shared_ptr<Widget>pw(new Widget);  // 在单独语句内以智能指针存储newed所得对象
processWidget(pw, priority());  // 这个调用动作绝不至于造成泄漏

        以上之所以行得通，因为编译器对于“跨越语句的各项操作”没有重新排列的自由（只有在语句内它才拥有那个自由度）。在上述修订后的代码内，“new Widget”表达式以及“对tr1::shared_ptr构造函数的调用”这两个动作，和“对priority的调用”是分隔开来的，位于不同语句内，所以编译器不得在它们之间任意选择执行次序。

请记住

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