【Effective C++】以独立语句将 new 出来的对象放入到智能指针

首先抛出结论：

当你 new 出来一块内存，并且想把他们放入到智能指针当中时，最好使用一条独立语句，否则可能会发生内存泄露。

下面再来讲讲原因：

考虑有这样一个函数 ProcessWidget：

class Widget;

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

然后我们再这样去使用它：

ProcessWidget(std::shared_ptr<Widget>(new Widget), CalPriority());

我们可能会认为，这个函数的调用执行顺序是这样的：

• 执行 new Widget
• 调用 std::shared_ptr<Widge> 的构造函数
• 执行 CalPriority函数计算优先级

然而，编译器真的是以这样的顺序调用吗？

其实并不一定。对于 Java 和 C# 语言来说，它们总是以特定的顺序去完成函数参数的核算。但是 C++ 并不是。 C++ 可能会由于某些优化原因而改变了上述的一个执行顺序。不过可以肯定的是，new Widget 的执行顺序一定在 shared_ptr 的构造函数执行前。而 CalPriority 函数的执行顺序就待定的。那么如果现在编译器采用了以第二位的顺序执行这个 CalPriority 函数，即执行顺序如下：

• 执行 new Widget
• 执行 CalPriority函数计算优先级
• 调用 std::shared_ptr<Widge> 的构造函数
  
  

现在，问题就暴露出来了。

如果 CalPriority 函数在执行的时候出现异常，则之前 new 出来的那一块内存返回的指针将会遗失，因为它还没有被放入到 shared_ptr 中，这样就导致了内存泄露。


避免的方法也很简单，以单独的语句去创建智能指针，然后把创建的智能指针去传递给函数，如下：

auto pw = std::shared_ptr<Widget>(new Widget);
ProcessWidget(pw, CalPriority());

编译器对于跨越语句的各种操作没有重新排列的自由，只有在语句内部才会有那个自由度。 因此，new 出来一块内存后会被立马放进 shared_ptr 中，中间而不会被其他语句分隔开来。