《effective C++》条款5

                        对应的new和delete要采用相同的形式

下面语句有什么错？

string *stringArray=new string[100];

.......

delete strinArray;

一切好像都井然有序——一个new对应着一个delete——然而却隐藏这很大的错误：程序的运行情况将是不可预测的。至少，stringArray指向的100个string对象中的99个不会被正确的摧毁，因为他们的析构函数永远不会被调用。

用new的时候会发生两件事。首先，内存被分配（通过operator new函数，详见条款7-10和条款M8），然后，为被分配的内存调用一个或者多个构造函数。用delete的时候，也有两件事情发生：首先，为将被释放的内存调用一个或者析构函数，然后，释放内存（通过operator delete函数，详见条款8和M8）。对于delete来说会有这样一个重要的问题：内存中有多少个对象要被删除？答案决定了将会有多少个析构函数将会被调用。

这个问题简单的来说就是：要删除的指针指向的是单个对象还是对象数组？只有有你来告诉delete。如果你在用delete时没有用括号，delete就会认为指向的是单个对象，否则，它就会认为指向的是一个数组：

string * stringPtr1=new string;

string *stringPrt2=new string[100];

......

delete stringPtr1;//删除一个对象

        delete [] stringPtr2;//删除一个对象数组

如果你在stringPtr1前加了"[]"会怎样呢？答案是：那将是不可预测的：如果你没有在stringPtr2前没加上"[]"又会怎么样呢？答案也是不可预测的，即使这样的类型没有析构函数。所以，解决这类问题的规则很简单：如果你调用new时用了[]，调用delete时也要用[]。如果调用new时没有用[]，那调用delete时也不要用[]。

在写一个包含指针数据成员，并且提供多个构造函数的类时，牢记这一规则尤其重要。因为这样的话，你就必须在所有初始化指针成员的构造函数里采用相同的new形式。

这个规则对喜欢用typedef的人来说也很重要，因为写typedef的程序员必须告诉别人，用new创建了一个typedef定义的类型的对象后，改用什么形式的delete来删除。举例如下：

typedef string AddressLines[4];//一个人的地址，共4行，每行一个string

因为AddressLines是个数组，使用new：

  string *pal=new AddressLines;//注意"new AddressLines",返回string*，和new string[4]返回的是一样的。

delete时必须以数组的形式与之对应：

       delete pal;//错误

delete [] pal;//正确

为了避免混乱，最好杜绝对数组类型使用typedefs。这其实很容易，因为标准C++包含有string和vector模板，使用它们将会使对数组的需求减少到几乎为0.举例来说，AddressLines可以定义为一个字符串（string）的向量（vector），即AddressLines可以定义为vector<string>类型。