您的位置:首页 > 编程语言 > C语言/C++

Effective C++——》条款17:以独立语句将newed的对象置入智能指针

2014-04-12 07:29 369 查看
举书上的例子:

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


如果这样调用processWidget:

processWidget(new Widget(), GetPriority());


注意一下两边的类型,定义是管理者shared_ptr<Widget>类,而调用是被管理者Widget类两个类型不等,编译器会试图执行类型隐式转换,但为了安全起见,shared_ptr的构造函数前面有修饰符explicit,它不允许发生隐式转换,所以编译器会报错。

但如果这样:

processWidget(shared_ptr<Widget> pw(new Widget), GetPriority());


就可以成功调用构造函数了。

但这里可能会发生内存泄露,不知道读者有没有发现。千万不要认为GetPriority()是个配角,它的存在恰好是我们下面要讨论的。

函数参数压栈的顺序与编译器有关,这里的实参到形参的传递过程其实是不确定的,即GetPriority()的调用很可能发生在new Widget之后,而在pw(new Widget)之前,这样万一GetPriority抛出了异常,而pw还没有来得及接管new
Widget,这样就没有可能释放Widget资源了。也就是说,如果是按这个顺序执行的话

(1) new Widget

(2) GetPriority() 并将返回值传给priority)(可能发生异常

(3) pw接管newWidget,而后传给函数形参

就可能出现内存泄露。

那么怎样解决这个问题呢?

答案就是读书笔记的标题了:以独立语句将new产生的对象置入智能指针(因为“在资源被创建和资源被管理这两个时间点之间有可能发生异常干扰)。简言之,就是一条语句不要执行太多的操作,特别是这种内存管理的操作,分成几条独立的语句会安全一些。应该这样:

1 shared_ptr<Widget> pw(new Widget);
2 processWidget(pw, GetPriority());


这样不管函数是以怎样的顺序传参,在第一句的时候就保证了资源的成功接管,即使GetPriority()发生异常,shared_ptr也能及时释放掉资源,从而避免内存泄露。

最后总结一下:

以独立语句将new出来的对象存储于(置入)智能指针内。如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄漏。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: