求教关于重载delete[]的问题

[claymost]

虽然是老生常谈的问题，但还是有些地方搞不懂
不知道我理解的对不对？请多多指教

做试验发现：（vs2005）
我在重载delete[]操作符的时候，如果给定了第二个参数size_t
那么传递进来的值竟然是sizeof(TYPE)，而不是对象数组的长度!!

过程是这样的：

class A
{
public:
A(){cout<<"co"<<endl;a=1.0;};
~A(){cout<<"de"<<endl;};
void* operator new[](size_t size){cout<<size<<endl;return malloc(size);};
void operator delete[](void* p, size_t size){cout << size << endl; free(p);};
double a;
};

int main()
{
class A *pp = new A[3];
delete[] pp;
}

执行输出结果为：
28
co
co
co
de
de
de
8


这个类里面，我重载了new[] 和 delete[] 操作符
很奇怪的是 new[]表达式给 A::operator new[]()传递的参数为 sizeof(A) * 3 + 4
而 delete[]表达式给 A::operator delete[]()传递的参数却是 pp 和 sizeof(A)
我很不理解，为什么传过来的只是一个类对象的大小。我要自己重载内存分配和释放的过程，需要知道完整数组的大小啊！

另外还有一点很重要，我现在开始怀疑编译器在 编译阶段 就知道，delete[] pp 时，需要连续析构3个类对象。
这个“3”不像是从pp指向内存中的某个地方获得的，而是编译器通过什么跟踪机制获得的。

[帅得不敢出门]

此例 其前面会多分配4字节用来记录生成对象的个数
所以delete[]时就知道要析构3个类对象了

[帅得不敢出门]

给个帖子给你参考下:
http://malonely.bloghome.cn/posts/174197.html

[claymost]

[Quote=引用 1 楼 zmlovelx 的回复:]
此例 其前面会多分配4字节用来记录生成对象的个数
所以delete[]时就知道要析构3个类对象了
[/Quote]

非常感谢，终于弄清楚了
这样对重载后的delete[]操作符函数要求提高了很多:
1、他需要根据传入指针p向前的一个INT内存来确定 对象个数n
2、用第二个入参值： sizeof(T) 乘上n 再加4 得到了指针p后面该释放多少内存
3、把指针p前若干个用来放分配附加信息的内存干掉

同时重载 new[]操作符的时候也要注意：
按照给定长度分配好内存空间之后，在返回指针前面也要预留一些内存。编译器会把对象数组的个数放进去。