C代码 - malloc和免费

Question

考虑以下代码：

int main()

{

int *a,address,size;

    a= (int *) malloc(10);
    address=(int*) a-1;
    size=(int ) *(a-1); // sorry there was a bug wrong casting, now its corrected.
    printf("address of malloc n:%d\n",address);
    printf("size of malloc block b:%d\n",size);
    printf("before%p",a);
    a=a+1;
    printf("\n after%p",a);    
    free(a);

    getch();

}

malloc“a”的地址递增，然后释放（a + 1）。 它会导致内存泄漏，但是如果它必须释放，那么自由将如何知道终点，以便它不会错误地释放下一块内存？ Char Array中是否有任何结束标记 - '\\ 0'？

我在K＆R第8章第8.7节中读到免费维护一个列表，免费知道的列表是将空闲内存块添加回来。

malloc声明的表是否有任何大小？ 那么上面的代码将如何工作，我猜这是免费列表来图片对吗？ 它只是添加自由链表，即只有单词+ 1。 并忘记导致内存泄漏的其他内存位置。

但是当你做一个malloc（）时，我读到它返回一个指针-1并给出分配的malloc块的大小，我是对的吗？

任何人都可以详细解释这个吗？

问题与代码无关。 它的Malloc和免费功能如何相互配合。 如果我说自由（a），自由函数究竟将如何知道块的结尾？

Answer 1

所有可以说free(a+1)调用都会导致未定义的行为，因为malloc()等人从未返回a+1 。

仔细检查后， size=(int *)*(a-1)行也会导致未定义的行为，因为您要取消引用已分配区域之外的指针。

内存分配的机制（例如自由列表之类的东西）是特定于实现的，除非在非常特殊和非常罕见的情况下，否则不应该依赖它。

编辑如果您想知道可能的实现如何工作，下面是一个流行的malloc()实现的描述： dlmalloc 。

Answer 2

你处于未定义行为的范畴。

必须按照标准传递malloc返回的指针：

free函数导致ptr指向的空间被释放，即可用于进一步分配。 如果ptr是空指针，则不执行任何操作。 否则， 如果参数与之前由calloc，malloc或realloc函数返回的指针不匹配 ，或者如果通过调用free或realloc释放了空间， 则行为未定义 。

- ANSI标准1988

第4.10.3.2节：自由功能

Answer 3

一般来说，您无法询问有关C实现的各种问题。 您正在对C实现做出假设，其中一些可能是正确的，但C标准并不保证它们是真的。 也许在某些实现中，释放无效指针意味着您有内存泄漏，并且可能在某些实现中，在malloc返回指针之前读取4个字节将为您提供已分配内存的大小，但这不是标准化的。 您编写的代码在许多地方调用未定义和实现定义的行为。 在不知道您正在讨论的C实现的情况下，无法告诉您代码将执行的操作。 当程序调用未定义的行为时，实现可以自由地执行任何想做的事情。 符合C的实现可能会导致您的计算机融化成一堆热芯，以释放无效指针。 会吗？ 不知道。 代码的行为未定义。

如何实现free和malloc取决于实现，而不是C标准。 C标准解释了函数的功能，并且由C标准中的这些函数的描述提供符合版本的free和malloc的每个单独的C实现。