C++中为什么需要将new对象通过独立语句置入智能指针

前面有提过可以通过智能指针管理资源来避免内存泄漏，但是在下面的代码中，仍有可能发生内存泄漏：

int priority();

ProcessWidget(std::tr1::shared_ptr<Widget> pw(new Widget()),  priority())

在ProcessWidget正式执行前，编译器还需要先完成以下三件事：

1) new Widget();

2) priority();

3) 调用std::tr1::shared_ptr<Widget>的构造函数

不同于Java或C#的顺序执行，在C++中，上面的三件事的执行顺序并不一定，如果编译器刚好按照上面的顺序执行，那么假如priority()执行过程中，抛出异常，那么第三件事就无法顺利执行，这样一来1）中分配的资源的指针就会遗失，造成资源泄漏。为了避免这样一个问题，将上面的语句分离：

std::tr1::shared_ptr<Widget> pw(new Widget());
ProcessWidget(pw，priority());

上面的代码中通过分离语句首先将new出的指针置入智能指针，就避免了因执行顺序带来的内存泄漏问题。

 

 

以上整理子Effective C++第三版 case17.