int priority(); void processWidget(std::tr1::shared_ptr<Widget> pw, int priority); |
processWidget(new Widget, priority()); |
processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority()); |
在编译器能生成一个对 processWidget 的调用之前,它们必须传递实际参数来计算形式参数的值。第二个实际参数不过是对函数 priority 的调用,但是第一个实际参数("std::tr1::shared_ptr<Widget>(new Widget)"),由两部分组成:
·表达式 "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。由于一个异常可能插入资源创建的时间和将资源交给一个资源管理对象的时间之间,所以调用 processWidget 可能会发生一次泄漏。 避免类似问题的方法很简单:用一个单独的语句创建 Widget 并将它存入一个智能指针,然后将这个智能指针传递给 processWidget:
std::tr1::shared_ptr<Widget> pw(new Widget); // store newed object // in a smart pointer in a // standalone statement processWidget(pw, priority()); // this call won’t leak |
Things to Remember
·在一个独立的语句中将 new 出来的对象存入智能指针。如果疏忽了这一点,当异常发生时,可能引起微妙的资源泄漏。