如何修复Valgrind检测到的内存问题？附队列ADT创建代码

你遇到的Valgrind无效内存访问错误，核心原因是malloc分配的内存大小完全错了。

看你的typedef定义：

typedef struct QueueADT{ 
    int (*cmp)(const void*a, const void*b); 
    struct node *front; 
    int len; 
    struct node *back; 
} * QueueADT;

这里QueueADT是一个指向struct QueueADT的指针类型，不是结构体本身。所以sizeof(QueueADT)计算的是指针的字节数（64位系统是8字节，32位是4字节），但你需要分配的是整个struct QueueADT结构体的内存，它的大小远大于指针的大小。

当你用malloc(sizeof(QueueADT))分配内存后，只得到了能存一个指针的空间，后续给q->cmp、q->len赋值时，会直接越界访问不属于你的内存，这就是Valgrind报错的原因。

修改malloc的参数，改成分配结构体本身的大小，有两种常用写法：

写法1：直接用结构体类型计算大小 #

QueueADT q = (QueueADT)malloc(sizeof(struct QueueADT));

这里明确指定要分配struct QueueADT的大小，不会出错。

写法2：用指针的解引用来计算大小（更推荐） #

QueueADT q = (QueueADT)malloc(sizeof(*q));

这种写法的好处是，哪怕后续你修改了QueueADT对应的结构体定义，或者typedef的类型，不需要再手动修改sizeof里的内容，编译器会自动计算*q（也就是结构体本身）的大小，更健壮。

另外，你的代码里没有初始化front和back指针，这两个成员会是随机的垃圾值，后续操作队列时很可能会导致野指针访问，所以一定要把它们初始化为NULL：

q->front = NULL;
q->back = NULL;

QueueADT que_create( int (*cmp)(const void*a, const void*b) ) {
    printf("%lu\n", sizeof(struct QueueADT)); // 这里也可以改成打印结构体的大小，验证一下
    QueueADT q = (QueueADT)malloc(sizeof(*q));
    if (q == NULL) {
        return NULL;
    }
    q->cmp = cmp;
    q->len = 0;
    q->front = NULL;
    q->back = NULL;
    return q;
}

这样修改后，Valgrind的无效内存访问错误应该就会消失了。

内容的提问来源于stack exchange，提问作者Adam G.