计算机等级考试二级C++复习指导：深入new

　　虽然对构造函数和析构函数的调用结果都在预料之中，但所申请的内存空间大小以及地址的 数值却出现了问题。我们的类MyClass的大小显然是4个字节，并且申请的数组中有3个元素，那么应该一共申请12个字节才对，但事实上系统却为我们申 请了16字节，并且在operator new[]返后我们得到的内存地址是实际申请得到的内存地址值加4的结果。也就是说，当为复杂类型动态分配数组时，系统自动在最终得到的内存地址前空出了 4个字节，我们有理由相信这4个字节的内容与动态分配数组的长度有关。通过单步跟踪，很容易发现这4个字节对应的int值为0x00000003，也就是 说记录的是我们分配的对象的个数。改变一下分配的个数然后再次观察的结果证实了我的想法。于是，我们也有理由认为new[] operator的行为相当于下面的伪代码：

　　template

　　T* New[](int count)

　　{

　　int size = sizeof(T) * count + 4;

　　void* p = T::operator new[](size);

　　*(int*)p = count;

　　T* pt = (T*)((int)p + 4);

　　for(int i = 0; i < count; i++)

　　new(&pt[i]) T();

　　return pt;

　　}

　　上述示意性的代码省略了异常处理的部分，只是展示当我们对一个复杂类型使用new[] 来动态分配数组时其真正的行为是什么，从中可以看到它分配了比预期多4个字节的内存并用它来保存对象的个数，然后对于后面每一块空间使用 placement new来调用无参构造函数，这也就解释了为什么这种情况下类必须有无参构造函数，最后再将首地址返回。类似的，我们很容易写出相应的delete[]的实 现代码：

　　template

　　void Delete[](T* pt)

　　{

　　int count = ((int*)pt)[-1];

　　for(int i = 0; i < count; i++)

　　pt[i].~T();

　　void* p = (void*)((int)pt - 4);

　　T::operator delete[](p);

　　}

　　由此可见，在默认情况下operator new[]与operator new的行为是相同的，operator delete[]与operator delete也是，不同的是new operator与new[] operator、delete operator与delete[] operator。当然，我们可以根据不同的需要来选择重载带有和不带有“[]”的operator new和delete，以满足不同的具体需求。

　　把前面类MyClass的代码稍做修改--注释掉析构函数，然后再来看看程序的输出：

　　calling new[] with size=12 address=003A5A58

　　ctor

　　ctor

　　ctor

　　address of mc=003A5A58