条款17以独立语句将newed对象置入智能指针

野性酷女 2022-08-07 04:51 182阅读 0赞

总结：

以独立语句中将 new 出来的对象存入智能指针。如果疏忽了这一点，当异常发生时，有可能导致难以察觉的资源泄漏。

假设我们有一个函数用来揭示处理程序的优先权，另一个函数用来在某动态分配所得的Widget上进行某些带有优先权的处理：

int priority();  
void processWidget(std::tr1::shared\_ptr<Widget> pw, int priority);

不要忘记使用对象管理资源的至理名言，processWidget为处理动态分配的 Widget使用了一个智能指针（在此采用tr1::shared\_ptr）。现在考虑一个对processWidget 的调用：

processWidget(new Widget, priority());

以上调用不能通过编译。tr1::shared\_ptr构造函数需要一个原始指针，但该构造函数是个explicit构造函数，无法进行隐式转换，所以不能从一个由"new Widget"返回的原始指针隐式转换到 processWidget 所需要的 tr1::shared\_ptr。如果写成这样就可以通过编译：

processWidget(std::tr1::shared\_ptr<Widget>(new Widget), priority());

令人惊讶的是，尽管我们在这里使用了对象管理资源，这个调用还是可能泄漏资源。

在编译器能生成一个对 processWidget 的调用之前，必须首先核算即将被传递的各个实参。在调用 processWidget之前，编译器必须为这三件事情生成代码：

· 调用 priority。

· 执行 "new Widget"。

· 调用 tr1::shared\_ptr 的构造函数。

C++ 编译器允许在一个相当大的范围内决定这三件事被完成的顺序（这里与 Java 和 C\# 等语言的处理方式不同，那些语言里函数参数总是按照一个特定顺序被计算）。可以确定的是"new Widget"一定在 tr1::shared\_ptr 构造函数被调用之前执行，因为这个表达式的结果要作为一个参数传递给 tr1::shared\_ptr 的构造函数，但是 priority 的调用可以排在第一第二或第三个执行。如果编译器选择第二个执行它（或许能生成更有效率的代码），我们最终得到这样一个操作顺序：

1. 执行 "new Widget"。

2. 调用 priority。

3. 调用 tr1::shared\_ptr 的构造函数。

现在如果对 priority 的调用引发一个异常将发生什么？在这种情况下，从 "new Widget" 返回的指针被丢失，因为它没有被存入我们期望能阻止资源泄漏的tr1::shared\_ptr。由于一个异常可能插入“资源被创建（经由newWidget）”和“资源被转换为资源管理对象”两个时间点之间，所以调用processWidget可能会发生一次泄漏。

避免这类问题的方法很简单：使用分离语句，分别写出（1）创建Widget，（2）将它置入一个智能指针内，然后再把那个智能指针传给processWidget：

std::tr1::shared\_ptr<Widget> pw(newWidget);

// 在单独语句内以智能指针存储newed所得对象

processWidget(pw, priority()); // 这个调用动作绝不至于造成泄漏

这样做之所以行得通，是因为编译器对于跨越语句的各项操作没有重新排列的自由（只有在语句内才拥有那个自由度）。"new Widget" 表达式以及tr1::shared\_ptr构造函数调用这两个动作，与 priority的调用在不同的语句中，所以编译器不得在它们之间任意选择执行次序。