问在C++中，动态数组的长度信息是否与第一个元素的指针或地址相关联？

EN

int *a, *b;
a = new int[10];
b = new int(12);
b = a; // I know there's memory leak, but let's ignore it first
delete [] b; // line L

是否会成功删除整个阵列？

是的，由于指针a被设置为指向一个包含10个整数的数组，因此将成功释放内存

a = new int[10];

然后将相同的内存位置地址存储到b中

b = a;

因此，delete[]行正确地释放了数组块

delete [] b;

正如您所说的，代码还会泄漏最初由b分配和指向的整数变量12。

作为旁注，调用delete[]来释放与数组无关的内存(特别是静态类型不匹配-参见expr.delete/p3)将会触发未定义的行为。

现在对于一些内部来说，在分配内存时，大小信息存储在哪里。

编译器具有一定的自由度(cfr。§5.3.4/10)当涉及到内存分配请求时(例如，它们可以“分组”内存分配请求)。

在没有提供分配器的情况下调用new时，无论它是否调用malloc，它都是由实现定义的

new.delete.single

执行一个循环:在循环中，函数首先尝试分配请求的存储空间。未指明该尝试是否涉及对标准C库函数malloc的调用。

假设它调用malloc() (在最近的Windows系统中称为UCRT)，那么尝试分配空间就意味着使用paged virtual memory进行记账，而这正是malloc通常所做的。

您的大小信息将与有关如何分配所请求的内存的其他数据一起传递。

像glibc这样的C库负责对齐、内存保护和新页面的分配(如果需要)，所以这可能会通过系统调用在内核中结束。

没有“标准”的方法来从地址获取信息，因为它是一个实现细节。正如许多人所建议的那样，如果你需要这样的信息，你可以

使用数组类型存储somewhere

• use sizeof()的大小

• 更适合C++：使用std::vector<>

该信息还与内存分配相关联，这两种情况都是次要的(即用L行替换

b = a + 1; delete [] b;

或

a++; delete [] a;

将以泪水结束，因为这些地址没有与有效的分配相关联。

c++标准只是说，在用new分配的指针上使用delete[]，在用new[]分配的指针上使用delete是未定义的行为。

因此，这样做可能会工作，也可能不会，这取决于实现。它可能会让你的房子着火。

例如，假设这些函数基于使用malloc()和free()的底层缓冲区。

在大多数实现中，new和delete将使用与项目的大小和地址完全相同的缓冲区(这里是int)

new[]和delete[]更为复杂。它们不仅必须在缓冲区中存储size项，还必须在缓冲区中存储size的值。实现可以在实际项之前存储size。这意味着基础缓冲区的指针与指向第一项的指针不同，第一项是由new[]返回的值

混合数组和非数组版本将在无效指针上调用free()，即malloc从未返回的指针。这将崩溃或触发异常

当然，所有这些都是由实现定义的。