Effective C++——条款16(第3章)

条款16:    成对使用 new 和 delete 时要采取相同形式

Use the same form in corresponding uses of new and delete.
 
    以下动作有什么错误?

std::string* stringArray = new std::string[100];
...
delete stringArray; 

    使用了 new,也搭配了对应的 delete.但还是有某样东西完全错误:程序行为不明确. 最低限度,stringArray所含的100个string对象中的99个不太可能被适当地删除,因为它们的析构函数很可能没有被调用.
     当使用 new(也就是通过 new 动态生成一个对象),有两件事发生. 第一,内存被分配出来(通过名为operator new 的函数,详见条款49和条款51). 第二,针对此内存会有一个(或更多)构造函数被调用. 当使用 delete,也有两件事发生: 针对此内存会有一个(或更多)析构函数被调用,然后内存才被释放(通过名为operator delete 的函数,详见条款51). delete 的最大问题在于:即将被删除的内存内究竟有多少个对象?这个问题的答案决定了有多少个析构函数必须被调用.
    实际上这个问题可以更简单些:即将被删除的那个指针,所指的是单一对象还是对象数组?这是个必不可缺的问题, 因为单一对象的内存布局一般而言不同于数组的内存布局.更明确地说, 数组所用的内存通常还包括"数组大小"的记录,以便 delete 知道需要调用多少次析构函数.单一对象的内存则没有这笔记录.可以 把两种不同的内存布局想象如下,其中n是数组的大小:
单一对象:    Object
对象数组:    n    Object    Object    Object    Object    ...
    当对着一个指针使用 delete,唯一能够让 delete 知道内存中是否存在一个"数组大小记录"的 办法就是:告诉它.如果 使用 delete 时加上中括号,delete 便认定指针指向一个数组,否则它便认定指针指向单一对象:

std::string* stringPtr1 = new std::string;
std::string* stringPtr2 = new std::string[100];
...
delete stringPtr1;            // 删除一个对象
delete []stringPtr2;         // 删除一个由对象组成的数组

    如果对stringPtr1使用"delete []"形式,会发生什么事情?结果未有定义,但不太令人愉快.假设内存布局如上,delete 会读取若干内存并将它解释为"数组大小",然后开始多次调用析构函数,浑然不知它所处理的那块内存不但不是个数组,也许并未持有它正忙着销毁的那种类型的对象.
    如果对stringPtr2使用"delete"形式,会发生什么事情?其结果未有定义,但可以猜想可能导致太少的析构函数被调用.
    规则很简单:如果调用 new 时使用[],必须在对应调用 delete 时才使用[].如果调用 new 时没有使用[],那么也不应该在对应调用 delete 时使用[].
    当撰写的 class 含有一个指针指向动态分配内存,并提供多个构造函数时,上述规则尤其重要,因为这种情况下必须小心地在所有构造函数中使用相同形式的 new 将指针成员初始化.如果没有这样做,又如何知道在析构函数中使用什么形式的 delete 呢?
    这个规则对于喜欢使用 typedef 的人也很重要,因为它意味着 typedef 的作者必须说清楚,当程序员以 new 创建该种 typedef 类型对象时,该以哪一种 delete 形式删除它.考虑下面这个 typedef:

typedef std::string AddressLines[4];          // 每个地址有4行,每行是一个string 

    由于AddressLines是个数组,如果这样使用 new:

std::string* pa1 = new AddressLines;        // 注意"new AddressLines"返回一个string*,就像"new string[4]"一样 

    那就必须匹配"数组形式"的 delete:

delete pa1;            // 行为未定义
delete []pa1;         // 很好

    未避免诸如此类的错误,最好尽量不要对数组形式做 typedef 动作.这很容易达成,因为C++标准程序库含有string,vector等 template,可将数组的需求降至几乎为零.例如可以将本例的AddressLines定义为"由string组成的一个vector",即类型为vector<string>.
     注意:
    如果在 new 表达式中使用[],必须在相应的 delete 表达式中也使用[].如果在 new 表达式中不使用[],一定不要在相应的 delete 表达式中使用[].