Effective C++条款17：资源管理之（以独立语句将newed对象置入智能指针）

一、演示案例

• 现在我们有个函数返回处理程序的优先权，然后用另一个函数在某动态分配所得的Widget上进行某些带有优先权的处理

//返回优先权
int priority();

//根据优先权处理对象
void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);

• 如果我们使用下面的方法调用函数是错误的：因为processWidget参数1需要传入一个shared_ptr类型的对象，二shared_ptr的构造函数是explicit，因此无法进行隐式转换

processWidget(new Widget, priority());

• 下面的形式才是正确的调用方法，此处我们调用shared_ptr的构造函数构造一个对象，然后传入到函数中

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

• 但是此种调用情况可能会造成资源泄漏，见下面的介绍

二、智能指针资源泄漏

• 在上面的演示案例中，我们以下面的形式调用了processWidget函数：

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

• 对于上面的processWidget函数调用一共会有3件事情会做（不分次序）：
  • 调用prioriry()函数
  • 执行new Widget
  • 调用shared_ptr的构造函数

processWidget的参数执行顺序

• C++对于函数参数的调用顺序会不同，C++不像java和C#那样以特定的次序完成函数参数的核算
• 在上面的processWidget函数调用中，我们可以确定“new Widget”一定是在shared_ptr的构造函数前执行的，但是prioriry()函数的调用次序我们就不一定知晓了
• 因此在参数执行次序中一共会有下面3种情况：
  • 情况①：
    • 调用prioriry()函数
    • 执行new Widget
    • 调用shared_ptr的构造函数
  • 情况②：
    • 执行new Widget
    • 调用prioriry()函数
    • 调用shared_ptr的构造函数
  • 情况③：
    • 执行new Widget
    • 调用shared_ptr的构造函数
    • 调用prioriry()函数
• 分析情况②：如果在调用prioriry()函数的时候程序抛出了异常，那么new Widget返回的指针将会丢失，没有被放入到shared_ptr的构造函数中，那么就造成内存泄漏了

三、以独立语句将newed对象置入智能指针

• 在上面的分析中，我们可以看到在“资源创建（new）”和“资源被使用”之间如果发生了异常，那么就会造成资源泄漏
• 解决办法：避免这类问题就是分离语句，将“创建的对象”与“放入智能指针对象”这两个步骤合成一步完成，而不是在函数调用中完成
• 例如，下面的函数调用就不会产生错误：

std::tr1::shared_ptr<Widget> pw(new Widget); //以单独语句存储对象
processWidget(pw, priority()); //安全调用函数

四、总结

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