Item 17: 在 standalone statements(独立语句)中将 new 出来的 objects(对象)存入 smart pointers(智能指针)
作者:Scott Meyers
译者:fatalerror99 (iTePub's Nirvana)
发布:http://blog.csdn.net/fatalerror99/
假设我们有一个函数用于取得我们的 processing priority(处理优先级),还有第二个函数用于根据 priority(优先级)对一个 dynamically allocated(动态分配)的 Widget 做一些处理:
int priority();
void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);
不要忘记 using objects to manage resources(使用对象管理资源)的至理名言(参见 Item 13),processWidget 为 dynamically allocated(动态分配)的 Widget 使用了一个 smart pointer(智能指针)(在此,是一个 tr1::shared_ptr)。
现在考虑一个对 processWidget 的调用:
processWidget(new Widget, priority());
且慢,别想这样调用。它不能编译。tr1::shared_ptr 的取得一个 raw pointer(裸指针)的 constructor(构造函数)是 explicit(显式)的,所以没有从表达式 "new Widget" 返回的 raw pointer(裸指针)到 processWidget 所需的 tr1::shared_ptr 之间的隐式转换。然而,下面的代码,是可以编译的:
processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());
令人惊讶的是,尽管我们这里到处都在使用 object-managing resources(由对象管理的资源),这个调用还是可能泄漏资源。看看这是如何发生的会得到一些启示。
在编译器可以生成一个对 processWidget 的调用之前,它们必须计算被作为 parameters(形参)传递的 arguments(实参)的值。第二个 arguments(实参)不过是对函数 priority 的一个调用,但是第一个 arguments(实参) ("std::tr1::shared_ptr<Widget>(new Widget)"),由两部分组成:
- 表达式 "new Widget" 的执行。
- 对 tr1::shared_ptr constructor(构造函数)的一个调用。
因此,在 processWidget 可以被调用之前,编译器必须生成代码来做这三件事:
- 调用 priority。
- 执行 "new Widget"。
- 调用 tr1::shared_ptr constructor(构造函数)。
C++ 编译器允许在一个相当大的范围内决定这三件事被完成的顺序。(这里与 Java 和 C# 等语言的处理方式不同,那些语言里 function parameters(函数参数)总是按照一个特定的顺序被计算。)"new Widget" 表达式一定在 tr1::shared_ptr constructor(构造函数)能被调用之前执行,因为这个表达式的结果要作为一个 argument(实参)传递给 tr1::shared_ptr constructor(构造函数),但是对 priority 的调用可以在第一个,第二个或第三个执行。如果编译器选择第二个执行它(大概这样能使它们生成更有效率的代码),我们最终得到这样一个操作顺序:
- 执行 "new Widget"。
- 调用 priority。
- 调用 tr1::shared_ptr constructor(构造函数)。
但是请考虑,如果对 priority 的调用引发一个 exception(异常),将发生什么。在这种情况下,从 "new Widget" 返回的 pointer(指针)被丢失,因为它没有被存入我们期望能阻止 resource leaks(资源泄漏)的 tr1::shared_ptr。由于一个 exception(异常)可能会插入到一个资源被创建的时间和那个资源被交给一个 resource-managing object(资源管理对象)的时间之间,所以在对 processWidget 的调用中可能会发生一次泄漏。
避免类似问题的方法很简单:用一个单独的语句创建 Widget 并将它存入一个 smart pointer(智能指针),然后将这个 smart pointer(智能指针)传递给 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
这样能工作是因为编译器在不同的语句之间重新安排操作顺序的活动余地比在一个语句之内要小得多。在这个经过修改的代码中,"new Widget" 表达式和对 tr1::shared_ptr constructor(构造函数)的调用,与对 priority 的调用在不同的语句中,所以编译器不会允许对 priority 的调用被插入到它们中间。
Things to Remember
- 在 standalone statements(独立语句)中将 new 出来的对象存入 smart pointers(智能指针)。如果疏忽了这一点,当 exceptions(异常)被抛出时,可能引起微妙的 resource leaks(资源泄漏)。