Effective C++笔记之十三：以独立语句将newed对象置入智能指针
扫描二维码
随时随地手机看文章
假设我们有个函数用来揭示处理程序的优先权，另一个函数用来在某动态分配所得的Widget 上进行某些带有优先权的处理:
int priority () ;
void processWidget(std::trl::shared_ptr pw, int priority); 考虑如下调用:
processWidget(std::trl::shared ptr (new Widget) , priority()); 令人惊讶的是，虽然我们在此使用"对象管理式资源"( object-managing resources) ，上述调用却可能泄漏资源。
编译器产出一个processWidget调用码之前，必须首先核算即将被传递的各个实参。上述第二实参只是一个单纯的对priority 函数的调用，但第一实参std::trl::shared_ptr
1.执行"new Widget" 表达式
2.调用trl::shared_ptr 构造函数
于是在调用processWidget之前，编译器必须创建代码，做以下三件事：
1.调用priority
2.执行"new Widget"
3.调用trl::shared_ptr 构造函数
C++ 编译器以什么样的次序完成这些事情呢?弹性很大。这和其他语言如Java和C# 不同，那两种语言总是以特定次序完成函数参数的核算。可以确定的是"new Widget" 一定执行于trl::shared_ptr 构造函数被调用之前，因为这个表达式的结果还要被传递作为trl::shared_ptr 构造函数的一个实参，但对priority的调用则可以排在第一或第二或第三执行。如果编译器选择以第二顺位执行它(说不定可因此生成更高效的代码，谁知道!) ，最终获得这样的操作序列：
1.执行"new Widget"
2.调用priority
3.调用trl::shared_ptr构造函数
现在请你想想，万一对priority 的调用导致异常，会发生什么事?在此情况下"new Widget" 返回的指针将会遗失，因为它尚未被置入trl::shared_ptr 内，后者是我们期盼用来防卫资源泄漏的武器。是的，在对processWidget的调用过程中可能引发资源泄漏，因为在"资源被创建(经由"new widget") "和"资源被转换为资源管理对象"两个时间点之间有可能发生异常干扰。
避免这类问题的办法很简单:使用分离语旬，分别写出(1)创建Widget ， (2) 将它置入一个智能指针内，然后再把那个智能指针传给processWidget:
std::trl::shared ptr pw(new Widget);// 以独立语句将newed 对象存储于(置入)智能指针内
processWidget(pw, priority()); // 这个调用动作绝不至于造成泄漏。
需要记住的
以独立语句将newed 对象存储于(置入)智能指针内。如果不这样做，一旦异常被抛出，有可能导致难以察觉的资源泄漏。
下载文档
