Effective C++资源管理之（以独立语句将newed对象置入智能指针）

Effective C++资源管理之（以独立语句将newed对象置入智能指针）

问题聚焦:

• 使用了资源管理对象（如智能指针），就一定是安全的吗？显然不是。
• 资源泄露发生可能在于，在“资源被创建”和“资源被转换为资源管理对象”两个时间点之间有可能发生异常干扰。

解决方案：最好以独立语句的形式将对象置入智能指针（智能指针初始化）

假设我们有个根据Widget进行优先权处理的函数：

int priority();
void processWidget(shared_ptr<Widget> pw, int priority());

// 现在考虑调用processWidget
processWidget(new Widget, priority());        // 显然编译是不通过的，shared_ptr构造函数为explicit，无法进行隐式转换。
 
// 如果像下面这样调用即可
processWidget(std::tr1::shared_prt<Widget>(new Widget), priority());        // 编译通过

然而令人惊讶的是，上述正确的调用方法，却可能发生 资源泄露。
分析：
调用processWidget之前，编译器需要做三件事：

• 调用priority
• 执行“new Widget”
• 调用tr1:shared_ptr构造函数

问题在于：C++编译器是以什么样的次序完成这些事情的呢？
答案是不确定的。
可以确定的是：new Widget 一定执行于 shared_ptr 构造函数被调用之前。
但是对 priority() 的调用则可以排在第一第二或第三的位置。
当 priority() 的调用排在第二的位置时，执行次序如下：

1. 执行new Widget
2. 调用 priority()
3. 调用 shared_ptr 构造函数

潜在的问题：如果第二步发生异常，new Widget 返回的指针将会遗失。
所以，资源泄露发生可能在于，在“资源被创建”和“资源被转换为资源管理对象”两个时间点之间有可能发生异常干扰。

解决的方案：使用分离语句，分别写出执行new Widget、调用 shared_ptr 构造函数

std::tr1::shared_ptr<Widget> pw(new Widget);
processWidget(pw, priority());

依据在于：编译器对于“跨越语句的各项操作”没有重新排列的自由。

小结：
以独立语句将newed对象存储于智能指针内，如果不这样做，一旦异常被抛出，有可能导致难以察觉的资源泄漏。