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

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/qq_34938530/article/details/89193447

  当你使用new(也就是通过new动态生成一个对象),有两件事发生。第一,内存被分配出来(通过名为 operator new的函数)。第二,针对此内存会有一个(或更多)构造函数被调用。当你使用delete,也有两件事发生:针对此内存会有一个(或多个)析构函数被调用,然后内存才被释放(通过名为 operator delete的函数)。delete的最大问题在于:即将被删除的内存之内究竟存有多少对象?

  实际上这个问题可以更简单些:即将被删除的那个指针,所指的是单一对象或对象数组?这是个必不可缺的问题,因为单一对象的内存布局一般而言不同于数组的内存布局。更明确的说,数组所用的内存通常还包括“数组大小”的记录,以便delete知道需要调用多少次析构函数。单一对象的内存则没有这笔记录。你可以把两种不同的内存布局想象如下,其中n是数组大小:

  单一对象:Object

  对象数组:n Object Object Object ...

   当你对着一个指针使用delete,唯一能够让delete知道内存中是否存在一个“数组大小记录”的办法就是:由你来告诉它。如果你使用delette是加上中括号([]),delete便认定指针指向一个数组,否则它便认定指针指向单一对象:

std::string* stringPtr1 = new std::string;
std::string* stringPtr2 = new std::string[100];

...

delete stringPtr1;            //删除一个对象
delete string[] stringPtr2;   //删除一个由对象组成的数组

  如果你调用new时使用[].你必须在对应调用delete时也使用[]。如果你调用new时没有使用[],那么也不应该在对应调用delete时使用[]。

  当你撰写的class含有一个指针指向动态分配内存,并提供多个构造函数时,上述规则尤其重要,因为这种情况下你必须小心地在所有构造函数中使用相同形式的new将指针成员初始化。

  这个规则对于希望使用typedef的人也很重要,因为它意味着typedef的作者必须说清楚,当程序员以new创建该种typedef类型对象时,该以哪种delete形式删除。

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

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

delete pal;                          //行为未有定义
delete []pal;                        //正确

  结论:如果你在new表达式中使用[],必须在相应的delete表达式中也使用[]。如果你在new表达式中不适用[],一定不要在相应的delete表达式中使用[]。

猜你喜欢

转载自blog.csdn.net/qq_34938530/article/details/89193447