1. 可能会出现资源泄漏的一种用法
假设我们有一个获取进程优先权的函数,还有一个在动态分配的Widget对象上根据进程优先权进行一些操作的函数:
1 int priority(); 2 3 void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);
注意这里使用了对象管理资源的用法(Item 13),processWidget为它需要处理的动态分配对象Widget使用了智能指针(tr1::shared_ptr)。
现在考虑对processWidget函数的调用:
1 processWidget(new Widget, priority());
这个函数调用不能通过编译,因为在tr1::shared_ptr构造函数中显示的使用了一个原生指针,而不能将“new Widget”返回的原生指针直接隐式转换为tr1::shared_ptr。下面的代码将会通过编译:
1 processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());
虽然这里我们使用了对象类管理资源,但是这个调用仍然可能出现内存泄漏。如何才能出现资源泄漏呢?
2. 在什么情况下会出现资源泄漏?
在编译器生成一个对processWidget的调用之前,它们必须对函数参数做一些检查。第二个参数只是调用了函数priority,但是第一个参数包含两部分:
- New Widget的执行
- 对tr1::shared_ptr构造函数的调用
在调用processWidget之前,编译器必须为下面的三个步骤生成代码:
- 调用priority
- 执行 “new Widget”
- 调用tr1::shared_ptr构造函数。
对于上面三个步骤的执行顺序,c++编译器被给予了相当大的自由。(这同java和c#不同,这两门语言的执行顺序固定)“new Widget”表达式必须在tr1::shared_ptr构造函数之前被调用,因为它的结果会传递给tr1::shared_ptr作为参数,但是对priority()函数的执行次序是任意的(第一个,第二个,第三个执行都可以)。如果编译器选择第二个执行(因为这样可能会生成更高效的代码),执行顺序如下:
- 执行 “new Widget”
- 调用priority
- 调用tr1::shared_ptr构造函数。
如果调用priority时产生异常将会发生什么?在这种情况下,从”new Widget”返回的指针会被丢失,因为它没有存入tr1::shared_ptr中,但我们的原意是使用tr1::shared_ptr来防止资源泄漏。对processWidget的调用会使资源泄漏发生,因为在资源被创建和将资源转交给资源管理对象的时间间隔内插入了异常。
3. 如何避免资源泄漏
防止这个问题的方法比较简单:使用一个单独的句子创建Widget并将其存入智能指针,然后将智能指针传入processWidget:
1 std::tr1::shared_ptr<Widget> pw(new Widget); // store newed object 2 3 // in a smart pointer in a 4 5 // standalone statement 6 7 processWidget(pw, priority()); // this call won’t leak
这种方法是行得通的,编译器被给予更少的余地来对语句进行重新排序。在上面的代码中,我们将“new Widget”以及对tr1::shared_ptr构造函数的调用放在一个语句中,把对priority的调用放在另一个语句中,这样就不允许编译器在”new Priority”和tr1::shared_ptr构造函数之间执行priority。
4. 总结
在智能指针中存储new出来的对象时要用单独的语句,不然抛出异常的时候会发生微妙的资源泄漏。