回答你问题的后半部分:是的，你可以，在C语言中一个相当常见的模式如下:

typedef struct {
    size_t numElements
    int elements[1]; /* but enough space malloced for numElements at runtime */
} IntArray_t;

#define SIZE 10
IntArray_t* myArray = malloc(sizeof(intArray_t) + SIZE * sizeof(int));
myArray->numElements = SIZE;

当您调用malloc时，堆管理器将属于已分配块的内存量存储在某处。

我从来没有实现一个自己，但我猜在前面的内存分配块可能包含元信息。

在调用malloc()时，指定要分配的内存量。实际使用的内存量略大于此值，并包括额外的信息，记录(至少)块的大小。你不能(可靠地)访问其他信息-你也不应该:-)。

当调用free()时，它只是查看额外的信息，以确定块有多大。

要回答第二个问题，是的，您可以(某种程度上)使用与malloc()相同的技术 通过简单地将每个数组中的第一个单元格分配给数组的大小。 这样就可以在不发送额外size参数的情况下发送数组。

最初的技术是分配一个稍大的块，并在开始时存储大小，然后将博客的其余部分交给应用程序。额外的空间用于保存大小和可能的链接，以便将空闲块连接在一起以便重用。

然而，这些技巧也存在一些问题，比如糟糕的缓存和内存管理行为。在块中使用内存会导致不必要的分页，还会创建脏页，使共享和写时复制变得复杂。

因此，一个更高级的技术是保持一个单独的目录。还开发了一些奇异的方法，其中内存区域使用相同的2次方大小。

一般来说，答案是:分配一个单独的数据结构来保持状态。

回答你问题的后半部分:是的，你可以，在C语言中一个相当常见的模式如下:

typedef struct {
    size_t numElements
    int elements[1]; /* but enough space malloced for numElements at runtime */
} IntArray_t;

#define SIZE 10
IntArray_t* myArray = malloc(sizeof(intArray_t) + SIZE * sizeof(int));
myArray->numElements = SIZE;