delete 一个数组时，为什么不需要指定数组的大小？

为了管理malloc的空闲空间，每一个独立块的最前面都包含了一个“头部信息”，属于额外开销。

对于这个“头部信息”，做出以下解释。

malloc实际分配的内存会大于我们需要的size，主要有两方面因素造成：
① 字节对齐。会对齐到机器最受限的类型。
② “块头部信息”，每个空闲块都有“头部”控制信息，其中包含一个指向链表中的下一块的指针、当前块的大小和一个指向本身的指针。为了简化对齐，所有块的大小都必须是头部大小的整数倍，且头部已正确对齐。

在VC平台下由_CrtMemBlockHeader结构体实现。
以下为《C程序设计语言》中给出通过union进行的头部实现。

 typedef long Align;/*按照long类型的边界对齐*/  
 union header/*块的头部*/  
 {  
     struct  
     {  
         union header *ptr;/*空闲块链表中的下一块*/  
         unsigned size;/*本块的大小*/  
     }s;  
     Align x;/*强制块对齐*/  
 };

说明：
①实际分配的内存块将多一个单元，用于头部本身。实际分配的块的大小被记录在头部size中。
②malloc返回的是空闲块的首地址，不是首地址。
③size字段是必要的，因为malloc控制的块不一定是连续的，这样就不能通过指针算数运算得到其大小。

那也就证明了为什么当我们new[n]的时候，释放只需要写delete[]，不用注明释放的大小的原因了。每次在释放的时候，会先查看释放的块的头部信息，其中就记录了这个块的大小。