假设我们有一个函数用来揭示处理程序的优先权,另外一个函数用来在某动态分配所得的Widget上进行某些带有优先权的处理:
int Priority();
void ProcessWidget(std::auto_ptr<Widget> pw, int priority);
由于谨记“以对象管理资源”的智慧铭言,processWidget决定对其动态分配得来的Widget运用智能指针。
现在我们来调用这个函数:
ProcessWidget(std::auto_ptr<Widget> (new Widget), Priority());
这种调用可能泄漏资源。编译器产出一个ProcessWidget调用码之前,必须首先核算即将被传递的各个实参。上述第二个实参
只是一个单纯的对Priority函数的调用,但第一个实参std::auto_ptr<Widget> (new Widget)由两部分组成:
1>执行“new Widget”表达式
2>调用std::auto_ptr的构造函数
于是在调用ProcessWidget之前,编译器必须创建代码,做以下三件事:
1>调用Priority
2>执行“new Widget”
3>调用std::auto_ptr的构造函数
C++编译器以什么样的次序完成这些事情呢?弹性很大。可以确定的是“new Widget”一定执行于std::auto_ptr的构造函数被调用之前,但对于Priority的调用则可以排在第一或第二或第三执行。如果编译器选择第二执行(说不定可因此生成更高效的代码),最终就获得这样的操作序列:
1.执行“new Widget”
2.调用Priority
3.调用std::auto_ptr的构造函数
如果在调用Priority时导致异常,会发生什么事?在此情况下“new Widget”返回的指针将会遗失,因为它尚未被置入std::auto_ptr内。所以可能在“资源被创建”和“资源被转换为资源管理对象”两个时间点之间有可能发生异常干扰。
避免这类问题的办法很简单:
std::auto_ptr<Widget> pw(new Widget);
ProcessWidget(pw, Priority());
条款17:以独立语句将newed对象置入智能指针
最新推荐文章于 2024-04-14 16:24:10 发布