这个“realloc（）：无效的下一个大小”错误的来源是什么

Question

我已经阅读了其他此类问题，但我仍然无法弄清楚为什么我的代码中会出现此错误。

这是我的代码：

#include <stdio.h>
#include <stdlib.h>

typedef struct {                 
    int len;
    int str[0];
} bit_str;

bit_str * input(void);
void print_bitstr(bit_str * s);

int main(void)
{
    bit_str * s1 = input();
    print_bitstr(s1);

    return 0;
}

bit_str * input(void)
{
    bit_str *s = (bit_str *) malloc(sizeof(bit_str)); 
    int count = 0, bit;

    while ((bit = getchar()) != 'k'){
        s = (bit_str *) realloc(s, sizeof(*s) + sizeof(int));           
        s->str[count++] = bit - 48;
    }

    s->len = count;
    return s;
}

void print_bitstr(bit_str * s)
{
    for (int i = 0; i < s->len; i++)
        printf("%d ", s->str[i]);
    printf("\n");

    return;
}

此代码是我试图将两个位字符串添加在一起的程序的一部分（作为数据结构书中的练习）。

我创建了一个结构来存储位字符串及其长度。使用输入函数中的 malloc 初始化结构。每次添加新位时都会重新分配。这些位使用 getchar 读取，位串的结尾由字母“k”划分。

当我编译代码时，它完全适用于 6 位。但是如果我尝试输入 7 位，它会崩溃并出现以下错误：

> realloc(): invalid next size  

我已阅读其他有类似错误的帖子，但我无法弄清楚为什么我的代码中会出现此错误。我确保当我重新分配时，我使用 sizeof 运算符来获取大小，而不是绝对值。

有人可以帮我弄清楚我在这里做错了什么吗？

Answer 1

sizeof(*s) 在编译时进行评估；它不知道动态分配，例如malloc 或realloc。

因此，即使您尝试将 sizeof(int) 字节动态添加到当前分配中：

s = (bit_str *) realloc(s, sizeof(*s) + sizeof(int)); 

这总是导致s 指向sizeof(bit_str) + sizeof(int) 字节。

当然，在无操作realloc 之后，您继续向缓冲区写入更多字节，超出缓冲区并导致未定义的行为。