Effective C++笔记： 资源管理(二)

Item 16: 使用相同形式的 new 和 delete

new对应delete，new [] 对应 delete[]

这个规则对于有 typedef 倾向的人也很值得注目，因为这意味着一个 typedef 的作者必须在文档中记录：当用 new 生成一个 typedef 类型的对象时，应该使用哪种形式的 delete。例如，考虑这个 typedef：

typedef std::string AddressLines[4];   // a person's address has 4 lines,

                                       // each of which is a string

因为 AddressLines 是一个数组，这里使用 new，

std::string *pal = new AddressLines;   // note that "new AddressLines"

                                       // returns a string*, just like

                                       // "new string[4]" would

必须用 delete 的数组形式进行匹配：

delete pal;                           // undefined!

delete [] pal;                        // fine

为了避免这种混淆，要克制对数组类型使用 typedef。

Item 17: 用一个独立的语句中将 new 出来的对象存入智能指针

此条款的意思是说，假设：

int priority();

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

我们这样去调用该函数：

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

可能会产生资源泄露，因为在 processWidget 能被调用之前，编译器必须为这三件事情生成代码：

调用 priority。

执行 "new Widget"。

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

这3条语句的执行顺序无法确定，假设这样一个操作顺序：

执行 "new Widget"。

调用 priority。

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

那么在调用priority时假设出现异常，则第一步申请的内存无法释放；

避免类似问题的方法很简单：用一个单独的语句创建 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

因为编译器不会对”跨越语句的各项操作”重新排列，因此不会有资源泄露的危险。

总结：

总是以独立语句将newed对象存储于智能指针内。