realloc()无效指针错误排查：结构体动态扩容异常求助

错误根源定位 #

你的代码触发realloc() invalid pointer的核心原因是堆内存被非法越界访问破坏，具体出现在create pointer的处理分支中：

if (!strcasecmp(palavras,"pointer")) {
    qptr++;
    ponteiros = realloc(ponteiros, qptr * sizeof(struct pointer));
    if (ponteiros == NULL) {printf("Erro: Não foi possivel alocar memória para %s\n", &code[k][6]); numero = 1;;}
    sscanf(&code[k][11], "%s ", variaveis[qvar - 1].id); // 非法访问！
    strtok(variaveis[qvar - 1].id, "\n");
}

当尚未创建任何变量时，qvar的值为0，qvar - 1等于-1，直接访问variaveis[-1]会越过数组边界，破坏堆内存的元数据（malloc/realloc用来管理内存的结构），导致后续调用realloc时识别出无效指针。

修复方案 #

1. 修正pointer分支的非法访问 #

将pointer分支中操作variaveis的代码改为操作ponteiros，这才是该分支对应的结构体数组：

if (!strcasecmp(palavras,"pointer")) {
    qptr++;
    ponteiros = realloc(ponteiros, qptr * sizeof(struct pointer));
    if (ponteiros == NULL) {printf("Erro: Não foi possivel alocar memória para %s\n", &code[k][6]); numero = 1;;}
    sscanf(&code[k][11], "%s ", ponteiros[qptr - 1].id); // 修正为ponteiros
    strtok(ponteiros[qptr - 1].id, "\n");
}

2. 优化动态数组初始化逻辑 #

标准的动态数组初始化应该从NULL开始，避免初始malloc的冗余，同时防止空数组时的越界风险：

// 原初始化代码
struct variavel * variaveis = (struct variavel *) malloc(sizeof(struct variavel));
int qvar = 0;

// 修正后的初始化
struct variavel * variaveis = NULL;
int qvar = 0;

// 扩容时改用临时指针，避免realloc失败丢失原指针
qvar++;
struct variavel * temp_var = realloc(variaveis, qvar * sizeof(struct variavel));
if (temp_var == NULL) {
    printf("Erro: Não foi possivel alocar memória para variável\n");
    numero = 1;
} else {
    variaveis = temp_var;
}

3. 修正变量查找的循环条件 #

在modify、condition等分支中，变量查找的循环条件存在逻辑错误，会导致越界访问，修正为：

// 原错误代码
for(i = 0; strcasecmp(palavras, variaveis[i].id); i++)
        if (i > qvar) {
            printf("Erro: Variavel não indentificada na linha %d: %s\n", k + 1, palavras);
            numero = 1;
            break;
        }

// 修正后
int found = 0;
for(i = 0; i < qvar; i++) {
    if (!strcasecmp(palavras, variaveis[i].id)) {
        found = 1;
        break;
    }
}
if (!found) {
    printf("Erro: Variavel não indentificada na linha %d: %s\n", k + 1, palavras);
    numero = 1;
}

额外注意事项 #

• 所有动态数组（labels、ponteiros）都应该采用上述标准初始化和扩容逻辑，避免类似问题。
• 堆内存越界错误通常不会立即触发崩溃，而是在后续内存操作时表现异常，调试时可以使用内存检测工具（如Valgrind）快速定位越界点。

内容的提问来源于stack exchange，提问作者Vinicius B.C.