delete []如何“知道”操作数数组的大小？

Foo* set = new Foo[100];
// ...
delete [] set;

您不会将数组的边界传递给delete[]。但是这些信息存储在哪里？它是标准化的吗？

在堆上分配内存时，分配器将跟踪已分配的内存量。这通常存储在分配内存之前的“ head”段中。这样，当需要释放内存时，解除分配器就会确切知道要释放多少内存。

编译器的一种方法是分配更多的内存，并将一定数量的元素存储在head元素中。

示例如何完成：

这里

int* i = new int[4];

编译器将分配sizeof(int)*5字节。

int *temp = malloc(sizeof(int)*5)

将在前sizeof(int)几个字节中存储“ 4”

*temp = 4;

并设置 i

i = temp + 1;

因此i将指向一个由4个元素而不是5个元素组成的数组。

和删除

delete[] i;

将以以下方式处理：

int *temp = i - 1;
int numbers_of_element = *temp; // = 4
... call destructor for numbers_of_element elements
... that are stored in temp + 1, temp + 2, ... temp + 4 if needed
free (temp)

该信息未标准化。但是，在我处理过的平台上，该信息存储在内存中的第一个元素之前。因此，从理论上讲，您可以访问它并对其进行检查，但这是不值得的。

这也是为什么在使用new []分配内存时必须使用delete []的原因，因为delete的数组版本知道（需要在何处）释放适当数量的内存-并调用适当数量的析构函数对于对象。

其在内存中的排列基本上是：

[info] [您要求的备忘录...]

其中info是编译器用来存储分配的内存量的结构，而不是存储内存的结构。

但是，这取决于实现。

这不是规范中的内容-它取决于实现。

它在C ++标准中定义为特定于编译器。这意味着编译器魔术。在至少一个主要平台上，它可能会因非平凡的对齐限制而中断。

您可以通过意识到delete[]仅为返回的指针定义的实现来考虑可能的实现，该指针new[]可能与返回的指针不同operator new[]。常见的一种实现方式是将数组计数存储在由返回的第一个int中operator new[]，并new[]返回超出该值的指针偏移量。（这就是为什么非平凡的对齐方式可能会中断的原因new[]。）

请记住operator new[]/operator delete[]！= new[]/delete[]。

另外，这与C如何知道由分配的内存大小正交malloc。

因为要被“删除”的数组应该已经使用“ new”运算符创建了。“新”操作应该已将该信息放在堆上。否则，如何使用new来知道堆在哪里结束？

它不是标准化的。在Microsoft的运行时中，new运算符使用malloc（），delete运算符使用free（）。因此，在这种情况下，您的问题等同于以下内容：free（）如何知道块的大小？

在幕后，即在C运行时，进行了一些簿记。

这是一个比您一开始可能想到的有趣的问题。此答复是关于一种可能的实现。

首先，虽然您的系统必须在某种程度上知道如何“释放”内存块，但底层的malloc / free（通常会调用new / delete / new [] / delete []）并不总是记住确切的内存量您要求将其四舍五入（例如，一旦高于4K，通常会将其四舍五入到下一个4K大小的块）。

因此，即使可以获得内存块的大小，也不会告诉我们new [] ed内存中有多少个值，因为它可以更小。因此，我们必须存储一个额外的整数，告诉我们有多少个值。

除此以外，如果正在构造的类型没有析构函数，那么delete []除了释放内存块外无需执行任何操作，因此也不需要存储任何内容！