具有析构函数和新运算符的类。答案

【问题标题】：classes having destructor and new operator.‏具有析构函数和新运算符的类。
【发布时间】：2013-04-28 03:12:48
【问题描述】：

我用下面的代码重载了 new 运算符。

void* operator new(size_t size)
{
    cout<<"size=>"<<size<<endl;
    return malloc(size);
}

现在，我尝试使用这个重载的new 为类对象分配内存。假设类体定义为：

class c
{
     char ch;
};

我写了以下语句

c * p=new c; // gives me the output size=>1 OK Fine..
c *p=new c[100]; // gives me the output size => 100 OK fine.

但现在我在类中添加了一个析构函数。所以新的身体变成了：

class c
{
     char ch;
     public:
                  ~c(){}
};

现在我又写了同样的语句

c *p= new c;// gives me the output size=>1 OK Fine..
c *p=new c[100]; // gives me the output size => 108.

这额外的 8 是从哪里来的？

我尝试使用相同的语句再次分配数组，但我再次得到了 108 的大小。（我有一个 64 位操作系统，所以我猜每次都会分配一个额外的指针）。

当我们在类中有析构函数时，为什么我的编译器会分配这个额外的指针，或者如果它是其他指针？

【问题讨论】：

另请注意，您错误地重载了operator new。它应该在分配错误的情况下抛出std::bad_alloc，而不是返回0。对于数组，它应该是operator new[]。

【解决方案1】：

您不必担心这种行为，因为它是由实现定义的。

在您的特定情况下，编译器存储有关数组大小的信息，因此它可以知道在调用析构函数时存储了多少元素。

对于没有任何重要析构函数的 POD 结构，编译器不会调用它，因此它不需要有关数组大小的信息。 8 可能是sizeof(size_t)，因为您可以将size_t 元素存储在数组中。

同样，所有这些都是实现定义的，只是推测。

【讨论】：