动态分配数组的大小

Question

分配给动态分配数组起始地址的指针是否没有数组大小的信息？所以我们必须使用另一个变量来存储它的大小，以便稍后通过指针处理数组。

但是当我们释放动态分配的数组时，我们不指定大小，而是只是“free ptr”或“delete [] ptr”。 free或delete怎么知道数组的大小呢？我们可以使用相同的方案来避免将数组的大小存储在另一个变量中吗？

谢谢！

Answer 1

是的，这是真的。

delete 知道内存块的大小，因为 new 向该块添加了额外的信息（通常在该区域返回给用户之前），其中包含其大小以及其他信息。请注意，这在很大程度上是特定于实现的，不应该由您的代码使用。

因此，回答你的最后一个问题：不 - 我们不能使用它 - 它是一个高度依赖于平台和编译器的实现细节。

---

例如，在 K&R2 中演示的示例内存分配器中，这是放置在每个已分配块之前的“标头”：

typedef long Align; /* for alignment to long boundary */

union header { /* block header */
  struct {
    union header *ptr; /* next block if on free list */
    unsigned size; /* size of this block */
  } s;

  Align x; /* force alignment of blocks */
};

typedef union header Header;

size 是已分配块的大小（然后由 free 使用），或删除）。

Answer 2

有趣的是，历史上它是delete [20] arr;，就像arr = new int[20]一样。然而实践证明，分配器可以轻松地存储有关大小的信息，并且由于大多数使用它的人都会存储它，因此它被添加到标准中。

更有趣且鲜为人知的是，这种“扩展删除语法”实际上受到一些 C++ 编译器的支持（尽管即使面对 C++98 标准也是不正确的），尽管没有一个编译器需要它。

int* arr = new int[20];
delete [20] arr;

然而，令人悲伤的是，没有符合标准的方法来检索传递的大小供您自己使用：-/

Answer 3

确实，数组不包含数组的大小，您必须存储该信息以供以后使用。当通过delete或free删除数组时，它是指向您传递的已分配内存的指针。使用的内存管理器（由系统或您自己的自定义覆盖 new 和 delete）知道已释放的内存区域，并跟踪它。希望这是有道理的。

Answer 4

是的，这是真的。这就是为什么您很少尝试直接处理这个问题，而是使用标准容器的部分原因。处理这个问题唯一有意义的时候是您决定自己实现一个容器（在这种情况下，您通常会跟踪容器实现中的大小信息）。