20180310 C++ 以独立语句将newed对象置入智能指针
假设我们有个函数用来揭示处理程序的优先权,另一个函数用来在某动态分配所得的Widget上进行某些带有优先权的处理:
int priority();
void processWidget(std::tr1::shared_ptr<Widget> pw,int priority);
由于需遵循“以对象管理资源”的宗旨,processWidget决定对其动态分配得来的Widget运用智能指针(这里采用tr1::shared_ptr)。
现在考虑调用processWidget:
processWidget(std::tr1::shared_ptr<Widget>(new Widget),priority());
上述第一个实参 std::tr1::shared_ptr<Widget>(new Widget)由两部分组成:
1、执行“new Widget”表达式;
2、调用tr1::shared_ptr。
于是在调用processWidget之前,编译器必须创建代码,做三件事:
调用priority
执行“new Widget”
调用tr1::shared_ptr构造函数
C++编译器以什么样的次序完成这些事情呢,弹性很大,首先“new Widget”一定先于tr1::shared_ptr构造函数执行,但priority的调用顺序不定。可能是下面的操作顺序:
执行“new Widget”
调用priority
调用tr1::shared_ptr构造函数
当对priority的调用异常,会导致 “new Widget”返回的指针遗失,因为它尚未被置入tr1::shared_ptr内,后者是我们期望防止资源泄露 的武器。
避免这类问题的方法很简单:使用分离语句,分别写出(1)创建Widget,(2)将它置入一个智能指针中,然后再把那个智能指针传给processWidget
:
std::tr1::shared_ptr<Widget> pw(new Widget);//在单独语句内以智能指针存储newed所得对象
processWidget(pw,priority());这个调用动作绝不至于造成泄露。
注意:以独立语句将newed对象存储于(置入)智能指针内。若不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露。