C/C++编程：以独立语句将newed对象置于智能指针

原因

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

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

理论上可以写成这样子的：

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

实际上上述调用可能导致资源泄漏。

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

• 执行new Widget表达式
• 指向shared< Widget>构造函数

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

• 调用priority()函数
• 执行new Widget表达式
• 指向shared< Widget>构造函数

C++编译器以什么样的次序完成这些事情呢？弹性很大，有可能是这样的：

• 执行new Widget表达式
• 调用priority()函数
• 指向shared< Widget>构造函数

那么，如果priority()函数抛出异常，会发生什么事？在此情况下，”new Widget“返回的指针会丢失，因为它尚未置于shared< Widget>内，从而导致资源泄漏。

避免这样的问题的方法很简单：

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

总结

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