请牢记:

以独立语句将newed对象存储于(置入)智能指针内。如果不这样做,一旦异常被跑出来,有可能导致难以察觉的资源泄露。

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

int priority();    //处理程序优先权的函数
void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);//该函数在动态分配所得的Widget上进行某些带有优先权的处理。

调用:

processWidget(new Widget, priority());     //编译不过!该构造函数是explicit 无法隐式转换为shared_ptr

因此可以写成:

processWidget(std::tr1::shared_ptr<Widget>(new Widget), priority());  //可以编译通过,但是...可能泄露资源。

后果:一旦发生异常,可能资源泄露

原因:

在调用processWidget之前,编译器必须创建代码,执行三步:

(1)调用prority()

(2)执行"new Widget"

(3)调用 tr1"shared_ptr构造函数

但是c++调用顺序跟java和c#不同,不是以特定顺序完成。priority函数的调用有可能在第一、第二或者第三执行。当在第二位执行的情况下:

(1)执行"new Widget"

(2)调用prority()

(3)调用 tr1"shared_ptr构造函数

若调用prority时发生异常,则"new Widget"返回的指针将会遗失,这样会引发资源泄露。

解决方案:使用分离语句,分别写出(1)创建Widget,(2)将它置入一个智能指针内,然后再把那个智能指针传给processWidget:

std::tr1::shared_ptr<Widget> pw(new Widget);    //在单独语句内以智能指针存储newed所得对象
processWidget(pw, priority()); // 这个动作不会造成泄露

因为编译器对于”跨越语句的各项操作“没有重新排列的自由(只有在语句内编译器才拥有那个自由度)。

05-11 20:07