Effective C++读书笔记——item17（new 参数）

int priority();

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

当我们调用processWidget时

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

这看似没有任何问题，但是有个一个潜在的风险。

在编译器能生成一个对 processWidget 的调用之前，它们必须传递实际参数来计算形式参数的值。第二个实际参数不过是对函数 priority 的调用，但是第一个实际参数（"std::tr1::shared_ptr<Widget>(new Widget)"），由两部分组成

• 表达式 "new Widget" 的执行。

• 一个对 tr1::shared_ptr 的构造函数的调用。

在 processWidget 能被调用之前，编译器必须为这三件事情生成代码：

• 调用 priority。

• 执行 "new Widget"。

• 调用 tr1::shared_ptr 的构造函数。

C++ 编译器允许在一个相当大的范围内决定这三件事被完成的顺序。（这里与 Java 和 C# 等语言的处理方式不同，那些语言里函数参数总是按照一个精确的顺序被计算。）"new Widget" 表达式一定在 tr1::shared_ptr 的构造函数能被调用之前执行，因为这个表达式的结果要作为一个参数传递给 tr1::shared_ptr 的构造函数，但是 priority 的调用可以被第一个，第二个或第三个执行。如果编译器选择第二个执行它（大概这样能使它们生成更有效率的代码），我们最终得到这样一个操作顺序：

1. 执行 "new Widget"。

2. 调用 priority。

3. 调用 tr1::shared_ptr 的构造函数。

但是请考虑，如果对 priority 的调用引发一个异常将发生什么。在这种情况下，从 "new Widget" 返回的指针被丢失，因为它没有被存入我们期望能阻止资源泄漏的 tr1::shared_ptr。由于一个异常可能插入资源创建的时间和将资源交给一个资源管理对象的时间之间，所以调用 processWidget 可能会发生一次泄漏。

解决方法很简单

std::tr1::shared_ptr<Widget> pw(new Widget);  // store newed object
                                              // in a smart pointer in a
                                              // standalone statement

processWidget(pw, priority());                // this call won't leak

因为编译器在不同的语句之间重新安排操作顺序的活动余地比在一个语句之内要小得多

• 在一个独立的语句中将 new 出来的对象存入智能指针。如果疏忽了这一点，当异常发生时，可能引起微妙的资源泄漏。

原文地址：https://blog.csdn.net/weixin_46032775/article/details/145266988

免责声明：本站文章内容转载自网络资源，如侵犯了原著者的合法权益，可联系本站删除。更多内容请关注自学内容网（zxcms.com）！