首先抛出结论:
当你 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 中,中间而不会被其他语句分隔开来。