前面有提过可以通过智能指针管理资源来避免内存泄漏,但是在下面的代码中,仍有可能发生内存泄漏:
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.