读书笔记_Effective_C++_条款十七：以独立语句将new产生的对象置入智能指针

举书上的例子：

int GetPriority();
void processWidget(shared_ptr<Widget> pw, int priority);

如果这样调用processWidget：

processWidget(new Widget(), GetPriority());

注意一下两边的类型，左边是管理者shared_ptr<Widget>类，而右边是被管理者Widget类，两边类型不等，编译器会试图执行类型隐式转换，但为了安全起见，shared_ptr的构造函数前面有修饰符explicit，它不允许发生隐式转换，所以编译器会报错。

但如果这样：

processWidget(shared_ptr<Widget> pw(new Widget), GetPriority());

就可以成功调用构造函数了。

但这里可能会发生内存泄露，不知道读者有没有发现。千万不要认为GetPriority()是个配角，它的存在恰好是我们下面要讨论的。

函数参数压栈的顺序与编译器有关，这里的实参到形参的传递过程其实是不确定的，即GetPriority()的调用很可能发生在new Widget之后，而在pw(new Widget)之前，这样万一GetPriority抛出了异常，而pw还没有来得及接管new Widget，这样就没有可能释放Widget资源了。也就是说，如果是按这个顺序执行的话：

(1)     new Widget

(2)     GetPriority() 并将返回值传给priority

(3)     pw接管newWidget，而后传给函数形参

就可能出现内存泄露。

那么怎样解决这个问题呢？

答案就是读书笔记的标题了：以独立语句将new产生的对象置入智能指针（因为“在资源被创建和资源被管理这两个时间点之间有可能发生异常干扰）。简言之，就是一条语句不要执行太多的操作，特别是这种内存管理的操作，分成几条独立的语句会安全一些。应该这样：

shared_ptr<Widget> pw(new Widget);
processWidget(pw, GetPriority());

这样不管函数是以怎样的顺序传参，在第一句的时候就保证了资源的成功接管，即使GetPriority()发生异常，shared_ptr也能及时释放掉资源，从而避免内存泄露。

最后总结一下：

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