Effective C++ 17:在单独的语句中将 new 的对象放入智能指针

Item 17: Store newed objects in smart pointers in standalone statements.
在单独的语句中将new的对象放入智能指针,这是为了由于其他表达式抛出异常而导致的资源泄漏。 因为C++不同于其他语言,函数参数的计算顺序很大程度上决定于编译器。
如果你在做Windows程序设计,或者DLL开发,可能会经常碰到类似
__cdecl
,__stdcall
等关键字。它们便是来指定参数入栈顺序的。 关于函数和参数的讨论可以参考:C++手稿:函数与参数
还是举个例子比较清晰:
processWidget(shared_ptr<Widget>(new Widget), priority());
上述代码中,在processWidget
函数被调用之前参数会首先得到计算。可以认为包括三部分的过程:
- 执行
new Widget
; - 构造
shared_ptr<Widget>
; - 调用
priority()
。
多数情况下编译器有权决定这三部分过程的顺序,如果很不幸由于某种效率原因,编译器认为顺序应当是1, 3, 2
,即:
- 执行
new Widget
; - 调用
priority()
。 - 构造
shared_ptr<Widget>
;
那么如果priority
抛出了异常,新的Widget
便永远地找不回来了。虽然我们处处使用智能指针,资源还是泄漏了!
于是更加健壮的实现中,应当将创建资源和初始化智能指针的语句独立出来:
shared_ptr<Widget> pw = shared_ptr<Widget>(new Widget);
processWidget(pw, priority());
本文采用 知识共享署名 4.0 国际许可协议(CC-BY 4.0)进行许可,转载注明来源即可: https://harttle.land/2015/08/08/effective-cpp-17.html。如有疏漏、谬误、侵权请通过评论或 邮件 指出。
