C语言实现动态数组队列出现realloc:invalid next size报错

realloc: invalid next size 是堆内存元数据被破坏的典型报错，代码中存在以下问题：

• 核心诱因是realloc分配大小计算错误：malloc初始化内存时正确使用sizeof(element) * q->capacity计算总字节数，但扩容时直接传入q->capacity（元素个数）作为分配大小，没有乘以单个元素的字节长度。
  以常见的int占4字节的环境为例，当容量扩容到8时，代码仅向系统申请了8字节内存，但存储8个int实际需要32字节，后续写入元素时会发生堆越界，覆盖malloc维护的内存块控制信息（包含块大小、前后块指针等字段），下一次调用realloc校验元数据时，检测到非法的块大小值就会抛出该错误，这也是容量到8就必现报错的直接原因。
• 类型转换不匹配：q->array是element*类型，但realloc返回值被强转为int*，当前element是int的别名不会触发问题，但后续修改元素类型会直接引发指针类型不匹配错误。
• 内存泄漏风险：realloc返回值直接赋值给q->array，一旦realloc分配失败返回NULL，原内存指针会被覆盖，造成已分配内存无法释放。
• 扩容逻辑缺陷：仅搬移了数组开头0~front-1位置的元素，没有重置front指针，后续计算元素位置时会出现索引偏移错误，长期运行同样会引发内存越界。

1. 修正realloc的大小计算，始终乘以sizeof(element)得到正确的总分配字节数
2. 将realloc的返回值强转为element*，匹配数组类型
3. 用临时变量接收realloc返回值，避免分配失败时覆盖原指针造成内存泄漏
4. 扩容时重新排列队列元素：将所有元素按出队顺序从新数组的0索引位置开始连续存放，重置front为0，彻底避免循环索引带来的越界风险

修复后的Enqueue函数代码如下：

int Enqueue(queue *q, element e) {
    if (isFullQueue(*q)) {
        int old_capacity = q->capacity;
        q->capacity *= 2;
        // 临时变量接收返回值，修正大小计算和类型转换
        element *new_array = (element *)realloc(q->array, sizeof(element) * q->capacity);
        if (!new_array)
            return 0;
        q->array = new_array;
        // 重排元素：先复制front到旧数组尾部的元素
        for (int i = 0; i < old_capacity - q->front; i++) {
            q->array[i] = q->array[q->front + i];
        }
        // 再复制旧数组开头到front-1位置的环绕元素
        for (int i = 0; i < q->front; i++) {
            q->array[old_capacity - q->front + i] = q->array[i];
        }
        // 重置队头指针到数组起始位置
        q->front = 0;
    }
    q->array[(q->front + q->length) % q->capacity] = e;
    q->length++;
    return 1;
}

补充：如果不想在扩容时重排所有元素，也可以在搬移完0~front-1段的元素后直接把front设为0，同样能保证索引计算正确，但重排为连续存储的逻辑更直观，后续调试维护成本更低。

内容的提问来源于stack exchange，提问作者sara hachouche