天天看点

delete p和delete[] p的区别

operator new 和 operator delete函数有两个重载版本,每个版本支持相关的new表达式和delete表达式:

void* operator new (size_t);        // allocate an object

void* operator new [] (size_t);     // allocate an array

void operator delete (void*);       // free an oject

void operator delete [] (void*);    // free an array

熟悉C的朋友看到这里可能会很奇怪:

在C中释放内存用free(void *)【注意这里只有一个参数void *】

为什么到了C++里会出现两个!按理说delete 会调用free释放内存的啊?

另外delete []是如何知道删除的对象个数的?

《高质量C++编程指南》这么说:

在用delete 释放对象数组时,留意不要丢了符号‘[]’。例如:

delete []objects;    // 正确的用法

delete objects;      // 错误的用法

后者相当于delete objects[0],漏掉了另外99 个对象

关于 new[] 和 delete[],其中又分为两种情况:(1) 为基本数据类型分配和回收空间;(2) 为自定义类型分配和回收空间。 

对于 (1),下面提供的程序可以证明 delete[] 和 delete 是等同的。

#include <iostream>
using namespace std;

int main()
{
  int *p = new int;
  delete []p; // 和delete p等价
  p = NULL;

  cout << "\n===============================\n";
  int *q = new int[10];
  delete q;    // 和delete []q等价
  q = NULL;

  return 0;
}      

但是对于 (2),情况就发生了变化。请看下面的程序。

#include <iostream>
using namespace std;

class T 
{
public:
  T(){ cout << "constructor" << endl; }
  ~T(){ cout << "destructor" << endl; }
};

int main()
{
  const int NUM = 3;
  T *p = new T[NUM];

  cout << hex << p << endl;
  delete[] p;
  //delete p;      //error,  debug assertion failed!

  return 0;
}      

从运行结果中我们可以看出,delete p在回收空间的过程中,只有 p[0] 这个对象调用了析构函数,其它对象如 p[1]、p[2] 等都没有调用自身的析构函数,这就是问题的症结所在。