c - 系统小程序 : Assertion

Question

main: malloc.c:2405: sysmalloc: Assertion `(old_top == initial_top (av) && old_size == 0) || ((unsigned long) (old_size) >= MINSIZE && prev_inuse (old_top) && ((unsigned long) old_end & (pagesize - 1)) == 0)' failed.

当试图生成一个用户只能添加到头部或尾部的双向链表时，我最终在顶部得到了可爱的流产消息。

我已经使用 gdb 将其缩小到导致此问题的函数，但我真的不知道我做错了什么。它分配第一个节点，然后，它抛出错误。
函数如下:

data* initD(){
    data *D = NULL;

    D = malloc(sizeof(data*));
    if (!D){
        printf("Error in allocation of data\n");
        exit(0);
    }

    D->head = NULL;
    D->tail = NULL;
    D->next = NULL;
    D->prev = NULL;
    D->val = -1;

    return D; 
}

Answer 1

您在分配的缓冲区之外写入。

那是因为你的 malloc 调用传递了错误的大小:

D = malloc(sizeof(data*));  // allocate memory for a single pointer

应该是:

D = malloc(sizeof(data));  // allocate memory for a whole struct

但实际上，

D = malloc(sizeof *D);  // allocate memory for whatever D points to

是最好的，因为这样您就不需要查看 D 的声明来检查此行是否正确。