欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

17. Store newed objects in smart pointers in standalone statements

程序员文章站 2022-03-11 17:26:59
...

以独立语句将newed对象置于只能指针

思考以下情形:

int priority();
void processWidget(std::shared_ptr<Widget> pw, int priority); 

如果调用方式如下:

processWidget(new Widget, priority());

将会编译失败。因为processWidget需要一个std::shared_ptr对象,传入的却是Widget指针。而std::share_ptr的单参数构造函数被设置为explicit。所以不能由Widget隐式转换成std::shared_ptr。

可以使用如下调用通过编译。

processWidget(std::shared_ptr<Widget>(new Widget), priority());

但是仍存在以下问题:
编译器对其参数的处理分为3部分:
1 执行priority()
2 执行new Widget
3 执行std::shared_ptr的构造函数

C++语法所致,编译器执行1 2 3的顺序不定,只要满足2在3前执行即可。
如果执行顺序是 2 1 3,而执行1时发生异常,Widget*即会出现内存泄漏。

避免出现这种情况,很简单,只需要2 3顺序执行不可分割即可,如下所示:

std::shared_ptr<Widget> pw(new Widget);
processWidget(pw, priority());

请记住:

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