C++箴言:将new出来的对象存入智能指针
2009-09-16 11:28
405 查看
不要忘记使用对象管理资源的至理名言,processWidget 为处理动态分配的 Widget 使用了一个智能指针。
假设我们有一个函数取得我们的处理优先级,而第二个函数根据优先级针对动态分配的 Widget 做一些处理:
int priority();
void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);
不要忘记使用对象管理资源的至理名言,processWidget 为处理动态分配的 Widget 使用了一个智能指针(在此,是一个 tr1::shared_ptr)。
现在考虑一个对 processWidget 的调用:
processWidget(new Widget, priority());
且慢,别想这样调用。它不能编译。tr1::shared_ptr 的构造函数取得一个裸指针(raw pointer)应该是显式的,所以不能从一个由 "new Widget" 返回的裸指针隐式转型到 processWidget 所需要的 tr1::shared_ptr。下面的代码,无论如何,是可以编译的:
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 的调用可以被第一个,第二个或第三个执行。如果编译器选择第二个执行它(大概这样能使它们生成更有效率的代码),我们最终得到这样一个操作顺序:
·执行 "new Widget"。
·调用 priority。
·调用 tr1::shared_ptr 的构造函数。
但是请考虑,如果对 priority 的调用引发一个异常将发生什么。在这种情况下,从 "new Widget" 返回的指针被丢失,因为它没有被存入我们期望能阻止资源泄漏的 tr1::shared_ptr。由于一个异常可能插入资源创建的时间和将资源交给一个资源管理对象的时间之间,所以调用 processWidget 可能会发生一次泄漏。 避免类似问题的方法很简单:用一个单独的语句创建 Widget 并将它存入一个智能指针,然后将这个智能指针传递给 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 Widget" 表达式和 tr1::shared_ptr 的构造函数的调用与 priority 的调用在不同的语句中,所以编译器不会允许 priority 的调用插入它们中间。
Things to Remember
·在一个独立的语句中将 new 出来的对象存入智能指针。如果疏忽了这一点,当异常发生时,可能引起微妙的资源泄漏。
假设我们有一个函数取得我们的处理优先级,而第二个函数根据优先级针对动态分配的 Widget 做一些处理:
int priority();
void processWidget(std::tr1::shared_ptr<Widget> pw, int priority);
不要忘记使用对象管理资源的至理名言,processWidget 为处理动态分配的 Widget 使用了一个智能指针(在此,是一个 tr1::shared_ptr)。
现在考虑一个对 processWidget 的调用:
processWidget(new Widget, priority());
且慢,别想这样调用。它不能编译。tr1::shared_ptr 的构造函数取得一个裸指针(raw pointer)应该是显式的,所以不能从一个由 "new Widget" 返回的裸指针隐式转型到 processWidget 所需要的 tr1::shared_ptr。下面的代码,无论如何,是可以编译的:
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 的调用可以被第一个,第二个或第三个执行。如果编译器选择第二个执行它(大概这样能使它们生成更有效率的代码),我们最终得到这样一个操作顺序:
·执行 "new Widget"。
·调用 priority。
·调用 tr1::shared_ptr 的构造函数。
但是请考虑,如果对 priority 的调用引发一个异常将发生什么。在这种情况下,从 "new Widget" 返回的指针被丢失,因为它没有被存入我们期望能阻止资源泄漏的 tr1::shared_ptr。由于一个异常可能插入资源创建的时间和将资源交给一个资源管理对象的时间之间,所以调用 processWidget 可能会发生一次泄漏。 避免类似问题的方法很简单:用一个单独的语句创建 Widget 并将它存入一个智能指针,然后将这个智能指针传递给 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 Widget" 表达式和 tr1::shared_ptr 的构造函数的调用与 priority 的调用在不同的语句中,所以编译器不会允许 priority 的调用插入它们中间。
Things to Remember
·在一个独立的语句中将 new 出来的对象存入智能指针。如果疏忽了这一点,当异常发生时,可能引起微妙的资源泄漏。
相关文章推荐
- effective c++ Item 17: 在一个独立的语句中将 new 出来的对象存入智能指针
- Item 17 将new出来的对象存入智能指针
- [翻译] Effective C++, 3rd Edition, Item 17: 在 standalone statements(独立语句)中将 new 出来的 objects(对象)存入 smart pointers(智能指针)
- 读书笔记 effective c++ Item 17 使用单独语句将new出来的对象放入智能指针
- C++中为什么需要将new对象通过独立语句置入智能指针
- 改善C++ 程序的150个建议学习之建议34:用智能指针管理通过new创建的对象
- 读书笔记_Effective_C++_条款十七:以独立语句将new产生的对象置入智能指针
- Self Summary: C++函数返回引用和指针的问题,局部对象与new对象的问题
- 用于管理new动态分配对象的智能指针
- 以对象管理资源——C++智能指针auto_ptr简介
- 实战c++中的智能指针unique_ptr系列-- std::unique_ptr的构造(尽量使用C++14中的std::make_unique,而不是new)
- c++智能指针(三)之shared_ptr和new结合使用
- Item 17:在单独的语句中将new的对象放入智能指针 Effective C++笔记
- C++的引用计数j控制智能指针——>Java的引用计数管理共享对象
- Effective C++ Item 17 以独立语句将newed对象置入智能指针
- 实战c++中的智能指针unique_ptr系列-- std::unique_ptr的构造(尽量使用C++14中的std::make_unique,而不是new)
- 第17条:以独立语句将new创建的对象存储在智能指针中
- Self Summary: C++函数返回引用和指针的问题,局部对象与new对象的问题
- 条款17 以独立语句将new对象置入智能指针
- C++ 以独立语句将newed对象置入智能指针