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] 等都没有调用自身的析构函数，这就是问题的症结所在。

如果用 delete[]，则在回收空间之前所有对象都会首先调用自己的析构函数。

基本类型的对象没有析构函数，所以回收基本类型组成的数组空间用 delete 和 delete[] 都是应该可以的；但是对于类对象数组，只能用 delete[]。 但最好是：new 和 delete、new[] 和 delete[] 对应使用。